Η εξεταστέα ύλη για την εξεταστική του Φεβρουαρίου 2014 για το μάθημα «Λογική στην Πληροφορική» είναι:
Κλασική Προτασιακή Λογική
Σύνταξη, Σημασιολογία, Κανονικές Μορφές,
Αποδεικτικό Σύστημα Προτασιακής Επίλυσης (Resolution),
Αποδεικτικό Σύστημα Tableau, Αποδεικτικό Σύστημα Gentzen.
Τροπική Λογική
Σύνταξη, Σημασιολογία, Αποδεικτικό Σύστημα Tableau, Αποδεικτικό Σύστημα Gentzen.
Προτασιακή Δυναμική Λογική (PDL)
Σύνταξη, Σημασιολογία, Αποδεικτικό Σύστημα Gentzen.
Πρωτοβάθμια Λογική
Σύνταξη, Σημασιολογία, Κανονικές Μορφές, Αποδεικτικό Σύστημα Gentzen.
Υλικό για το μάθημα μπορείτε να βρείτε στο e-class:
http://openclass.teilar.gr/courses/CS115/
|