Sumários

T21 - 5.ª Aula

6 Março 2025, 09:00 Susana Duarte Santos

A axiomática de Hilbert (continuação): restantes axiomas de incidência e a geometria de incidência espacial; modelos da geometria de incidência espacial; axiomas de ordem e a geometria de ordem; noções de segmento e triângulo; alguns resultados da geometria de ordem.


TP22 - 2.ª Aula

27 Fevereiro 2025, 12:30 Susana Duarte Santos

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


T21 - 4.ª Aula

27 Fevereiro 2025, 09:00 Susana Duarte Santos

Uma visão global da axiomática de Hilbert (continuação). Axiomas planos de incidência. Modelos finitos e infinitos da geometria de incidência plana, com ênfase nos modelos plano afim real, disco de Beltrami-Klein e plano projetivo real. Postulados de paralelismo.


T21 - 3.ª Aula

26 Fevereiro 2025, 09:00 Susana Duarte Santos

Sistemas axiomáticos (continuação): os conceitos de sistema axiomático consistente, axioma independente, sistema axiomático independente, modelos isomorfos e sistema axiomático categórico. Mais exemplos.

Uma visão global da axiomática de Hilbert (início).


TP23 - 1.ª Aula

25 Fevereiro 2025, 10:00 Susana Duarte Santos

Apresentação. Resolução de exercícios do Capítulo 1: 1 a), b), c), d), e) e algumas questões suplementares sobre os conceitos de consistência (relativa) de um sistema axiomático, modelos isomorfos e sistema axiomático categórico.