Sumários
TP24 - 2.ª Aula
2 Março 2026, 10:00 • Susana Duarte Santos
Resolução de exercícios do Capítulo 1: 1 e), 2, 3, 4, 5 a) e parte da alínea b).
TP22 - 2.ª Aula
26 Fevereiro 2026, 12:30 • Susana Duarte Santos
Resolução de exercícios do Capítulo 1: 1 e), 2, 3, 4, 5 a), b), c), d) i) e sugestões para ii).
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.
TP23 - 1.ª Aula
24 Fevereiro 2026, 10:00 • Susana Duarte Santos
Apresentação. Resolução de exercícios do Capítulo 1: 1 a), b), c) e parte da alínea d). A noção de consistência (relativa) de um sistema axiomático.