Περιγραφή - Περιεχόμενο μαθήματος

Περιγραφή μαθήματος:
Το μάθημα Λογική αποτελεί μια εισαγωγή στη Μαθηματική Λογική και το ρόλο που αυτή παίζει στην Επιστήμη Υπολογιστών.
Εξετάζει βασικές έννοιες από τον Προτασιακό και Κατηγορηματικό Λογισμό (Propositional and Predicate Calculus), τα Τυπικά Συστήματα Αποδείξεων (Formal Proof Systems) και τις Πρωτοβάθμιες Θεωρίες (First-Order Theories).
Ένα μέρος του μαθήματος θα αφιερωθεί στον Λογικό Προγραμματισμό (Logic Programming) και σε Συστήματα Αυτομάτων Αποδείξεων (Automated Theorem-Proving Systems).

Περιεχόμενο μαθήματος:
Προτασιακός και κατηγορηματικός λογισμός: Κανονικές μορφές, Συνεπαγωγή, Ταυτολογίες, Τυπικές αποδείξεις, Πληρότητα, Συστήματα Τυπικών Αποδείξεων, Επίλυση.
Πρωτοβάθμιες Θεωρίες.
Στοιχεία θεωρίας μοντέλων.
Εισαγωγή στον Λογικό Προγραμματισμό.
Συστήματα Μηχανικών Αποδείξεων.

Λέξεις κλειδιά: Προτασιακός και Κατηγορηματικός Λογισμός, Μορφολογική παραγωγή, Μέθοδος της Επίλυσης.