Sumários
Décima sexta aula
30 outubro 2006, 10:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Funcionais. Funções recursivas como pontos fixos de funcionais. O combinador Y. Referência à completuda da programação funcional.
Décima quinta aula
27 outubro 2006, 10:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Programação Funcional, exemplo do fecho transitivo de uma relação. Motivação da completude da programação funcional.
Programação Imperativa II
25 outubro 2006, 09:00 • Luís Calhorda Cruz Filipe
Exercícios resolvidos: posicoesMaximo, temPrimoQ, repete e exame4.
Programação Imperativa II
24 outubro 2006, 09:30 • Luís Calhorda Cruz Filipe
Exercícios resolvidos: temPrimoQ, repete, primAlg, potencia e mediaColunasParesMatrriz.
Décima quarta aula
24 outubro 2006, 08:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Programação Funcional, exemplos com Nest e Fixed Point.