Sumários

TP13: conjuntos e demonstrações

9 Novembro 2018, 14:00 Mário João de Jesus Branco

Resolução dos Exercícios 36, 37, 38.a) e, parcialmente, 38.b).


TP11: conjuntos e demonstrações

9 Novembro 2018, 11:00 Mário João de Jesus Branco

Resolução dos Exercícios 36, 37, 38.a) e, parcialmente, 38.b).


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.