Sumários
Aula Teórica 21
12 dezembro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Lógica de verificação de programas: motivação. Correcção parcial, terminação e correcção parcial de um programa. Cálculo de Hoare para a correcção parcial: sintaxe e regras de inferência. Prova da correcção parcial de um programa para cálculo do factorial de um natural.
Lógica
12 dezembro 2006, 08:30 • Ricardo Joao Rodrigues Goncalves
Exercícios 2.2.1 c), 2.4 relativo aos exercícios 1.9 d) (ii), 1.9 g) (i), 1.8 k) (ii) e 1.8 q) (i).
Lógica
12 dezembro 2006, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 2.2.1 c), 2.4 relativo aos exercícios 1.9 d) (ii), 1.9 g) (i), 1.8 k) (ii) e 1.8 q) (i).
Lógica
11 dezembro 2006, 11:00 • Ricardo Joao Rodrigues Goncalves
Exercícios 2.2.1 c), 2.4 relativo aos exercícios 1.9 d) (ii), 1.9 g) (i), 1.8 k) (ii) e 1.8 q) (i).
Lógica e Teste 4
7 dezembro 2006, 14:00 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.3 f), 2.1 a), 2.3 relativo a 1.5 c). Realização do Teste 4.