Programa

Fundamentos de Lógica e Teoria da Computação

Mestrado Bolonha em Matemática e Aplicações

Programa

Breve revisão da lógica e teorias de primeira ordem. Cálculo de sequentes. Eliminação do corte. Coerência da lógica de primeira ordem por via simbólica. Analiticidade versus decidibilidade. Técnicas de eliminação de quantificadores. Decidibilidade da teoria das ordens lineares densas. Decidibilidade da aritmética de Presburger. Decidibilidade da teoria dos corpos algebricamente fechados. Decidibilidade da teoria de Tarski dos corpos reais fechados. Avanços recentes na algoritmia da teoria de Tarski. Caracterizações complementares da eliminação de quantificadores.