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