Exame 1

30 Dezembro 2019, 12:10 Maria Cristina De Sales Viana Serôdio Sernadas

Estrutura do Exame
Cálculo de Gentzen (6,0)
Eliminação de Quantificadores por Via Simbólica ou por Modelos em Teoria Específica (4,0)
Eliminação de Quantificadores por Via de Modelos em Geral (4,0)
Iteração e Teste de Vaught (6,0)

Horário de Dúvidas
7 de Janeiro às 16h00 na Sala 5.28 do DM

Exame 1
9 de Janeiro das 15h00 às 18h00

Votos de excelente 2020