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