Sumários

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).

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.