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