Sumários

Teórica #24

15 dezembro 2017, 11:00 Carlos Caleiro

Terceira ficha de avaliação.


P13 - Verificação de programas

14 dezembro 2017, 11:00 Jaime Ramos

Exercícios 4.3, 4.4 e 4.5 da lista de exercícios sobre verificação de programas.


P13 - Verificação de programas

12 dezembro 2017, 11:00 Jaime Ramos

Exercícios 4.3 e 4.4 da lista de exercícios sobre verificação de programas.


Teórica #23

11 dezembro 2017, 11:00 Carlos Caleiro

Correcção parcial de ciclos inicializados, exemplos de aplicação; abordagem breve à correcção total de programas: asserções de convergência, terminação de programas e expressão variante de um ciclo (NB12).


P12 - Verificação de programas

7 dezembro 2017, 11:00 Jaime Ramos

Exercícios 1.1, 1.3, 2.1 e 4.1 da lista de exercícios sobre verificação de programas.