Sumários
Exercícios de Lógica Proposicional
6 Novembro 2023, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano
Verificação de Modelos
Planeamento mais realista
6 Novembro 2023, 09:30 • Luís Miguel Parreira e Correia
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
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.