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

ΗΥ311  -  Μανόλης Βάβαλης

Ενότητες - Διαγνωσιμότητα

Διαγνωσιμότητα

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

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