Programação funcional

30 outubro 2007, 11:00 • João Pedro Carvalho

Exercícios sobre programação funcional

Programação em grande escala

29 outubro 2007, 11:00 • Amilcar Sernadas

[Aula leccionada por Jaime Ramos 3113 por impossibilidade do docente responsável]

Programação em grande escala: método de programação por camadas centradas nos dados. Motivação: torres de Hanoi. Especificação equacional do tipo das pilhas. Equações como regras de reescrita em Mathematica. Sistemas de reescrita. Raciocínio sobre tipos de dados. Diagramas ADJ. Implementação das pilhas sobre listas.

Programação funcional (conc)

26 outubro 2007, 11:00 • Amilcar Sernadas

Comparação dos três paradigmas de programação em Mathematica. Cálculo de pontos fixos. Combinador Y. Completude computacional da programação funcional. Compilação de funções. Interpretação vs compilação. [aulaT06.nb]

Introdução ao método de programação por camadas centradas nos dados.

Programação imperativa (conc)

25 outubro 2007, 11:00 • João Pedro Carvalho

Exercícios sobre programação imperativa.

Programação imperativa (conc)

23 outubro 2007, 11:00 • João Pedro Carvalho

Exercícios sobre programação imperativa.