ΕΠΛ 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 Χρονική Λογική (LTL) 18/10 Χρονική Λογική (LTL)
17/10 Επανάληψη
8 22/10 Ενδιάμεση Εξέταση 25/10 Χρονική Λογική (CTL)
24/10 Χρονική Λογική
9 29/10 Χρονική Λογική (CTL) 1/11 Αλγόριθμοι μοντελοελέγχου
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 Τροπική Λογική


 

Άσκηση
Ημερομηνία Διάθεσης
Ημερομηνία Παράδοσης
Ενότητα
1
17 Σεπτεμβρίου
3 Οκτωβρίου
Προτασιακός Λογισμός
2
3 Οκτωβρίου
17 Οκτωβρίου
Κατηγορηματικός Λογισμός
3
24 Οκτωβρίου
7 Νοεμβρίου
Χρονική Λογική
4
7 Νοεμβρίου
21 Νοεμβρίου
Ανάλυση Προγραμμάτων
5
21 Νοεμβρίου
30 Νοεμβρίου
Τροπική Λογική

 


EPL412
Class Notes
Solutions
Tutorials
Announcements
Class Contract
Assignments
Related Links

Άννα Φιλίππου, Σεπτέμβριος 2018