TP11: conjuntos e estratégias de demonstração, incluindo o método de indução. Tipologia da aula: videoconferência + presencial.
4 Dezembro 2020, 11:00 • Mário João de Jesus Branco
Resolução dos Exercícios 57.m), o), 58.a), de duas maneiras 58.b), e 52 (aplicações definidas por recorrência).