Tópicos de Lógica e Complexidade
Código
10835
Unidade Orgânica
Faculdade de Ciências e Tecnologia
Departamento
Departamento de Matemática
Créditos
6.0
Professor responsável
Reinhard Josef Klaus Kahle
Horas semanais
1
Língua de ensino
Português
Objectivos
Nesta disciplina abordam-se tópicos de lógica matemática e da complexidade computacional que visam projectar os alunos para assuntos na fronteira da investigação actual na área.
Pré-requisitos
-
Conteúdo
Teoria de Demonstração
Cálculo lambda
Complexidade computacional implícita
Bibliografia
Handbook of Mathematical Logic (J. Barwise, ed.), North-Holland, 1977.
W. Pohlers, Proof Theory: An Introduction, Springer, 2002.
H. Barendregt, lambda calculus, North-Holland, 1985.
N. Immerman, Descriptive Complexity, Springer, 1999.
Método de ensino
Aulas teórico-práticas participadas, com exposição oral de matéria e discussão/resolução de problemas.
Método de avaliação
Avaliação contínua ou exame final.