Sumários
Grafos
12 dezembro 2006, 09:30 • Francisco Miguel Alves Campos de Sousa Dionísio
Desenvolvimento de funções sobre grafos, em particular, acessíveis e completação, usando o paradigma da programação funcional e também da programação recursiva e imperativa.
Trigésima terceira aula
12 dezembro 2006, 08:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Demonstração da correcção parcial de um exemplo simples (algoritmo do cálculo do factorial)
Trigésima segunda aula
11 dezembro 2006, 10:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Cálculo de Hoare: motivação e regras do cálculo.
Tipos de dados abstractos: grafos
6 dezembro 2006, 09:00 • Luís Calhorda Cruz Filipe
Implementação de grafos como pares contendo o número de vértices e a lista de arestas. Funções definidas abstractamente sobre grafos: pathQ.
Tipos de dados abstractos: grafos
5 dezembro 2006, 09:30 • Luís Calhorda Cruz Filipe
Implementação de grafos como pares contendo o número de vértices e a lista de arestas. Funções definidas abstractamente sobre grafos: addpath e sucs.