IF130 - Teoria dos Modelos

 

Pré-requisitos

1. Lógica Aplicada à Computação, IF312

Ementa

1. Estruturas Relacionais
2. Um Sistema Formal para o Cálculo de 1a Ordem
3. Completude do Cálculo de 1a Ordem
4. Teoria e Modelos para o Cálculo de 1a Ordem (exemplos)

Referências

1. Chang, C. & Keisler, H.J.: `MODEL THEORY', North-Holland, 3rd edition, 1991.
2. Hodges, W.: `MODEL THEORY', Cambridge University Press, 1993
3. Manzano, M.: `MODEL THEORY' (Tradução inglesa do original em espanhol, TEORfIA DE MODELOS, Alianza, Madrid), Oxford Logic Guides, OUP, (to appear).