Sumários

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.

TP13 - 27 de novembro

27 Novembro 2020, 14:00 • Maria da Purificação Antunes Coelho

Exercício 57.a) e início do exercício 57.e). Esclarecimento de dúvidas.

TP11: conjuntos e estratégias de demonstração.

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

Resolução dos Exercícios 55.e), 57.a), e) e, parcialmente, n).

TP14 -27 de novembro

27 Novembro 2020, 11:00 • Maria da Purificação Antunes Coelho

Exercício 57.a) e início do exercício 57.e). Esclarecimento de dúvidas.

Aula teórica 16

26 Novembro 2020, 11:30 • Maria da Purificação Antunes Coelho

Estratégia para demonstrar uma disjunção.

Demonstrações por absurdo.