Ementas das Disciplinas

Lógica Básica

Código: NHI2049-13

T-P-I: 4-0-4

Carga Horária: 48 horas

Recomendações: Funções de Uma Variável, Bases Epistemológicas da Ciência Moderna

Ementa: Cálculo sentencial (ou proposicional) clássico: noções de linguagem, conectivos, dedução e teorema, semântica de valorações. Cálculo clássico de predicados de primeira ordem: os conceitos de linguagem de primeira ordem, igualdade, teorema da dedução, conseqüência sintática. Semântica: noções de interpretação, verdade em uma estrutura, modelo. O conceito formal de teoria, fecho dedutivo. Exposição informal de temas, e.g.; acerca da consistência de teorias, completude de teorias.

Bibliografia Básica

  1. COSTA, N. C. A. Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec, 2008.

  2. MORTARI, C. A. Introdução à lógica. São Paulo: Editora da Unesp, 2001.

  3. OLIVEIRA, A. J. F. Lógica & Aritmética: uma introdução à lógica, matemática e computacional. 3 ed. Lisboa: Gradiva, 2010.

Bibliografia Complementar

  1. BLANCHÉ, R.; DUBUCS, J. História da Lógica. Lisboa: Edições 70, 1996.

  2. CARNIELLI, W.; EPSTEIN, R. L. Computabilidade, funções computáveis, lógica e os fundamentos da matemática. São Paulo: Unesp, 2006.

  3. DEVLIN, K. Sets, functions, and logic: an introduction to abstract mathematics. 3rd ed. Boca Raton: Chapman & Hall, 2004.

  4. ENDERTON, H. B. A mathematical introduction to logic. 2. ed. San Diego: Academic Press, 2001.

  5. HAACK, S.; LORENZI, H. Filosofia das lógicas. São Paulo: Editora da Unesp, 2002.

  6. KNEALE, W. C; KNEALE, M. The development of logic. Oxford: Clarendon Press, 1962.

  7. MENDELSON, E. Introduction to mathematical logic. 4. ed. London: Chapman & Hall, 1997.

  8. SUPPES, P. Introduction to logic. Mineola, NY: Dover Publications, 1999.

Share

Cursos de Licenciatura e Bacharelado em Matemática da UFABC são os Melhores do Brasil

 Cursos de graduação da UFABC estão entre os melhores do Brasil segundo levantamento do MEC. Os últimos  resultados do IGC (Índice Geral de Cursos) colocaram a UFABC em segundo lugar entre as melhores universidades do país.

Os cursos de Bacharelado em Matemática  e Licenciatura em Matemática foram avaliados como os melhores do Brasil em suas respectivas categorias.

Leia Mais

Matemático foi escolhida a melhor profissão de 2014

Matemático aparece como a melhor profissão em 2014,  segundo ranking divulgado pela Careercast.com. A lista completa tem 200 profissões e leva em conta o quanto o emprego afeta a parte física do trabalhador, além de ambiente de trabalho, renda, nível de estresse e perspectivas de contratação.

Leia Mais