Διαλέξεις
| Ημερομηνία | Τίτλος | Αρχεία |
|---|---|---|
| 15/02/2019 | Προτασιακός Λογισμός |
|
| 03/03/2019 | Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων |
|
| 14/03/2019 | Μορφολογική Παραγωγή με Συντάκτη Αποδείξεων και Ελέγχου |
|
| 08/04/2019 | Μέθοδος Επίλυσης, όροι Horn |
|
| 10/04/2019 | Prolog (Μέρος 1ο) |
|
| 15/04/2019 | Prolog (Μέρος 2ο) |
|
| 14/05/2019 | Κατηγορηματικός Λογισμός |
|