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