Sumários

Aula 23 (TP14)

13 Dezembro 2017, 09:30 • Maria da Purificação Antunes Coelho

Esclarecimento de dúvidas.

Aula 25 (TP13)

13 Dezembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Realização do terceiro mini-teste.

AULA 23

12 Dezembro 2017, 10:30 • Fernando Ferreira

Demonstração condicional geral (e a regra formal GenCond). Exemplo informal e formal.

Existência e unicidade.

TP 23

12 Dezembro 2017, 08:00 • Fernando Ferreira

Exercícios 123(4 a 10), 136, 137, 138 e 148(2).

Aula 24 (TP12)

11 Dezembro 2017, 12:00 • Maria da Purificação Antunes Coelho

Esclarecimento de dúvidas. Resolução dos exercícios 120 e 152(1).