Μαθηματική Λογική

Πολυμέσα

Γενικά πολυμεσικά αρχεία Κάτω Ημερομηνία
Κατηγορίες πολυμεσικών αρχείων    Ημερομηνία
Ενότητα 1 - Εισαγωγή
Ενότητα 10 - Κατηγορηματικός λογισμός
Ενότητα 11 - Εγκυρότητα και πληρότητα κατηγορηματικού λογισμού
Ενότητα 2 - Η τυπική προτασιακή γλώσσα
Κανόνες απαλοιφής παρενθέσεων – Πίνακες αλήθειας των συνδέσμων
Δημιουργός: Κώστας Δημητρακόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ

Κανονές απαλοιφής των παρενθέσεων σε Προτασιακούς τύπους, πίνακες αλήθειας των συνδέσμων, παράδειγμα εύρεσης πίνακα αλήθειας ενός Προτασιακού τύπου.

 20/2/13 
Προτασιακή Λογική – Εισαγωγή στις βασικές έννοιες – Αρχή της επαγωγής
Δημιουργός: Κώστας Δημητρακόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ

Τυπική γλώσσα της Προτασιακής Λογικής, η έννοια του Προτασιακού τύπου, η αρχής της Επαγωγής για το σύνολο των Προτασιακών τύπων.

 20/2/13 
Ενότητα 3 - Ταυτολογικές συνεπαγωγές
Ενότητα 4 - Πλήρη σύνολα συνδέσμων
Ενότητα 5 - Προτασιακός λογισμός
Ενότητα 6 - Εγκυρότητα και πληρότητα προτασιακού λογισμού
Ενότητα 7 - Πρωτοβάθμιες γλώσσες
Ενότητα 8 - Λογικές συνεπαγωγές
Ενότητα 9 - Κανονική ποσοδεικτική μορφή