Στόχοι μαθήματος - Μαθησιακά αποτελέσματα

Αντικειμενικοί στόχοι του μαθήματος:
Το μάθημα στοχεύει στη διδασκαλία βασικών εννοιών της μαθηματικής λογικής και της εφαρμογής της στα συστήματα μηχανικών αποδείξεων.
Οι φοιτητές αποκτούν εξοικείωση με την παραγωγή τυπικών αποδείξεων θεωρημάτων και τη μηχανική των αποδείξεων.
Οι τεχνικές που διδάσκονται μπορούν να χρησιμοποιούνται και ως εργαλεία με εφαρμογή σε διάφορους τομείς της Επιστήμης Υπολογιστών.

Aναμενόμενα μαθησιακά αποτελέσματα:
- Κατασκευή τυπικών αποδείξεων
- Επιλογή μεθόδων μηχανικού ελέγχου ικανοποιησιμότητας
- Τεχνικές μηχανικών αποδείξεων