Sumários
Teórico-Prática 13
16 Dezembro 2022, 13:30 • Diogo Miguel Ferreira Poças
Raciocínio sobre programas.
Exercícios 1ce, 3bc, 5d, 8a, 9a da ficha 12.
Teórico-Prática 13
15 Dezembro 2022, 17:00 • Diogo Miguel Ferreira Poças
Raciocínio sobre programas.
Exercícios 1ce, 3bc, 5d, 8a, 9a da ficha 12.
Teórica 24
15 Dezembro 2022, 16:00 • Diogo Miguel Ferreira Poças
Raciocínio sobre programas.
Provas por indução natural, princípio da extensionalidade, provas usando resultados auxiliares.
Teórico-Prática 13
15 Dezembro 2022, 13:30 • Diogo Miguel Ferreira Poças
Raciocínio sobre programas.
Exercícios 1ce, 3bc, 5d, 8a, 9a da ficha 12.