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

10 Março 2021, 11: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 - 1ª parte

9 Março 2021, 19:30 • Rita Sousa

---

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

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

9 Março 2021, 14:30 • Rita Sousa

---

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

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

9 Março 2021, 08:00 • Rita Sousa

---

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

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

8 Março 2021, 21:00 • Rita Sousa

---

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