Special Topics in Computational Logic

Course Code: 
CEID_ΝΕ5288
Period: 
Winter Semester
Instructors: 
Credit Points: 
5

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

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

Startup Growth Lite is a free theme, contributed to the Drupal Community by More than Themes.