Sumários
TP13: conjuntos e demonstrações
9 Novembro 2018, 14:00 • Mário João de Jesus Branco
TP11: conjuntos e demonstrações
9 Novembro 2018, 11:00 • Mário João de Jesus Branco
Aula 14 TP14
9 Novembro 2018, 11:00 • Maria da Purificação Antunes Coelho
Exercícios 38(a), 36, 42 e 40(d).
Aula teórica 15
8 Novembro 2018, 11:30 • Maria da Purificação Antunes Coelho
Como usar um dado da forma "P ou Q" (divisão de uma demonstração em casos exaustivos). Como provar um objetivo da forma "P ou Q".
Aula 14 TP12
8 Novembro 2018, 10:00 • Maria da Purificação Antunes Coelho
Exercícios 37(c), 40 (alíneas a, b, c, d, e, h, i) e 44.