TP22 Aula 1 (IF)

28 Fevereiro 2023, 10: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.

TP21 - 1.ª Aula

27 Fevereiro 2023, 08:00 • Susana Duarte Santos

---

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

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.

T21 - 2.ª Aula

16 Fevereiro 2023, 09:00 • Susana Duarte Santos

---

Sistemas axiomáticos: os conceitos de sistema axiomático e modelo. Exemplos.

T21 - 1ª Aula

15 Fevereiro 2023, 09:00 • Susana Duarte Santos

---