Lógica Matemática

Código da Disciplina: VMA00027

Carga Horária: 60

Ementa

Noções de Sistema Lógico. Lógica Sentencial. Lógica de Primeira Ordem Monádica. Lógica de Primeira Ordem. Limites no Poder Expressivo da Lógica de Primeira Ordem.

Conteúdo Programático

Estudar tópicos de Lógica não apresentados nas demais disciplinas do curso de matemática.

Bibliografia

  1. ALENCAR FILHO, E. Iniciação à Lógica Matemática. 18. ed. São Paulo: Nobel, 2002.
  2. GERONIMO, J.R.; FRANCO, V.S. Fundamentos de Matemática: uma introdução à lógica matemática, teoria dos conjuntos, relações e funções. 2. ed. Maringá, PR: Eduem, 2008.
  3. CARNIELLI, W.; EPSTEIN, L. R. Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática. 1. ed. São paulo: Unesp, 2009.