Informações da Disciplina

 Preparar para impressão 
Júpiter - Sistema de Graduação

Faculdade de Filosofia, Letras e Ciências Humanas
 
Filosofia
 
Disciplina: FLF0504 - Lógica IV
Logic IV

Créditos Aula: 4
Créditos Trabalho: 2
Carga Horária Total: 120 h
Tipo: Semestral
Ativação: 15/07/2016 Desativação:

Objetivos
Estudo de temas avançados de lógica contemporânea
 
 
 
Docente(s) Responsável(eis)
626300 - Edelcio Gonçalves de Souza
1142709 - Joao Vergilio Gallerani Cuter
6639521 - Rodrigo Bacellar da Costa e Silva
 
Programa Resumido
Introdução à metateoria da lógica de predicados clássica de primeira ordem e de algumas de suas extensões tais como lógica de segunda ordem, teoria de conjuntos e lógica infinitária.
 
 
 
Programa
1) Lógica de primeira ordem 2) Completude; compacidade; Löwenheim-Skolem. 3) Interpolação e definibilidade. 4) Classes especiais de fórmulas; teoremas de preservação. 5) Casos solúveis do Entscheidungsproblem. 6) Formas normais de Skolem. Teorema de Herbrand. 7) Lógica de segunda ordem. 8) Lógica infinitária.
 
 
 
Avaliação
     
Método
Aulas expositivas, seminários, discussão e análise de textos.
Critério
Trabalho escrito.
Norma de Recuperação
Trabalho escrito.
 
Bibliografia
     
ACKERMANN, W. Solvable cases of the decision problem. Amsterdã: North-Holland, 1954. CHANG, C.C.; KEISLER, H.J. Model theory. Mineola (EUA): Dover, 2012. CHURCH, A. Introduction to mathematical logic. Princeton: Princeton University Press, 1956. HALMOS, P. Teoria Ingênua dos Conjuntos. São Paulo: Edusp, 1970. KEISLER, H.J. Model theory for infinitary logic. Amsterdã: North-Holland, 1971. LINDSTRÖM, P. First-order logic. Gothenburg University, 2006. LINDSTRÖM, P. First-order logic. Col. Web Series, n. 36. Gotemburgo (Suécia): Göteborg University, 2006. QUINE, W.V.O. Methods of Logic. Nova York: Holt, 1962. SMULLYAN, R. Lógica de primeira ordem. São Paulo: Edunesp, Discurso Editorial, 2009.
 

Clique para consultar os requisitos para FLF0504

Clique para consultar o oferecimento para FLF0504

Créditos | Fale conosco
© 1999 - 2017 - Superintendência de Tecnologia da Informação/USP