Recursion Theory

Type
Elective Required
Group
B
Course Description

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

Name Year Semester Taught by
Recursion Theory 2024-2025 Fall Dimitris Zoros
Recursion Theory 2023-2024 Fall Dimitris Zoros
Recursion Theory 2022-2023 Fall Dimitris Zoros
Recursion Theory 2021-2022 Fall Dimitris Zoros
Recursion Theory 2020-2021 Fall Dimitris Zoros
Recursion Theory 2019-2020 Fall Dimitris Zoros
Recursion Theory 2018-2019 Fall Dimitris Zoros
Recursion Theory 2017-2018 Fall Dimitris Zoros
Recursion Theory 2016-2017 Fall Dimitrios M. Thilikos