Sala P3.10, Pavilhão de Matemática

André Guerra, 2º ano de LMAC, IST
Cálculo Lambda: uma Introdução

Nesta apresentação analisamos os conceitos básicos do Cálculo Lambda, que é um mecanismo simbólico de avaliar expressões. Introduzimos a notação lambda e explicamos a sintaxe da linguagem; de seguida estudamos a forma de avaliar as expressões que conseguimos escrever e usamo-las para fazer aritmética. Por fim, relacionamos os conceitos envolvidos com noções de computabilidade e terminamos com uma prova da indecibilidade do Halting Problem.