Aula 23

3 Dezembro 2024, 11:00 • Maria João Antunes Dias Gouveia

Resolução de exercícios da ficha de trabalho semanal.

---

Aula 21

3 Dezembro 2024, 10:00 • Maria João Antunes Dias Gouveia

Variáveis, fórmulas e quantificadores; tradução de frases para linguagem simbólica utilizando quantificadores; substituição de variáveis mudas; leis de De Morgan para quantificadores.

---

TP13

2 Dezembro 2024, 13:30 • Diogo Miguel Teixeira Estevinho Pires

Resolução dos exercícios I.1, I.3 alíneas a), c) e d), I.4 da Ficha 11.

---

Aula 23

2 Dezembro 2024, 13:30 • Maria João Antunes Dias Gouveia

Resolução de exercícios da ficha de trabalho semanal.

---

Aula 22

2 Dezembro 2024, 11:00 • Maria João Antunes Dias Gouveia

Resolução de exercícios da ficha de trabalho da semana.

---