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
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
TP14 aula 7
11 Outubro 2019, 11:00 • Maria da Purificação Antunes Coelho
Exercícios 24, 26, 27 e 25(a)-(c).