Sumários

Aula #27

21 Dezembro 2018, 10:30 Carlos Caleiro

Terceira ficha de avaliação.


P14 - Verificação de programas

20 Dezembro 2018, 11:00 Jaime Ramos

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


P14 - Verificação de programas

18 Dezembro 2018, 10:30 Jaime Ramos

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


Aula #26

17 Dezembro 2018, 10:30 Carlos Caleiro

Correcção total de programas: asserções de convergência, terminação de programas e expressão variante de um ciclo (NB12). Exame tipo.


Aula #25

14 Dezembro 2018, 10:30 Carlos Caleiro

Correcção parcial de ciclos inicializados, exemplos de aplicação (NB12).