Ementa de Disciplina

×

FIL1315

LOGICA MATEMATICA I

4 créditos

Ementa

Introdução à teoria dos modelos. Apresentação dos principais meta-teoremas: correção, completude, compacidade, Lövenheim-Skolen. Teorias de Primeira Ordem.

Bibliografia CARNIELLI, W; EPSTEIN, R. L. Computabilidade, Funções Computáveis, Lógica e Funções Matemáticas; São Paulo: editora UNESP, 2012. VAN DALEN, Dirk. Lógica e Estrutura. College Publications; .: ., 2017. MORTARI, Cezar. Introdução à lógica; São Paulo: editora UNESP, 2001.
Bibliografia Complementar BARWISE, Jon. Handbook of Mathematical Logic; Elsevier: North Holland, 1989. EBBINGHAUS, H.D; Flum, J; OSWALD, W. Mathematical Logic; New York: Springer, 1996. ENDERTON, H. A Mathematical Introduction to Logic; San Diego: Harcourt AP, 2000.
Pré-requisitos

Nenhum pre-requisito encontrado para FIL1315

Co-requisitos

Nenhum co-requisito encontrado para FIL1315

Última atualização da ementa: 18/04/2023