Ο «Λογικός Προγραμματισμός» αποτελεί μάθημα επιλογής για τους φοιτητές του Ζ εξαμήνου του Τμήματος Πληροφορικής. Κατά τη διδασκαλία του μαθήματος γίνεται αρχικά μια εισαγωγή στις έννοιες του διαδικαστικού και του δηλωτικού προγραμματισμού, από όπου γίνεται κατανοητό ότι ο Λογικός Προγραμματισμός (Logic Programming) είναι το προγραμματιστικό μοντέλο όπου ο προγραμματισμός γίνεται με βάση την Πρωτοβάθμια Κατηγορηματική Λογική (First Order Predicate Logic). Για το λόγο αυτό γίνεται στη συνέχεια μια συνοπτική παρουσίαση της Προτασιακής Λογικής, όπου παρουσιάζεται η σύνταξη και η σημασιολογία των προτασιακών τύπων. Στη συνέχεια ορίζονται σημαντικές έννοιες, όπως η Λογική Συνεπαγωγή και οι Πίνακες Αληθείας, όπου τονίζεται η χρήσης τους στα πλαίσια ενός αλγόριθμου απόφασης για την αλήθεια η μη των προτασιακών τύπων. Ακολουθεί μια σύντομη εισαγωγή στις αποδεικτικές μεθόδους και τα αξιωματικά σχήματα της Προτασιακής Λογικής. Με βάση τα παραπάνω, ορίζεται η έννοια της αποδειξιμότητας των προτασιακών τύπων και παρουσιάζονται τα θεωρήματα της Ορθότητας και της Πληρότητα της Προτασιακής Λογικής. [...]
