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.

---

TP16 - aula 9

16 Outubro 2023, 13:30 • Fernando Ferreira

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

---

TP13 - aula 8

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

Exercícios 31 e 33.

---