Sumários
Teórica #23 (aula online)
8 janeiro 2021, 10:30 • Carlos Caleiro
Introdução à lógica de correcção de programas (imperativos): correcção parcial, terminação. Triplos de Hoare, condição invariante de um ciclo, correcção parcial de um ciclo inicializado; asserções de convergência, terminação de programas, expressão variante de um ciclo; exemplos (NB12).
Aula P12 (aula online)
7 janeiro 2021, 11:00 • Guilherme Henrique Caçador Ramos
Resolução dos exercícios da lista de exercícios sobre programação funcional e multiparadigma.
Aula P12 (aula online)
5 janeiro 2021, 13:00 • Jaime Ramos
Resolução dos exercícios 2.2, 2.3 e 2.4 da lista de exercícios sobre programação funcional e multiparadigma.
Aula P12 (aula online)
5 janeiro 2021, 10:30 • Jaime Ramos
Resolução dos exercícios 2.2, 2.3 e 2.4 da lista de exercícios sobre programação funcional e multiparadigma.
Aula P12 (aula online)
4 janeiro 2021, 15:00 • Guilherme Henrique Caçador Ramos
Resolução dos exercícios da lista de exercícios sobre programação funcional e multiparadigma.