Público
Relação de Convocados
Relação de Matriculados
____________________
Calendário Escolar
2022
2021
Cursos de ingresso
Disciplina
Busca por Disciplinas
Busca por Turmas
Editais
Programa Unificado de Bolsas(PUB)
Edital 2021-2022
Edital 2022-2023
PEEG
PAP
FAQ
Matrícula Interativa
FAQ
Informações gerais
TUTORIAL - NOVA MATRÍCULA
Jupiterweb em Vídeos
Informações gerais sobre a Graduação
Acesso Restrito
Entrar
Esqueci a Senha
Primeiro Acesso
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
Créditos
|
Fale conosco
© 1999 - 2022 - Superintendência de Tecnologia da Informação/USP