Aula teórica 18

11 Novembro 2025, 10:30 • Maria da Purificação Antunes Coelho

Método de resolução - explicação do método e exemplos ilustrativos.

---

TP11_18

11 Novembro 2025, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 67, 68, 71, 72, 73, 74 (2)

---

TP12 aula 17

10 Novembro 2025, 12:00 • Maria da Purificação Antunes Coelho

Consulta do primeiro miniteste. Resolução dos exercícios 67, 68, 71, 72 e 73.

---

TP14 aula 16

7 Novembro 2025, 11:30 • Maria da Purificação Antunes Coelho

Exercícios 57 (1, 2), 62 e 63 (1, 2).

---

Aula teórica 17

7 Novembro 2025, 09:30 • Maria da Purificação Antunes Coelho

Algoritmo da satisfação de Horn (para sentenças de Horn em forma condicional) - descrição do algoritmo e exemplos.

---