Grupo de Lógica - 2013.2

Lendo o Shoenfield - Lógica Matemática

Horário: Quintas-feiras das 17h às 18h40

Objetivo: Apresentar uma introdução à Lógica Clássica de Primeira Ordem usando como base o livro Mathematical Logic, de Joseph Shoenfield. 

Ementa: A Natureza da Lógica Matemática. Teorias de Primeira Ordem. Teoremas em Teorias de Primeira Ordem. O Problema da Caracterização e o Teorema da Completude. 

Bibliografia: Shoenfield, J.R.: 1967 (2010). Mathematical Logic. New York, CRC Press.