Sumários
Lógica proposicional (representação)
4 Maio 2026, 13:30 • Sara Silva
Representação de Conhecimento em Lógica Proposicional. Modelação.
Problemas de satisfação de restrições [2/2]
30 Abril 2026, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano
Guião em Python sobre resolução de problemas de satisfação de restrições.
Problemas de satisfação de restrições [2/2]
30 Abril 2026, 15:30 • Sara Silva
Guião em Python sobre resolução de problemas de satisfação de restrições.
Problemas de satisfação de restrições [2/2]
29 Abril 2026, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano
Guião em Python sobre resolução de problemas de satisfação de restrições.
Problemas de satisfação de restrições [2/2]
29 Abril 2026, 17:00 • Sara Silva
Resolução de exercícios sobre problemas de satisfação de restrições: procura com retrocesso, verificação para a frente e AC3.