Sumários

Teórica #27

20 Dezembro 2019, 10:30 Carlos Caleiro

Terceira ficha de avaliação.


Aula P14 - Verificação de programas

19 Dezembro 2019, 11:00 Jaime Ramos

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


Aula P14 - Verificação de programas

17 Dezembro 2019, 10:30 Jaime Ramos

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


Teórica #26

16 Dezembro 2019, 10:30 Carlos Caleiro

Correcção parcial de programas: exemplos de aplicação, condições invariantes. Correcção total de programas: asserções de convergência, terminação de programas e expressão variante de um ciclo (NB12).


Teórica #25

13 Dezembro 2019, 10:30 Carlos Caleiro

Correcção parcial de programas: continuação da aula anterior, condição invariante de um ciclo, correcção parcial de um ciclo inicializado, exemplos de aplicação (NB12).