Anteprima

(L3) -  Costas Dimitracopoulos

Descrizione del Corso

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.

Creation Date

martedì 20 febbraio 2024