Informações da Disciplina

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

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

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

Objetivos
O curso destina-se promover a apreensão dos conceitos e das técnicas fundamentais do Cálculo dos Predicados de 1a ordem.
 
 
 
Docente(s) Responsável(eis)
1142709 - Joao Vergilio Gallerani Cuter
 
Programa Resumido
Cálculo de Predicados de 1a Ordem. Cálculo lógico e sistemas formalizados; lógica e linguagem ordinária. Predicados variáveis e quantificação. Identidade e referência; nomes próprios e descrições definidas. Noções fundamentais da teoria dos conjuntos. Sintaxe da linguagem de 1a ordem; definições recursivas e o princípio da indução. Semântica das linguagens de 1a ordem; a definição lógica de verdade e o conceito de interpretação.
 
 
 
Programa
1) Linguagens de primeira ordem: categorias, vocabulário e gramática. 2) Semântica clássica para linguagens de primeira ordem. 3) A lógica proposicional clássica. Teoria das funções de verdade. Algumas visões alternativas. 4) A lógica de primeira ordem com e sem identidade. A noção de consequência. 5) Sistemas formais. As noções de cálculo formal e consequência sintática. 6) Cálculos formais. Os cálculos proposicionais clássicos. 7) O cálculo de predicados de primeira ordem com e sem identidade. 8) Teoremas de completude. Alguns corolários. 9) Formalização de teorias. Algumas noções de teorias dos modelos.
 
 
 
Avaliação
     
Método
Trabalho escrito e/ou seminário.
Critério
A nota final será aquela da atividade de avaliação proposta. Se houver mais de uma atividade, o peso de cada uma será indicado pelo professor responsável pela disciplina.
Norma de Recuperação
Trabalho escrito, versando sobre conteúdos do curso, cuja nota substituirá a da primeira avaliação.
 
Bibliografia
     
KLEENE, S. Introduction to Metamathematics. Amsterdã: North-Holland, 1952. MATES, B. Lógica Elementar. São Paulo: Companhia Editora Nacional, 1968. MORTARI, C. Introdução à lógica. São Paulo: Edunesp, 2001. ROGER, R. Mathematical logic and formalized theories. Amsterdã: North-Holland, 1974. SMULLYAN, R. First Order Logic. Nova York, Berlim, Heidelberg: Springer-Verlag, 1968. SMULLYAN, R. Lógica de primeira ordem. São Paulo: Edunesp, 2002. TARSKI, A. Introduction to logic. Nova York: Oxford University Press, 1995.
 

Clique para consultar os requisitos para FLF0259

Clique para consultar o oferecimento para FLF0259

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