Sumários

Exercícios de Lógica Proposicional

6 Novembro 2023, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Verificação de Modelos

Conversão das fórmulas na forma normal conjuntiva
Prova por resolução

Planeamento mais realista

6 Novembro 2023, 09:30 • Luís Miguel Parreira e Correia

Planeamento com tenpo e recursos
Planeamento hierárquico
Procura com semântica angélica

Lógica Proposicional [1/2]

6 Novembro 2023, 08:00 • Helena Aidos

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

Exercícios de Lógica Proposicional

6 Novembro 2023, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano

Verificação de Modelos

Conversão das fórmulas na forma normal conjuntiva
Prova por resolução

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

3 Novembro 2023, 11:30 • 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