Sumários
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.
TP22 - 1.ª Aula
20 Fevereiro 2025, 12:30 • 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 o conceito de modelos isomorfos; 2.
T21 - 2.ª Aula
20 Fevereiro 2025, 09:00 • Susana Duarte Santos
Sistemas axiomáticos: os conceitos de sistema axiomático, modelo, sistema axiomático consistente, axioma independente, sistema axiomático independente, modelos isomorfos e sistema axiomático categórico. Exemplos.
T21 - 1.ª Aula
19 Fevereiro 2025, 09:00 • Susana Duarte Santos