Sumários
Especificação e implementação de tipos de dados
31 outubro 2005, 12:00 • Paulo Alexandre Carreira Mateus
Exemplo adicional: Booleanos. Outros exemplos de especificação e implementação de tipos de dados: filas de espera e árvores binárias. [aulaT07.nb,aulaT07s.jpg,aulaT07t.pdf,aulaT07u.nb]
Programação Funcional.
31 outubro 2005, 08:00 • Paulo Alexandre Carreira Mateus
Exercícios: progfunc.nb (resolvidos na aula: quadrados, inverteLista, triangulo, somaNat, pertenceQ, IntListQ, IntListListQ, comprimento, junta, permutacao e fibonacci).
Capsulação de implementações
28 outubro 2005, 10:00 • Paulo Alexandre Carreira Mateus
Torres de Hanoi recorrendo ao pacote das pilhas. Vantagens da capsulação de implementações. Implementação alternativa das pilhas de discos.
pacotes em Mathematica
27 outubro 2005, 10:00 • Paulo Alexandre Carreira Mateus
Implementação das pilhas sobre listas. Introdução aos pacotes em Mathematica. Pacote que disponibiliza o tipo pilha.
Programação em grande escala
24 outubro 2005, 12:00 • Paulo Alexandre Carreira Mateus
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.