Não houve aula

23 Abril 2024, 15:30 • Sara Silva

---

Não houve aula por dispensa de atividades letivas até às 17h00 no âmbito do Dia de Ciências.

Inferência em Lógica Proposicional

22 Abril 2024, 17:30 • Sara Silva

---

Exercícios sobre:

Inferência em Lógica Proposicional

22 Abril 2024, 17:30 • Paulo Jorge Cunha Vaz Dias Urbano

---

Exercícios sobre:

Inferência em Lógica Proposicional.

22 Abril 2024, 13:30 • Paulo Jorge Cunha Vaz Dias Urbano

---

A validade, satisfabilidade e insatisfabilidade das fórmulas lógicas proposicionais.

Lógica proposicional

19 Abril 2024, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

---

Modelação em Lógica Proposicional em Python