Sumários

T21 - 3.ª Aula

29 Fevereiro 2024, 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

28 Fevereiro 2024, 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.

TP22 - 1.ª Aula

26 Fevereiro 2024, 10:00 Susana Duarte Santos


Apresentação. Resolução de exercícios do Capítulo 1: 1 a), b), c), d) e parte da alínea e).

TP21 Aula 1

26 Fevereiro 2024, 08:00 Isabel Maria André Ferreirim


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

T21 - 1.ª Aula

22 Fevereiro 2024, 09:00 Susana Duarte Santos


Apresentação. Generalidades sobre o funcionamento da disciplina. Introdução. Os Elementos de Euclides. Sistemas axiomáticos: primeiros conceitos.