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