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

Procura com semântica angélica

---

Exercícios de Lógica Proposicional

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

Verificação de Modelos

---

Lógica Proposicional [1/2]

6 Novembro 2023, 08:00 • Helena Aidos

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

---

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.

---