Darstellung / Vorschau
Ειδικά θέματα Υπολογιστικής Λογικής
(CEID1131) - Σταύρος Κοσμαδάκης
Beschreibung des Kurses
Αποδεικτικά συστήματα για την προτασιακή λογική. Ιδιότητες ορθότητας και πληρότητας. Σύνολα Hintikka, η τεχνική των propositional consistency properties.
Δέντρα αποδείξεων και η τεχνική της δομικής επαγωγής.
Επίλυση προτασιακών τύπων: αλγόριθμοι και πολυπλοκότητα.
Αναλυτική περιγραφή του διδακτικού υλικού και της ύλης του μαθήματος υπάρχει στο πεδίο "Έγγραφα"
Creation Date
Montag, 10. Oktober 2016
-
Syllabus
There is no syllabus