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


 

 


EPL412
Class Notes
Solutions
Tutorials
Announcements
Class Contract
Assignments
Related Links

, Σεπτμβ 2018