Informações da Disciplina

 Preparar para impressão 

Júpiter - Sistema de Gestão Acadêmica da Pró-Reitoria de Graduação


Faculdade de Economia, Administração e Contabilidade de Ribeirão Preto
 
Economia
 
Disciplina: REC3304 - Introdução à Lógica Matemática
Introduction to Logic

Créditos Aula: 4
Créditos Trabalho: 1
Carga Horária Total: 90 h
Tipo: Semestral
Ativação: 01/01/2019 Desativação:

Objetivos
Apresentar de forma clara e explícita os princípios subjacentes à construção de demonstrações matemáticas.
 
 
 
Docente(s) Responsável(eis)
3481521 - Jefferson Donizeti Pereira Bertolai
 
Programa Resumido
Sentenças, quantificadores e estratégias de demonstração.
 
 
 
Programa
Parte I – Sentenças 1. Argumentação dedutiva e conectivos lógicos 2. Tabela verdade 3. Variáveis e conjuntos 4. Operações em conjuntos 5. Conectivos condicional e bicondicional Parte II – Quantificadores 1. Quantificadores universal e existencial 2. Equivalências envolvendo quantificadores 3. Mais operações em conjuntos Parte III – Demonstrações 1. Estratégias de demonstração 2. Envolvendo negações e condicionais 3. Envolvendo quantificadores 4. Envolvendo conjunções e bicondicionais 5. Envolvendo dijunções 6. Existência e unicidade 7. Mais exemplos de demonstrações 8. Indução Matemática
 
 
 
Avaliação
     
Método
A critério do professor.
Critério
A critério do professor. Aprovação com nota igual ou superior a 5,0 e mínimo de 70% de frequência.
Norma de Recuperação
nota final para alunos que fizerem a reavaliação será a média simples entre a nota da prova de reavaliação e a média final alcançada antes da prova de reavaliação.
 
Bibliografia
     
VELLEMAN D. J. (2006). How to Prove It: A Structured Approach. Cambridge University Press. ISBN 9781139450973.
 

Clique para consultar os requisitos para REC3304

Clique para consultar o oferecimento para REC3304

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