Εισαγωγή στην Θεωρία Υπολογισμού (ΗΥ311)

Ενότητες

Δόγμα CHURCH-TURING Χρονική Πολυπλοκότητα
Διαγνωσιμότητα

Διαγνώσιμες γλώσσες, Το πρόβλημα του τερματισμού.