Sumários
Exame tipo
9 dezembro 2008, 15:30 • Amilcar Sernadas
Apresentação e resolução do exame tipo.
[Aula leccionada por Jaime Ramos por impedimento do responsável (reunião de júri de concurso).]
Completude-m
3 dezembro 2008, 14:30 • Amilcar Sernadas
Definição e propriedades básicas de conjunto completo-m.
Noções de conjunto efectivamante não listável, conjunto produtivo e conjunto criativo.
Miniteste (15m) sobre não listabilidade efectiva.
Teorema do ponto fixo e Teorema da recursão
2 dezembro 2008, 15:30 • Jaime Ramos
Exercícios sobre o teorema do ponto fixo de Kleene e sobre o teorema da recursão.