Gestão da Avaliação - 4

16 Dezembro 2024, 13:00 • António José Teiga Zilhão

Resolução de exercícios preparatórios para o teste escrito.

---

Invalidade

16 Dezembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Prova de invalidade de argumentos no C. Predicados. Exercícios.

---

IV. Lógica de Predicados - 11

12 Dezembro 2024, 13:00 • António José Teiga Zilhão

Resolução de exercícios no âmbito da Lógica de Predicados.

---

Semântica do Cálculo de Predicados

12 Dezembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Semântica do Cálculo de Predicados: Expansões e interpretações de fórmulas num domínio de objectos.

---

IV. Lógica de Predicados - 10

10 Dezembro 2024, 13:00 • António José Teiga Zilhão

2. O Cálculo de Predicados. 

2.5. O Problema da Decisão no Cálculo de Predicados. 

Conclusão da apresentação da matéria teórica do curso de Lógica 

---