Course : Computability
L3 - Costas Dimitracopoulos
La pagina che tenti di accedere richiede una username ed una password.
La piattaforma ti ha automaticamente reindirizzato alla home page perché tu faccia login prima di procedere con altre azioni. Probabilmente la tua sessione è scaduta.
La piattaforma ti ha automaticamente reindirizzato alla home page perché tu faccia login prima di procedere con altre azioni. Probabilmente la tua sessione è scaduta.
Course Description
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.