Sumários
9 Março 2023, 12:30
•
Isabel Maria André Ferreirim
Discussão e resolução dos exercícios 1, 6, 7, 8, 9.
9 Março 2023, 09:00
•
Susana Duarte Santos
A axiomática de Hilbert (continuação): observações finais respeitantes à geometria de congruência; axioma de continuidade de Dedekind e a geometria neutra; geometria neutra e os postulados de paralelismo; geometria hiperbólica; axioma de paralelismo de Hilbert e a geometria euclidiana; o modelo plano (resp., espaço) afim euclidiano e a categoricidade da geometria euclidiana plana (resp., espacial).
Espaços afins: uma breve introdução informal.
8 Março 2023, 09:00
•
Susana Duarte Santos
A axiomática de Hilbert (continuação): separação de um reta por um ponto e separação de um plano por uma reta; definição de ângulo; axiomas de congruência e a geometria de congruência.
7 Março 2023, 10:00
•
Isabel Maria André Ferreirim
Sistemas axiomáticos: discussão e resolução dos exercícios 1, 6, 7 a-d, 8.
6 Março 2023, 11:30
•
Susana Duarte Santos
Resolução de exercícios do Capítulo 1: 3, 4 b)
(continuação), d) iii) e iv), 5 a), 7 a), 7 b) (sugestões), 8 e 9.