412:
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 Τροπικ Λογικ


 

EPL412
Class Notes
Solutions
Tutorials
Announcements
Class Contract
Assignments
Related Links

, Σεπτμβ 2019