Sumários

Aula P13 - Verificação de programas

12 Dezembro 2019, 11:00 Jaime Ramos

Conclusão da aula anterior. Exercícios 1.1, 1.3 e 4.5(início) da lista de exercícios sobre verificação de programas.


Aula P13 - Verificação de programas

10 Dezembro 2019, 10:30 Jaime Ramos

Conclusão da aula anterior. Exercícios 1.1, 1.3 e 4.5(início) da lista de exercícios sobre verificação de programas.


Teórica #24

9 Dezembro 2019, 10:30 Carlos Caleiro

Introdução à lógica de correcção de programas (imperativos): correcção parcial, terminação. Triplos de Hoare, pré-condição e pós-condição, exemplos. Cálculo de Hoare: regras de inferência (NB12).


Teórica #23

6 Dezembro 2019, 10:30 Carlos Caleiro

Programação funcional  vs. imperativa  vs. recursiva, equivalência dos três paradigmas, conclusão da aula anterior (NB07). Programação multiparadigma, exemplos (NB11).


Aula P12 - Programação funcional

5 Dezembro 2019, 11:00 Jaime Ramos

Exercícios 1.11, 1.20, 1.21, 1.26, 3.2 da lista de exercícios sobre programação funcional.