Φροντιστήρια
| Ημερομηνία | Τίτλος | Αρχεία |
|---|---|---|
| 15/02/2019 | Φροντιστήριο 1 - Βασικές έννοιες Προτασιακού Λογισμού |
|
| 27/02/2019 | Φροντιστήριο 2 - Αλγόριθμος μετατροπής CNF-DNF |
|
| 04/03/2019 | Φροντιστήριο 3 - Μορφολογική παραγωγή μέρος 1ο |
|
| 12/03/2019 | Φροντιστήριο 4 - Μορφολογική παραγωγή μέρος 2ο |
|
| 18/03/2019 | Φροντιστήριο 5 - Αποδείξεις με μορφολογική παραγωγή μέσω εργαλείου υποβοήθησης σύνταξης και ελέγχου |
|
| 27/03/2019 | Φροντιστήριο 6 - Κατασκευή Μοντέλων |
|
| 01/04/2019 | Επαναληπτικό μάθημα για την πρόοδο |
|
| 16/04/2019 | Φροντιστήριο 7 - Μέθοδος Επίλυσης |
|
| 16/04/2019 | Φροντιστήριο 8 - Ακολουθίες Επίλυσης - Όροι Horn |
|
| 14/05/2019 | Φροντιστήριο Prolog |
|
| 14/05/2019 | Φροντιστήριο 9 - Κατηγορηματικός Λογισμός |
|
| 21/05/2019 | Φροντιστήριο 10 - Κατασκευή Μοντέλων στον Κατηγορηματικό Λογισμό |
|
| 24/05/2019 | Φροντιστήριο 11 - Μορφολογική Παραγωγή στον Κατηγορηματικό Λογισμό |
|