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