AP Extraordinária

11 maio 2010, 15:00 • Amilcar Sernadas

Exercícios sobre semântica.

[Aula leccionada por Cristina Sernadas]

AP 9 Consequência semântica

6 maio 2010, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre consequência semântica e contra-exemplos para verificação de não validade de fórmulas.

AT20 Completude + Igualdade

6 maio 2010, 15:00 • Amilcar Sernadas

Assinaturas com igualdade. Teorias com igualdade. Teoria da igualdade. Resultados básicos sobre teorias com igualdade. Existência de modelos normais.

AT19 Construção de Henkin

4 maio 2010, 15:00 • Amilcar Sernadas

Coerência da extensão existencial de conjunto coerente. Lema fundamental da construção de Henkin. Modelo de conjunto coerente como reduto da estrutura de interpretação canónica.

AP 8 Semântica

29 abril 2010, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre fórmulas tautológicas e satisfação de fórmulas.

Mini-teste sobre sequências de derivação e metateoremas.