Sumários

TP 13 aula 14

8 Novembro 2019, 14:00 Maria da Purificação Antunes Coelho

Exercícios 54 a), 53 b) e 55 (alíneas a) a d)).


TP11: conjuntos: operações booleanas

8 Novembro 2019, 11:00 Mário João de Jesus Branco

Resolução dos Exercícios 48, 49, 50, 51 e 56.


TP14 aula 14

8 Novembro 2019, 11:00 Maria da Purificação Antunes Coelho

Exercícios 54 a), 53 b) e 55 (alíneas a) a e)).


Aula teórica 16

7 Novembro 2019, 11:30 Maria da Purificação Antunes Coelho

Estratégia para demonstrar um objetivo da forma "P ou Q".
Demonstrações por absurdo.
Estratégias para demonstrar um objetivo da forma "não P".


TP12 aula 15

7 Novembro 2019, 10:00 Maria da Purificação Antunes Coelho

Exercícios 54a), 49, 53a) e 55 (alíneas a), b) e d)).