Paradigma da Programação em Lógica

26 Outubro 2020, 13:00 • Rita Sousa

---

Representação de conhecimento usando programação em lógica.

Prática 4 - Raciocínio em lógica de predicados de primeira ordem

22 Outubro 2020, 21:00 • Rita Sousa

---

Exercícios sobre raciocínio em lógica de predicados de primeira ordem. Ver enunciado no e-learning.

Prática 4 - Raciocínio em lógica de predicados de primeira ordem

22 Outubro 2020, 13:00 • Rita Sousa

---

Exercícios sobre raciocínio em lógica de predicados de primeira ordem. Ver enunciado no e-learning.

Prática 4 - Raciocínio em lógica de predicados de primeira ordem

22 Outubro 2020, 13:00 • Rita Sousa

---

Exercícios sobre raciocínio em lógica de predicados de primeira ordem. Ver enunciado no e-learning.

Raciocínio em lógica de predicados de primeira ordem - 2ª parte

21 Outubro 2020, 18:00 • Rita Sousa

---

Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .