Sumários

Aula de Problemas 13

15 Dezembro 2017, 10:00 Maria Paula Antunes Abrantes Gouveia

Resolução dos exercícios 8, 17, 26, 27 e de novo 16 e 9, agora usando o combinador reduce, da lista de exercícios EX04.


Aula de Problemas 13

14 Dezembro 2017, 14:00 Maria Paula Antunes Abrantes Gouveia

Resolução dos exercícios 8, 17, 26, 27 e de novo 16 e 9, agora usando o combinador reduce, da lista de exercícios EX04.


Teórica #25

14 Dezembro 2017, 10:00 João Rasga

Verificação da correção parcial de pequenos programas imperativos usando o cálculo de Hoare.


Aula de Problemas 13

12 Dezembro 2017, 11:30 Maria Paula Antunes Abrantes Gouveia

Resolução dos exercícios 8, 13, 17, 26, 27 e de novo 16 e 9, agora usando o combinador reduce, da lista de exercícios EX04.


Teórica #24

12 Dezembro 2017, 10:00 João Rasga

Programação funcional: combinadores reduce e nest. Exemplos.