Lógica Proposicional [1/2]

14 Abril 2025, 17:30 • Helena Aidos

Exercícios sobre Representação do Conhecimento em Lógica Proposicional.

---

Lógica Proposicional [1/2]

14 Abril 2025, 13:30 • Sara Silva

Representação do Conhecimento em Lógica Proposicional. Modelação.

---

Problemas de Satisfação de Restrições [2/2]

11 Abril 2025, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

Guião em Python sobre Problemas de Satisfação de Restrições: procura com retrocesso, verificação para a frente e AC3.

---

Problemas de Satisfação de Restrições [2/2]

11 Abril 2025, 14:00 • Helena Aidos

Guião em Python sobre Problemas de Satisfação de Restrições: procura com retrocesso, verificação para a frente e AC3.

---

Problemas de Satisfação de Restrições [2/2]

10 Abril 2025, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

Guião em Python sobre Problemas de Satisfação de Restrições: procura com retrocesso, verificação para a frente e AC3.

---