Sumários

Não houve aula

22 Dezembro 2006, 11:00 Maria Paula Antunes Abrantes Gouveia

O último teste realizou-se na 5a feira, dia 21 de Dezembro pelo que esta aula prática não foi leccionada.


Aula Teórica 24

21 Dezembro 2006, 11:30 Maria Paula Antunes Abrantes Gouveia

Realização do teste 5.


Revisões

21 Dezembro 2006, 08:30 Ricardo Joao Rodrigues Goncalves

Revisões para o teste 5.


Aula Teórica 23

19 Dezembro 2006, 11:30 Maria Paula Antunes Abrantes Gouveia

Cálculo de Hoare para a correcção total: sintaxe e regras de inferência. Prova da terminação de um programa para cálculo do factorial de um natural.


Revisões

19 Dezembro 2006, 08:30 Ricardo Joao Rodrigues Goncalves

Revisões para o teste 5.