Sumários
AT26 Teste de Vaught
16 dezembro 2015, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema da compacidade. Teste de Vaught.
Exercícios sobre o teorema de Vaught.
14 dezembro 2015, 15:30 • João Rasga
Resolução de exercícios sobre o teorema de Vaught.
AT24 Teorias finitamente satisfazíveis
9 dezembro 2015, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoria finitamente satisfazível. Teorias com a propriedade da existência.
Exercícios sobre eliminação de quantificadores por via simbólica.
7 dezembro 2015, 15:30 • João Rasga
Resolução de exercícios sobre eliminação de quantificadores por via simbólica.
AT22 Eliminação de quantificadores
2 dezembro 2015, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
O exemplo da teoria dos grupos Abelianos com divisibilidade.