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