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.

Computabilidade implica monotonia. Computabilidade implica continuidade. Teorema de Myhill-Shepherdson (critério para computabilidade de operador). Noção de aplicação extensional e resultados associados, incluindo variante do Teorema de Myhill-Shepherdson (garantia de existência e unicidade de operador computável determinado por aplicação extensional).