Noção de função inversa à direita de função computável não necessariamente injectiva. Resoluções alternativas da Ficha 3.

Conclusão da aula anterior: versão fraca do teorema da recursão como corolário do teorema de Kleene do menor ponto fixo.

Propriedades de relações de equivalência (CME e NFP). Lemas do teorema da recursão. Teorema da recursão. Início da demonstração da versão construtiva do teorema da recursão.

AULA PREJUDICADA PELA REALIZAÇÃO DE TESTE DE OUTRA DISCIPLINA NO PERÍODO IMEDIATAMENTE ANTERIOR.