Sumários
Cálculo de Hoare
19 dezembro 2006, 09:30 • Luís Calhorda Cruz Filipe
Exercícios resolvidos: comprimento duma lista, soma dos elementos duma lista (esboço).
Trigésima sexta aula
19 dezembro 2006, 08:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Resolução de um exercício de exame sobre cálculo de Hoare, envolvendo uma regra derivada para DoUntil e a prova de correcção parcial de um programa simples.
Trigésima quinta aula
18 dezembro 2006, 10:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Metodologia de Dijkstra: exemplo simples (soma dos elementos de uma lista). Referência às regras derivadas próprias de outros comandos (Switch, Choice, For) e à sua correcção.
Trigésima quarta aula
15 dezembro 2006, 10:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Demonstração da correcção parcial de um algoritmo de cálculo do mínimo de uma lista não vazia.
Exercícios de exame
13 dezembro 2006, 09:00 • Luís Calhorda Cruz Filipe
Resolução do exame 2A de 2004 (grupo 1, parte do grupo 2A e esboço do grupo 2B).