Topics of the Theory of Computation
Code
9648
Academic unit
Faculdade de Ciências e Tecnologia
Department
Departamento de Matemática
Credits
6.0
Teacher in charge
Isabel Maria Oitavem Fonseca da Rocha Kahle
Weekly hours
4
Teaching language
Português
Objectives
Understanding of untyped lambda calculus and applications, with emphasis to self-reference and fixed point theorems.
Subject matter
Chapters 1-6 from the book given in "bibliografia".
Bibliography
The Lambda Calculus its syntax and semantics, by H.P. Barendregt, in Studies in Logic and Foundations of Mathematics, vol 103, Elsevier.