Sumários
Implementação de TDA (conc)
4 dezembro 2007, 11:00 • João Pedro Carvalho
Exercícios de implementação do TDA GRAFO.
Complementos de programação - reescrita
3 dezembro 2007, 11:00 • Amilcar Sernadas
Introdução à programação com regras de reescrita e aplicações ao processamento de linguagens e à demonstração automática.
Apoio ao projecto
30 novembro 2007, 11:00 • Amilcar Sernadas
Traços gerais do desenho dos tipos de dados relevantes para o projecto.
Implementação de TDA
29 novembro 2007, 11:00 • João Pedro Carvalho
Exercícios de implementação do TDA GRAFO.
Implementação de TDA
27 novembro 2007, 11:00 • João Pedro Carvalho
Exercícios de implementação do TDA GRAFO.