Image
Μαθήματα Κατεύθυνσης
Μαθήματα Κατεύθυνσης
Περιεχόμενα: Προτασιακή Λογική και Πρωτοβάθμια Λογική (Σύνταξη, Σημασιολογία, Ορθότητα, Πληρότητα). Στοιχεία Θεωρίας Αποδείξεων (Hilbert systems, tableaux, Gentzen systems). Στοιχεία Λογικού Προγραμματισμού. Μη κλασικές Λογικές (modal, temporal, non-monotonic logic) και εφαρμογές στην Τεχνητή Νοημοσύνη.
Αξιολόγηση: Γραπτή εξέταση στο τέλος του εξαμήνου. Ενδέχεται να δοθούν προαιρετικές εργασίες.
Μέθοδοι αξιολόγησης: Ερωτήσεις σύντομης απάντησης, Ερωτήσεις πολλαπλής επιλογής, Επίλυση προβλημάτων.
-
Βιβλιογραφία: