Informações da Disciplina

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

Instituto de Matemática e Estatística
 
Matemática
 
Disciplina: MAT0349 - Introdução à Lógica
Introduction of Logic

Créditos Aula: 4
Créditos Trabalho: 0
Carga Horária Total: 60 h
Tipo: Semestral
Ativação: 01/01/1982 Desativação:

Objetivos
Dar o conhecimento essencial do cálculo proposicional e de predicados de 1 ordem aos estudantes de
licenciatura em matemática.
 
 
 
Programa Resumido
 
 
 
Programa
Breve digressão histórica. Cálculo proposicional. Fórmulas tautológicas, contra-válidas e
indeterminadas. Redução do número de conectivos. Problema de Post. Álgebra dos interruptores. Argumentos
válidos. Teorema da dedução. Axiomatização do cálculo proposicional. Cálculo de predicados. Quantificadores.
Fórmulas. Argumentos. Axiomatização do cálculo de predicados de 1 ordem. Noção sobre teorias formalizadas.
 
 
 
Avaliação
     
Método
Aulas teóricas e de exercícios.
Critério
Média ponderada de provas e exercícios.
Norma de Recuperação
Cada docentes (ou equipe), deverá decidir qual o peso p onde 1<=p<=4. A média final, será média ponderada da nota do semestre com a da recuperação com o peso acima.
 
Bibliografia
     
B. Castrucci, INTRODUÇÃO À LÓGICA MATEMÁTICA, Nobel, São Paulo,
1973 H.B. Enderton, A MATHEMATICAL INTRODUCTION TO LOGIC, Academic Press, 1972 J. Ferrater Mora,
H. Leblanc, LOGICA MATEMÁTICA, Fondo de Cultura Economica, Mexico, 1955 L. Hegenberg, LÓGICA:
SIMBOLIZAÇÃO E DEDUÇÃO, EDUSP, 1975 B. Mates, LÓGICA ELEMENTAR, Nacional, São Paulo, 1968.
 

Clique para consultar os requisitos para MAT0349

Clique para consultar o oferecimento para MAT0349
Créditos | Fale conosco
© 1999 - 2019 - Superintendência de Tecnologia da Informação/USP