Tópicos de Teoria da Computação
Código
9648
Unidade Orgânica
Faculdade de Ciências e Tecnologia
Departamento
Departamento de Matemática
Créditos
6.0
Professor responsável
Isabel Maria Oitavem Fonseca da Rocha Kahle
Horas semanais
4
Língua de ensino
Português
Objectivos
Domínio do cálculo lambda sem tipos e suas aplicações, com enfase em pontos fixos e auto-referência.
Conteúdo
Capítulos 1-6 do livro indicado na bibliografia.
Bibliografia
The Lambda Calculus its syntax and semantics, de H.P. Barendregt, em Studies in Logic and Foundations of Mathematics, vol 103, Elsevier.