Sumários
AT20 - Funções recursivas
19 novembro 2009, 13:00 • Amilcar Sernadas
Revisão da noção de função recursiva. Existência de aplicações recursivas que não são recursivas primitivas. Noção de minimização guardada. Motivação do teorema da normalização de Kleene. Gödelização das sequências de números naturais.
Ficha extra: minimização limitada como recursão primitiva.
AP09 - Teorema da recursão
18 novembro 2009, 09:30 • Jaime Ramos
Teorema do ponto fixo mínimo para operadores binários. Exercícios sobre o teorema da recursão.
AT19 - Aplicação de Ackermann
17 novembro 2009, 15:30 • Amilcar Sernadas
AT18 - Aplicações recursivas primitivas
12 novembro 2009, 13:00 • Amilcar Sernadas
Existência de aplicação computável universal para a classe das aplicações unárias recursivas primitivas. Exemplo de aplicação computável não recursiva primitiva.
Ficha extra: concepção de máquina de Turing.
[Aula leccionada por Jaime Ramos por impedimento do responsável (reunião de comissão eventual do Conselho Científico).]