TP12 - aula 8

17 Outubro 2023, 11:00 • Maria da Purificação Antunes Coelho

---

Exercícios 31 e 33

T12 - aula 8

17 Outubro 2023, 10:00 • Maria da Purificação Antunes Coelho

---

Demonstrações de existência e unicidade ("Demonstração 12" e "Demonstração 13", na página moodle),

AULA 8

17 Outubro 2023, 09:30 • Fernando Ferreira

---

Tautologias e o problema P vs NP. Notas sobre a quantificação.

TP13 - aula 8

16 Outubro 2023, 13:30 • Maria da Purificação Antunes Coelho

---

Exercícios 31 e 33.

TP16 - aula 9

16 Outubro 2023, 13:30 • Fernando Ferreira

---

Exercicios 30, 31 e 33 (início).