Anúncios

Revisão de Provas Exame 2

4 Fevereiro 2020, 15:14 Maria Cristina De Sales Viana Serôdio Sernadas

Sexta Feira dia 7 de Fevereiro pelas 16h30 Sala 5.28 do DM.


Exame 2

24 Janeiro 2020, 08:04 Maria Cristina De Sales Viana Serôdio Sernadas

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

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


Revisão de Provas Exame 1

14 Janeiro 2020, 09:26 Maria Cristina De Sales Viana Serôdio Sernadas

20 de Janeiro 2020 16h00 Sala 5.28 DM


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


Início das Aulas

11 Setembro 2019, 12:05 Maria Cristina De Sales Viana Serôdio Sernadas

As aulas começam na terça feira dia 17 de Setembro às 13h00.