Topics of Logic and Complexity
Code
10835
Academic unit
Faculdade de Ciências e Tecnologia
Department
Departamento de Matemática
Credits
6.0
Teacher in charge
Reinhard Josef Klaus Kahle
Weekly hours
1
Teaching language
Português
Objectives
In this course topics of Mathematical Logic and Computational Complexity are discussed. The goal is to bring the students to the edge of current research in the area.
Prerequisites
-
Subject matter
Proof Theory
lambda calculus
implicit computational complexity
Bibliography
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.
Teaching method
Theorical/practical classes with oral presentations of the material and discussion/solution of problems.
Evaluation method
Continues evaluation or final exam.