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.

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).

TP22 - 1.ª Aula

24 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.

TP21 Aula 1

24 Fevereiro 2025, 08:00 • Isabel Ferreirim

Cap. I. Sistemas axiomáticos: discussão e resolução dos exercícios 1, 2, 3, 4.