Lógica proposicional (1/2)

11 Novembro 2024, 11:30 • Sara Silva

Aula de quadro: Resolução de exercícios de lógica proposicional.

---

Planeamento

11 Novembro 2024, 09:30 • Luís Miguel Parreira e Correia

Planeamento como procura no espaço de estados

---

Lógica proposicional (1/2)

11 Novembro 2024, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano

Aula de quadro: Resolução de exercícios de lógica proposicional.

---

Problemas de Satisfação de Restrições (2/2)

8 Novembro 2024, 11:30 • Sara Silva

Aula de laboratório: Problemas de Satisfação de Restrições (formulação e algoritmos de procura) em Python.

---

Lógica de 1ª ordem

8 Novembro 2024, 09:30 • Luís Miguel Parreira e Correia

Lógica de 1ª ordem: Inferência; Prolog

---