Τύπος
Κατ' επιλογήν υποχρεωτικό
Ομάδα
Β
Περιγραφή μαθήματος
Σχέσεις, Συναρτήσεις, Γλώσσες, Προβλήματα, Επαγωγή, Αποδεικτικές τεχνικές. Μηχανές Turing. Turing Απαριθμήσιμες Γλώσσες. Παραλλαγές/Επεκτάσεις Μηχανών Turing. Γενικές γραμματικές. Πρωτογενώς Αναδρομικές Συναρτήσεις. Καθολικές Μηχανές Turing. Αυτοαναφορά, το θεώρημα της αναδρομής. Βαθμοί μη-αποφανσιμότητας.