Sumários

TP14 - 30 de novembro

30 Novembro 2020, 11:00 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), 57 (c) e 57 (e).


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.


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.


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


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.