Disciplina Curricular

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

Diploma de Estudos Avançados em Segurança de Informação - DEASegInf2007

Contextos

Grupo: DEASegInf2007 > 3º Ciclo > Matemática > 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

2017/2018 - 1ºSemestre

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