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