Sumários
TP14 aula 12
28 Outubro 2019, 11:00 • Maria da Purificação Antunes Coelho
Exercícios 50 (conclusão), 46, 43, 42 e 52 (alíneas a) a c)).
TP11: asserções com mais do que um quantificador e método de indução
28 Outubro 2019, 11:00 • Mário João de Jesus Branco
TP13 aula 11
25 Outubro 2019, 14:00 • Maria da Purificação Antunes Coelho
Exercícios 40, 38 (alíneas a) e b)) e 48.
TP11: conjuntos e asserções com mais do que um quantificador
25 Outubro 2019, 11:00 • Mário João de Jesus Branco
TP14 aula 11
25 Outubro 2019, 11:00 • Maria da Purificação Antunes Coelho
Exercícios 40, 38 (alíneas a) e b)), 48 e 50 (alíneas a) e b)).