Aula 10

15 Dezembro 2021, 18:00 • Rita Sousa

---

Entrega, correção e discussão da Segunda Ficha de Avaliação.

Resolução de exerc~icios e esclarecimento de dúvidas.

Revisões

15 Dezembro 2021, 18:00 • Rita Sousa

---

Revisões.

Resolução de exercícios.

Revisões

13 Dezembro 2021, 18:00 • Rita Sousa

---

Revisões.

Resolução de exercícios.

Aula 9

13 Dezembro 2021, 18:00 • Rita Sousa

---

Revisões e esclarecimento de dúvidas.

Resolução de exercícios.

Lógica matemática

10 Dezembro 2021, 18:00 • Rita Sousa

---

Lógica proposicional.

Linguagem.

Sintaxe e semântica. Tabelas de verdade.

Lógica de predicados.

Linguagem.

Sintaxe e semântica.