Βιβλioγραφία
Επιπλέον πληροφορίες στα θέματα που μελετά το μάθημα μπορείτε να αναζητήσετε στα βιβλία:
- Γ. Τουρλάκης, Μαθηματική Λογική - Από τη Θεωρία στην Πράξη, Παν. Εκδόσεις Κρήτης, 2011.
- Γ. Μητακίδης, Από τη Λογική στο Λογικό Προγραμματισμό και την Prolog, Εκδόσεις Καρδαμίτσα, 1992.
- H. Enderton, A Mathematical Introduction to Logic, Second Edition, Academic Press, 2001.
- C. Allen, M. Hand, Logic Primer, 2nd edition, MIT Press, 2001.
- C. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1997.
- G. Metakides, Principles of Logic and Logic Programming, Elsevier Science, 1996.
Μπορείτε να παρακολουθήσετε τις μαγνητοσκοπημένες διαλέξεις από προηγούμενα χρόνια στον παρακάτω σύνδεσμο: https://opencourses.uoc.gr/courses/course/view.php?id=278