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