Ειδικά Θέματα Υπολογιστικής Λογικής

Περίγραμμα μαθήματος

Λογική των προτάσεων: Γλώσσα της ΛΠ, Αληθοπίνακες, Συνέπειες-Ερμηνείες, Επάρκεια Λογικών Συνδέσμων – Κανονικές Μορφές, Σημαντικοί Πίνακες, Μέθοδος Επίλυσης, ΘΟΠ των Αποδείξεων με Επίλυση. Λογική των κατηγορημάτων: Γλώσσα της ΛΚ, Αξιωματική Θεμελίωση της ΛΚ, Συμβολισμός και Ορολογία στον Λογικό Προγραμματισμό, Ερμηνείες της ΛΚ, Κανονικές Μορφές της ΛΚ, Ερμηνείες Herbrand, Ενοποίηση και η Μέθοδος της Επίλυσης στη ΛΚ, ΘΟΠ των Αποδείξεων της ΛΚ, Μέθοδοι Αποφάσεων. Λογικός προγραμματισμός και prolog: Εισαγωγικές Έννοιες, Δομή Προγράμματος, Σύνταξη Δεδομένων, Μηχανισμός Λειτουργίας, Ενσωματωμένα Καταγορήματα, Η Εξέλιξη του Λογικού Προγραμματισμού.