Sumários
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).