Sumários
Raciocínio sobre programas e QA5
18 Dezembro 2024, 17:00 • Pedro Ângelo
Raciocínio sobre programas e QA5
18 Dezembro 2024, 14:30 • Pedro Ângelo
Raciocínio sobre programas
16 Dezembro 2024, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos
Provas por indução natural, princípio da extensionalidade, provas usando resultados auxiliares.
Semana 13
13 Dezembro 2024, 13:30 • Gil Silva
Programação funcional em Java: exercícios 2, 4, 5 e 6 da ficha 11.
Programação funcional em Java
12 Dezembro 2024, 17:00 • Pedro Ângelo