Μαθηματική Λογική
Πολυμέσα
Κατηγορίες πολυμεσικών αρχείων | Ημερομηνία | |
---|---|---|
Ενότητα 1 - Εισαγωγή | ||
Ενότητα 10 - Κατηγορηματικός λογισμός | ||
Ενότητα 11 - Εγκυρότητα και πληρότητα κατηγορηματικού λογισμού | ||
Ενότητα 2 - Η τυπική προτασιακή γλώσσα | ||
Ενότητα 3 - Ταυτολογικές συνεπαγωγές | ||
Ενότητα 4 - Πλήρη σύνολα συνδέσμων | ||
Ενότητα 5 - Προτασιακός λογισμός | ||
Ενότητα 6 - Εγκυρότητα και πληρότητα προτασιακού λογισμού | ||
Ενότητα 7 - Πρωτοβάθμιες γλώσσες | ||
Ενότητα 8 - Λογικές συνεπαγωγές | ||
Ενότητα 9 - Κανονική ποσοδεικτική μορφή | ||
Το θεώρημα κανονικής ποσοδεικτικής μορφής – μέρος Α Δημιουργός: Κώστας Δημητρακόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παρουσίαση και περιγραφική απόδειξη του θεωρήματος κανονικής ποσοδεικτικής μορφής της Κατηγορηματικής Λογικής. |
22/4/13 | |
Το θεώρημα κανονικής ποσοδεικτικής μορφής – μέρος Β Δημιουργός: Κώστας Δημητρακόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Περιγραφική απόδειξη και εφαρμογή του θεωρήματος κανονικής ποσοδεικτικής μορφής της Κατηγορηματικής Λογικής. |
22/4/13 |