Sumários

Lab #06

3 Novembro 2022, 12:30 Carlos Caleiro

Exercícios de verificação de programas (EX06). Apoio ao projecto.


Lab #06

3 Novembro 2022, 10:30 Carlos Caleiro

Exercícios de verificação de programas (EX06). Apoio ao projecto.


Aula P07

2 Novembro 2022, 14:00 Lourenço Maria Quartin Bastos Abecasis

Aula de apoio ao projeto.


Aula P07

2 Novembro 2022, 12:00 Lourenço Maria Quartin Bastos Abecasis

Aula de apoio ao projeto.


Aula #13

31 Outubro 2022, 08:30 Carlos Caleiro

Lógica de correcção de programas (imperativos): terminação de programas, expressão variante de um ciclo, ordem parcial bem-fundada; exemplos (NB12).