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.