Λογική και Λογικός Προγραμματισμός

1. Στοιχεία θεωρίας συνόλων
2. Βασικές αρχές της (μαθηματικής) λογικής, προτασιακή λογική, λογική πρώτης-τάξης, άλλες λογικές, επαλήθευση προγραμμάτων
3. Προτασιακή λογική: ερμηνείες, λογική ισοδυναμία, Boolean τελεστές, θέματα ικανοποίησης και πληρότητας
4. Προτασιακή λογική: παραγωγικά (λογικά) συστήματα
5. Συνεπαγωγές
6. Διαζευκτική μορφή της λογικής, αρχή της ανάλυσης
7. Επεκτάσεις σε L-προτασιακή λογική
8. Πίνακες αλήθειας, διαγράμματα αποφάσεων, περιορισμοί και ποσοτικοποίηση
9. Λογική πρώτης-τάξης: φορμαλισμός και κατηγορήματα, ερμηνείες, λογική ισοδυναμία, θέματα σημασιολογίας, ικανοποίησης και πληρότητας
10. Λογική πρώτης-τάξης: παραγωγικά (λογικά) συστήματα, (λογικές) συναρτήσεις
11. Λογική πρώτης-τάξης: ανάλυση, αντικατάσταση, ενοποίηση και γενικεύσεις
12. Λογική πρώτης-τάξης: από λογικό φορμαλισμό στον λογικό προγραμματισμό, προτάσεις Horn, prolog