Sumários
Teórica #19
16 novembro 2015, 11:00 • Carlos Caleiro
Exemplos complementares de especificação e implementação de tipos de dados abstractos: Booleanos, números naturais, filas de espera, árvores binárias (aulaT07.nb).
Teórica #18
13 novembro 2015, 11:00 • Carlos Caleiro
Programação em grande escala, continuação: o programa abstracto e a importância da encapsulação das implementações. Implementação de pilhas sobre listas, implementações alternativas. Introdução aos pacotes em Mathematica. Exemplo: pacote que disponibiliza o tipo das pilhas. (aulaT07.nb). Apresentação do projecto.
Prática #09
12 novembro 2015, 11:00 • Andreia Filipa Torcato Mordido
Programação nos três paradigmas - notebook6.
Prática #09
10 novembro 2015, 11:00 • Andreia Filipa Torcato Mordido
Programação nos três paradigmas - notebook6.
Teórica #17
9 novembro 2015, 11:00 • Carlos Caleiro
Programação em grande escala: modularização, método de programação por camadas centradas nos dados. Motivação: torres de Hanoi. O tipo de dados "pilha" e sua especificação equacional. Solução do problema das torres de Hanoi sobre a camada que disponibiliza operações sobre pilhas (aulaT07.nb).