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.

---