Universidade Federal do Espírito Santo

Portal do Ementário

Informações Gerais
Disciplina:
Lógica ( DMA14799 )
Unidade:
Departamento de Matemática Aplicada
Tipo:
Obrigatória
Período Ideal no Curso:
1
Nota Mínima para Aprovação:
5.00
Carga Horária:
30
Número de Créditos:
2

Objetivos
Apresentar o formalismo lógico da matemática e exercitar técnicas básicas de demonstração.

Ementa
Introdução à notação matemática, ao formalismo lógico e às técnicas básicas de demonstração usadas na matemática. Elementos de Cálculo Proposicional. Argumentos. Noções de teoria dos conjuntos.

Bibliografia
1) ALENCAR FILHO, Edgar de. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002.  2) CERQUEIRA, Luiz Alberto; OLIVA, Alberto. Introdução a lógica. 3a ed. -. Rio de Janeiro: Zahar, 1982.  3) MORAIS FILHO, Daniel Cordeiro de. Um convite à Matemática. Rio de Janeiro: SBM, 2016. 

Bibliografia Complementar
1) COPI, Irving M. Introdução à Lógica. São Paulo: Editora Mestre Jou,1978. 2) ZIMBARG, Jacob. Introdução a lógica matemática. Rio de Janeiro: Instituto de Matemática Pura e Aplicada, 1973. 3) SANT'ANNA, Adonai Schlup. O que e uma definição. Barueri, SP: Manole, 2005. 4) NOLT, John.; ROHATYN, Dennis. Lógica. São Paulo: MAKRON Books do Brasil: McGraw-Hill, 1991. 596 p. (Coleção Schaum). 5) BENZECRY, Vera Syme Jacob; RANGEL, Kléber Albanêz. Como desenvolver o raciocínio lógico: soluções criativas na teoria dos conjuntos. 3. ed. Rio de Janeiro: LTC 2008.
Carregando...