Sumários
Teórica #18
19 novembro 2012, 11:00 • Carlos Caleiro
Complementos de programação por reescrita: moldes e regras, definição de linguagens, aplicação à representação equacional de tipos de dados abstractos (aulaT09.nb).
Teórica #17
16 novembro 2012, 11:00 • Carlos Caleiro
Introdução à simulação discreta estocástica pela técnica do sequenciamento de eventos pendentes. Exemplo, simulação de tráfego em troço de autoestrada: identificação dos tipos de dados a implementar; pacotes dos eventos e das caps; geração de números pseudo-aleatórios e pacote de observação de variáveis pseudo-aleatórias exponenciais; variáveis de estado do simulador; programa de simulação; resultados da simulação (aulaT10.nb).
Prática #07
15 novembro 2012, 11:00 • Carlos Caleiro
Especificação de tipos de dados - notebook7. Manipulação de pacotes - notebook8, árvores e pilhas.
Prática #07
13 novembro 2012, 11:00 • Carlos Caleiro
Especificação de tipos de dados - notebook7. Manipulação de pacotes - notebook8, árvores e pilhas.
Teórica #16
12 novembro 2012, 11:00 • Carlos Caleiro
Introdução aos pacotes em Mathematica. Exemplo: pacote que disponibiliza o tipo das pilhas. Exemplos complementares de especificação, implementação e utilização de tipos de dados abstractos: árvores binárias de pesquisa (aulaT07.nb). Apresentação do projecto.