Sumários
TP16: Demonstrações e quantificadores.
17 Outubro 2022, 13:30 • Mário João de Jesus Branco
Resolução dos Exerc. 24, 26, 27, 29 e 37.a).
TP13 aula 8
17 Outubro 2022, 13:30 • Maria da Purificação Antunes Coelho
Exercícios 13, 37(e), 38, 41 e 47.
TP11: Quantificadores e indução.
17 Outubro 2022, 11:00 • Mário João de Jesus Branco
Resolução dos Exerc. 37.c), d), e), 38 e 39. Princípio de indução. Esboço de resolução do Exerc. 40.
TP14 aula 9
17 Outubro 2022, 11:00 • Maria da Purificação Antunes Coelho
Exercícios 29, 38, 41 e 47.
TP15 aula 9
17 Outubro 2022, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 28, 34, 37(e), 38 e 41.