Jupiterweb

Informações da Disciplina

Preparar para impressão

Júpiter - Sistema de Gestão Acadêmica da Pró-Reitoria 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