Μάθημα : Ειδικά θέματα Υπολογιστικής Λογικής
Κωδικός : CEID1131
CEID1131 - Σταύρος Κοσμαδάκης
Περιγραφή Μαθήματος
Αποδεικτικά συστήματα για την προτασιακή λογική. Ιδιότητες ορθότητας και πληρότητας. Σύνολα Hintikka, η τεχνική των propositional consistency properties.
Δέντρα αποδείξεων και η τεχνική της δομικής επαγωγής.
Επίλυση προτασιακών τύπων: αλγόριθμοι και πολυπλοκότητα.
Αναλυτική περιγραφή του διδακτικού υλικού και της ύλης του μαθήματος υπάρχει στο πεδίο "Έγγραφα"
Ημερολόγιο
Προθεσμία
Γεγονός μαθήματος
Γεγονός συστήματος
Προσωπικό γεγονός
Ανακοινώσεις
Όλες...-
προχθές - 1:17 μ.μ.
-
Τετάρτη 27 Αυγούστου 2025 - 8:22 π.μ.
-
Κυριακή 24 Οκτωβρίου 2021 - 9:30 μ.μ.