Sumários

TP11: conjuntos e asserções com mais do que um quantificador. Tipologia da aula: videoconferência + presencial.

16 Novembro 2020, 11:00 Mário João de Jesus Branco

Resolução dos Exercícios 36.b), c), d), 37, 38.a)-g) e 40.a.i)-iv).


TP13 - 13 de novembro

13 Novembro 2020, 14:00 Maria da Purificação Antunes Coelho

Exercícios 37, 38 (resolução parcial), 39(a), 40 (alíneas a)vi. e b)) e 41.


TP14 - 13 de novembro

13 Novembro 2020, 11:00 Maria da Purificação Antunes Coelho

Exercícios 37, 38 (resolução parcial), 39(a) e 41.


TP11: conjuntos e asserções com mais do que um quantificador. Tipologia da aula: videoconferência + presencial.

13 Novembro 2020, 11:00 Mário João de Jesus Branco

Resolução dos Exercícios 35.b), 41, 34, 36.a) e 37.a), b), c).


Aula teórica 12

12 Novembro 2020, 11:30 Maria da Purificação Antunes Coelho

Estratégia para demonstrar um objetivo da forma "Para todo o x, P(x)". Como demonstrar uma inclusão de conjuntos.