TP14: Teste de avaliação.

15 Dezembro 2023, 11:30 • Mário João de Jesus Branco

---

Teste de avaliação.

T11_24

15 Dezembro 2023, 09:30 • Mário Jorge Edmundo

---

Indicações sobre os exames de primeira época e segunda época, esclarecimento de dúvidas. 

TP11_24

15 Dezembro 2023, 08:00 • Mário Jorge Edmundo

---

Mini-teste 2

TP12: Teste de avaliação.

14 Dezembro 2023, 10:30 • Mário João de Jesus Branco

---

Teste de avaliação.

TP14: Fórmulas e quantificadores: consequência lógica e demonstrações informais e formais; algoritmo de satisfação de Horn.

13 Dezembro 2023, 09:30 • Mário João de Jesus Branco

---

Exerc. 139, 140, 142, 148(2), (3) e 85.