Sumários

TP11: asserções com um quantificador, operações sobre conjuntos e interpretação de conjuntos

14 Outubro 2019, 11:00 Mário João de Jesus Branco

Resolução dos Exercícios 27, 28.d)-i), 29.e)-l) e 30.a), b).


TP14 aula 8

14 Outubro 2019, 11:00 Maria da Purificação Antunes Coelho

Exercícios 25 (conclusão), 30, 32 e 33 (alíneas a)-e), g) e h)).


TP13 aula 7

11 Outubro 2019, 14:00 Maria da Purificação Antunes Coelho

Exercícios 23 (conclusão), 24, 26, 27 e 25(a)-(c).


TP11: asserções com um quantificador

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

Resolução dos Exercícios 23.c)-l), 24, 25.c)-e) e 26.


TP14 aula 7

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

Exercícios 24, 26, 27 e 25(a)-(c).