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

20 Outubro 2020, 13:00 • Rita Sousa

---

Inferência ( dedução ): derivações ; Exemplos .

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

19 Outubro 2020, 16:00 • Rita Sousa

---

Inferência ( dedução ): Regras de inferência ( cálculo de predicados ) c/ exemplos

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

19 Outubro 2020, 13:00 • Rita Sousa

---

Inferência ( dedução ): Regras de inferência ( cálculo de predicados ) c/ exemplos

Prática 3 - Representação do conhecimento em lógica de predicados de primeira ordem

15 Outubro 2020, 21:00 • Rita Sousa

---

Resolução de exercícios sobre representação do conhecimento. Ver enunciado no e-learninf

Prática 3 - Representação do conhecimento em lógica de predicados de primeira ordem

15 Outubro 2020, 13:00 • Rita Sousa

---

Resolução de exercícios sobre representação do conhecimento. Ver enunciado no e-learninf