TMP

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

logikos programmatismos

Εξάμηνο: ΣΤ Μηχνικοί Λογισμικού ΤΕ
Κωδικός: 608ΕΔΥΓ
Θεωρία: 2 ώρες
Ασκήσεις Πράξης: 1 ώρα
Εργαστηριακές Ασκήσεις: 2 ώρες
Τύπος Μαθήματος: Ειδικότητας
Γλωσσα Διδασκαλίας: Ελληνική
Ιστοσελίδα Μαθήματος: Δείτε περισσότερα ...
Και για φοιτητές Erasmus
vkaburlazos
Βασίλειος Καμπουρλάζος
Τακτικός καθηγητής

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