|
Class Notes |
|
|
Λογική στην
Πληροφορική - Εισαγωγή - Σύντομη Ιστορική Αναδρομή στη Λογική |
|
| Διαλέξεις 2 - 5 |
Προτασιακός Λογισμός - Σύνταξη και Σημασιολογία, Αποδεικτική Θεωρία και Επίλυση, Ορθότητα και Πληρότητα, Κανονικές Μορφές |
|
|
|
Κατηγορηματικός
Λογισμός - Εισαγωγή, Σύνταξη, Αποδεικτική Θεωρία, Σημασιολογία. Επίλυση και SLD Επίλυση |
|
| Διαλέξεις
11 - 13 |
LTL - Γραμμική
Χρονική Λογική - Ανάγκη για ανάλυση συστημάτων, Μοντελοέλεγχος, PLTL Σύνταξη και Σημασιολογία |
download (pdf) |
| Διαλέξεις 14 - 16 | CTL - Λογική Δένδρου Υπολογισμού - Διακλαδωμένες Χρονικές λογικές, CTL (σύνταξη και ερμηνεία), Αλγόριθμος Μοντελοελέγχου, CTL* |
|
| Διαλέξεις 17 - 20 | Ανάλυση της Ορθότητας Προγραμμάτων - Τριάδες Hoare, Μερική και Ολική Ορθότητα, Σύστημα Απόδειξης Μερικής Ορθότητας, Σύστημα Απόδειξης Ολικής Ορθότητας |
download (pdf) |
| Διαλέξεις 21 - 24 | Τροπικές Λογικές - Βασικός Τροπικός Λογισμός, Σύνταξη και Σημασιολογία, Τρόπου Αλήθειας, Θεωρία της Αντιστοιχίας |
download (pdf) |
|
|
|
|
|
Άννα Φιλίππου, Σεπτέμβριος 2020