Παρουσίαση/Προβολή

(L3) -  Costas Dimitracopoulos

Περιγραφή Μαθήματος

Recursive definitions and inductive proofs. Primitive recursive functions. Recursive functions. Turing computability, the Church-Turing thesis, unsolvable problems and undecidable relations. Basic theory of recursive functions and recursively enumerable sets. Applications to Logic.

Ημερομηνία δημιουργίας

Τρίτη 20 Φεβρουαρίου 2024