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).