Sumários

Modelização e rtesolução de problemas de Satisfação de Restrições em PYthon

30 Outubro 2023, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano

Aula de Lab com guiões em Jupyter Notebook.

Exemplos de modelização de problemas em Python

Os algoritmos de resolução de problemas em Python

Resolução de exercícios

Problemas de Satisfação de Restrições (PSR)- exercícios

27 Outubro 2023, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Resolução de exercícios de PSR.

Exercícios de formulação e de procura. A procura com retrocesso, com a filtragem por verificação para a frente e a consistência. O algoritmo CS3, Heurísticas de variável mais restringida e de grau.

Inferência em lógica proposicional

27 Outubro 2023, 09:30 • Luís Miguel Parreira e Correia

Regras de inferência, fatorização, resolução

Inferência por encadeamento adiante e por encadeamento retrógrado

Problemas de Satisfação de Restrições (PSR)- exercícios

26 Outubro 2023, 12:00 • Paulo Jorge Cunha Vaz Dias Urbano

Resolução de exercícios de PSR.

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

25 Outubro 2023, 11:30 • Helena Aidos

Resolução de exercícios sobre problemas de satisfação de restrições.