Sumários

Aula Teórica 23

17 Janeiro 2008, 11:30 Maria Paula Antunes Abrantes Gouveia

Realização do teste 4.


Aula Teórica  22

15 Janeiro 2008, 11:30 Maria Paula Antunes Abrantes Gouveia

Conclusão da aula anterior.


Aula Prática 13

15 Janeiro 2008, 11:30 Maria Paula Antunes Abrantes Gouveia

Sistema T: revisões.


Aula prática 12

10 Janeiro 2008, 13:30 Ricardo Joao Rodrigues Goncalves

Sistema T

Lógica proposicional: exercícios 2.3 relativo a 1.4 c) (ii) e 1.5 c) (i)

Lógica de 1ª ordem: exercícios 2.4 relativo a 1.8 h)(ii), 1.8 m)(ii), 1.9 d)(ii) e 1.9 e)(i).


Aula Teórica 21

10 Janeiro 2008, 11:30 Maria Paula Antunes Abrantes Gouveia

Lógica de verificação de programas. Correcção parcial e correcção total de programas. Cálculo de Hoare para a correcção parcial. Exemplos.