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.