Παρουσίαση/Προβολή
Ειδικά θέματα Υπολογιστικής Λογικής
(CEID1131) - Σταύρος Κοσμαδάκης
Περιγραφή Μαθήματος
Αποδεικτικά συστήματα για την προτασιακή λογική. Ιδιότητες ορθότητας και πληρότητας. Σύνολα Hintikka, η τεχνική των propositional consistency properties.
Δέντρα αποδείξεων και η τεχνική της δομικής επαγωγής.
Επίλυση προτασιακών τύπων: αλγόριθμοι και πολυπλοκότητα.
Αναλυτική περιγραφή του διδακτικού υλικού και της ύλης του μαθήματος υπάρχει στο πεδίο "Έγγραφα"
Ημερομηνία δημιουργίας
Δευτέρα, 10 Οκτωβρίου 2016
-
Δεν υπάρχει περίγραμμα