Sumários

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.

TP21 Aula 1

24 Fevereiro 2025, 11:30 • Isabel Maria André Ferreirim

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

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