Sumários
Teorema de Myhill-Shepherdson
4 novembro 2008, 15:30 • Amilcar Sernadas
Teorema de Myhill-Shepherdson. Noção de função extensional e resultados associados.
Operadores computáveis
29 outubro 2008, 14:30 • Amilcar Sernadas
Noção de oráculo de avaliação de função. Operadores computáveis. Operadores monótonos. Operadores finitários ou contínuos. Continuidade implica monotonia. Computabilidade implica continuidade.
Decidibilidade
29 outubro 2008, 09:30 • Jaime Ramos
Conclusão da aula anterior. Provar não a decidibilidade de conjuntos utilizando o Teorema de Rice e directamente.
Teorema de Rogers
28 outubro 2008, 15:30 • Amilcar Sernadas
Teorema de Rogers: isomorfismo entre funções universais próprias.
[Aula leccionada por Jaime Ramos por impedimento do responsável (reunião de júri de concurso).]
Geração de novos índice de função
22 outubro 2008, 14:30 • Amilcar Sernadas
Demonstração da existência de aplicação computável injectiva com valores no conjunto de índices de função computável dada.