Aula 27

20 Dezembro 2024, 11:00 • Maria João Antunes Dias Gouveia

Realização do 3º teste de avaliação.

---

Aula 26

19 Dezembro 2024, 11:30 • Maria João Antunes Dias Gouveia

Exemplos de demonstrações com eliminação e introdução de quantificadores.

---

Aula 28

19 Dezembro 2024, 10:00 • Maria João Antunes Dias Gouveia

Realização do 3º teste de avaliação.

---

Aula 28

18 Dezembro 2024, 11:30 • Maria João Antunes Dias Gouveia

Realização do 3º teste de avaliação.

---

TP15 - 3º Mini-teste de avaliação

18 Dezembro 2024, 11:30 • Ana Catarina Cristino Monteiro

Esclarecimento de dúvidas e 3º mini-teste de avaliação

---