|
Schedule |
This is a tentative schedule subject to change.
| ΕβδομÜδα | ΔιαλÝξεις | ΦροντιστÞριο | |
|---|---|---|---|
| 1 | 3/9 ΕισαγωγÞ | 6/9 Προτασιακüς Λογισμüς (ΕισαγωγÞ) | 4/9 - |
| 2 | 10/9 Προτασιακüς
Λογισμüς (ΑποδεικτικÞ Θεωρßα) |
13/9 Προτασιακüς
Λογισμüς (Σημασιολογßα) |
11/9 Προτασιακüς Λογισμüς |
| 3 | 17/9 Προτασιακüς Λογισμüς (Επιλυση) | 20/9 Κατηγορηματικüς Λογισμüς
(ΕισαγωγÞ) |
18/9 Προτασιακüς Λογισμüς |
| 4 | 24/9 Κατηγορηματικüς Λογισμüς (ΑποδεικτικÞ Θεωρßα) | 27/9 Κατηγορηματικüς Λογισμüς (Σημασιολογßα) | 25/9 Κατηγορηματικüς Λογισμüς |
| 5 | 1/10 Αργßα 1 Οκτωβρßου |
4/10 Κατηγορηματικüς Λογισμüς (Επßλυση) |
2/10 Κατηγορηματικüς Λογισμüς |
| 6 | 8/10 Επßλυση και Λογικüς Προγραμματισμüς |
11/10 Επßλυση και Λογικüς Προγραμματισμüς | 9/10 Επßλυση |
| 7 | 15/10 ΧρονικÞ ΛογικÞ (LTL) | 18/10 ΧρονικÞ ΛογικÞ (LTL) |
16/10 ΧρονικÞ ΛογικÞ |
| 8 | 22/10 ΧρονικÞ ΛογικÞ (CTL) | 25/10 ΧρονικÞ ΛογικÞ (CTL) |
23/10 ΧρονικÞ ΛογικÞ |
| 9 | 29/10 Αλγüριθμοι μοντελοελÝγχου | 1/11 ΕνδιÜμεση ΕξÝταση | 30/10 ΕπανÜληψη |
| 10 | 5/11 ΑνÜλυση Ορθüτητας ΠρογραμμÜτων | 8/11 ΑνÜλυση Ορθüτητας ΠρογραμμÜτων | 6/11 ΑνÜλυση ΠρογραμμÜτων |
| 11 | 12/11 ΑνÜλυση Ορθüτητας ΠρογραμμÜτων | 15/11 ΑνÜλυση Ορθüτητας ΠρογραμμÜτων | 13/11 ΑνÜλυση ΠρογραμμÜτων |
| 12 | 19/11 ΤροπικÞ ΛογικÞ | 22/11 ΤροπικÞ ΛογικÞ | 20/11 ΤροπικÞ ΛογικÞ |
| 13 | 26/11 ΤροπικÞ ΛογικÞ | 29/11 ΕπανÜληψη | 27/11 ΤροπικÞ ΛογικÞ |
¢ííá Öéëßððïõ, ΣεπτÝμβñéïò 2019