Sumários

TP14 - 4 de dezembro

4 Dezembro 2020, 11:00 Maria da Purificação Antunes Coelho

Exercícios 48, 53, 58 (alíneas a) e  b))  e 57 (m).



Aula teórica 17

3 Dezembro 2020, 11:30 Maria da Purificação Antunes Coelho

Asserções da forma "Existe um e um só x tal que P(x)" e suas representações simbólicas.

Estratégias para demonstrar um objetivo da forma "Existe um e um só x tal que P(x)".


TP12- 3 de dezembro

3 Dezembro 2020, 10:00 Maria da Purificação Antunes Coelho

Exercícios 48, 53, 58 (alíneas a, b, g e j) e 57 (m).


Nota: na aula suplementar de 30 de novembro foram corrigidos os exercícios: 47, 52 (método de indução e aplicações definidas por recorrência)  e 57 (c).


TP13 - 30 de novembro

30 Novembro 2020, 13:30 Maria da Purificação Antunes Coelho

Nota: Em virtude de haver tolerância de ponto, esta aula foi lecionada exclusivamente por videoconferência.


Foram corrigidos os exercícios: 47, 52 (método de indução e aplicações definidas por recorrência)  e 57 (c).


TP11: conjuntos e estratégias de demonstração, incluindo o método de indução. Tipologia da aula: unicamente videoconferência (dia de tolerância de ponto para os funcionários públicos, faculdade sem aulas).

30 Novembro 2020, 11:00 Mário João de Jesus Branco

Resolução dos Exercícios 57.b), c) e 46.