Sumários
Tipos de dados abstractos.
17 novembro 2011, 10:30 • João Rasga
Filas: especificação equacional e implementação em pacote. Árvores binárias: introdução.
Exercícios sobre tipos de dados abstractos.
15 novembro 2011, 12:30 • João Rasga
Especificação do tipo de dados abstracto saco recorrendo a regras de re-escrita.
Exercícios sobre tipos de dados abstractos.
15 novembro 2011, 11:00 • João Rasga
Especificação do tipo de dados abstracto saco recorrendo a regras de re-escrita.
Programação por regras de re-escrita.
15 novembro 2011, 09:30 • João Rasga
Programação em larga escala: revisão do exemplo sobre torres de Hanoi. Programação por regras de re-escrita.
Exercícios sobre programação funcional.
10 novembro 2011, 12:00 • João Rasga
Resolução de exercícios sobre programação funcional: inverteLista, indicesPar, triangulo, conta e junta.