Sumários

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

Resolução dos Exercícios 38.c)-l), 39.a), b), c) e 40.

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

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.

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

TP11: conjuntos e asserções com mais do que um quantificador

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

Resolução dos Exercícios 34.g)-l), 35, 37 e 38.a), b).