Grupo de Lógica Matemática – 2010.2

Grupo de Lógica Matemática – 2010.2 – 10 vagas

Prof.: Abílio Rodrigues

Horário: quintas-feiras de 17h às 19h

Ementa: Neste semestre o tema do grupo será introdução à teoria da prova. O curso terá a participação da professora Elaine Pimentel do Departamento de Matemática da UFMG. Bibliografia: Robbin, Mathematical Logic; Negri et al. Structural Proof Theory; Troelstra et al. Basic Proof Theory. Mais informações estarão disponíveis na página http://filosofiaelogica.blogspot.com - nesta página mesmo, é claro!

O curso será restrito à lógica proposicional. Faremos de início uma apresentação de sistemas axiomáticos e de dedução natural das lógicas clássica e intuicionista. Depois, cálculo de sequentes e alguns resultados básicos da teoria da prova.