Type
Elective Required
Group
B
Course Description
Σχέσεις, Συναρτήσεις, Γλώσσες, Προβλήματα, Επαγωγή, Αποδεικτικές τεχνικές. Μηχανές Turing. Turing Απαριθμήσιμες Γλώσσες. Παραλλαγές/Επεκτάσεις Μηχανών Turing. Γενικές γραμματικές. Πρωτογενώς Αναδρομικές Συναρτήσεις. Καθολικές Μηχανές Turing. Αυτοαναφορά, το θεώρημα της αναδρομής. Βαθμοί μη-αποφανσιμότητας.