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.

TP23 Aula 1

27 Fevereiro 2024, 10:00 Isabel Maria André Ferreirim


Não houve aula por impedimento profissional da professora. A aula será compensada em data a combinar.

TP21 Aula 1

26 Fevereiro 2024, 11:30 Isabel Maria André Ferreirim


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

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