TP21 Aula 2

2 Março 2026, 08:00 • Isabel Ferreirim

Sistemas axiomáticos: discussão e resolução dos exercícios 3,4,5 e 6(a).

---

T21 - 3.ª Aula

26 Fevereiro 2026, 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

25 Fevereiro 2026, 09:00 • Susana Duarte Santos

Os Elementos de Euclides e a descoberta da geometria hiperbólica. Sistemas axiomáticos: os conceitos de sistema axiomático e modelo. Exemplos.

---

TP22 - 1.ª Aula

23 Fevereiro 2026, 10:00 • Susana Duarte Santos

Apresentação. Resolução de exercícios do Capítulo 1: 1 a), b), c) e  d). A noção de consistência (relativa) de um sistema axiomático.

---

TP21 Aula 1

23 Fevereiro 2026, 08:00 • Isabel Ferreirim

Sistemas axiomáticos: discussão e resolução do exercício 1. Breve apresentação do conceito de sistema (relativamente) consistente. Discussão e resolução do exercício 2.

---