Disciplina Curricular

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

Mestrado Bolonha em Matemática e Aplicações - MMA 2006

Contextos

Grupo: MMA 2006 > 2º Ciclo > Perfis > Matematica da Computação > Lógica e Computação

Período:

Peso

7.5 (para cálculo da média)

Objectivos

Dominar resultados e técnicas chave para estabelecer a decidibilidade de teorias de primeira ordem.

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.

Metodologia de avaliação

Exame final.

Disciplinas Execução

2016/2017 - 1ºSemestre

2015/2016 - 1º Semestre

2014/2015 - 1º Semestre

2013/2014 - 1 Semestre

2012/2013 - 1 Semestre

2011/2012 - 1 Semestre

2010/2011 - 1 Semestre

2009/2010 - 1 Semestre

2008/2009 - 1 Semestre

2007/2008 - 1 Semestre

2006/2007 - 1 Semestre