Sumários
Lógica
15 dezembro 2006, 11:00 • 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).
Aula Teórica 22
14 dezembro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Prova da correcção parcial de um programa para cálculo do número de elementos positivos de uma lista.
Lógica
14 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).