TP21 - 1.ª Aula

27 Fevereiro 2023, 11:30 • Susana Duarte Santos

---

Resolução de exercícios do Capítulo 1: 1, 2, 4 a), parte do b), c), d) i) e ii).

TP24 Aula 1

27 Fevereiro 2023, 08:00 • Isabel Maria André Ferreirim

---

Sistemas axiomáticos: discussão e resolução dos exercícios 2, 4. Construção do modelo de sete pontos para o exercício 5.

TP22 Aula 1

23 Fevereiro 2023, 12:30 • Isabel Maria André Ferreirim

---

Sistemas axiomáticos: discussão e resolução dos exercícios 2, 4. Construção do modelo de sete pontos para o exercício 5.

T21 - 3.ª Aula

23 Fevereiro 2023, 09:00 • Susana Duarte Santos

---

Sistemas axiomáticos: os conceitos de sistema axiomático consistente, axioma independente, sistema axiomático independente, modelos isomorfos e sistema axiomático categórico. Exemplos.

TP22 Aula 0

16 Fevereiro 2023, 12:30 • Isabel Maria André Ferreirim

---

As aulas TP começam apenas na segunda semana.