You might also like

More about Introducao Ao Calculo Lambda

• Book details
• Synopsis
• Trending among others

You get 51 loyalty points

Book synopsis

O cálculo lambda é um dos pilares da cięncia da computaçăo. Para alémżdo seu papel histórico em teoria da computabilidade, teve influęnciażsignificativa no desenho e implementaçăo de linguagens de programaçăo,żem semântica denotacional, e em teoria de domínios. O livro dá ęnfaseżŕ teoria da demonstraçăo do cálculo lambda sem tipos. Os primeirosżcapítulos concentram-se neste cálculo e abordam a teoria básica,żreduçőes, modelos, computabilidade e o relacionamento entre o cálculożlambda e a lógica combinatória. O Capítulo 7 introduz o cálculo lambdażcom tipos: primeiro o cálculo lambda simplesmente tipificado, deżseguida com o polimorfismo ŕ Milner e, por último, o cálculo lambdażpolimórfico. O Capítulo 9 apresenta versőes mais recentes do cálculożlambda sem tipos: o cálculo lambda preguiçoso e o cálculo lambdażsigma. O último capítulo contém referęncias e um guia para leiturażulterior. Os exercícios văo sendo propostos ao longo do livro. Emżcontraste com livros anteriores sobre estes tópicos, que foramżescritos por lógicos, este livro é escrito do ponto de vista dażcięncia da computaçăo e realça o significado prático de muitas dasżideias chave. O livro assume-se como livro de texto para o último anożde graduaçăo ou para o primeiro ano de pós-graduaçăo em cięncia dażcomputaçăo. Os estudantes de investigaçăo poderăo usá-lo como umażintroduçăo ŕ literatura mais especializada da área.ż

Book details

• Full title: Introducao Ao Calculo Lambda
• Author: Chris Hankin
• Language: Portuguese
• Binding: Paperback
• Number of pages: 186
• EAN: 9781848900844
• ISBN: 9781848900844
• ID: 08853876
• Publisher: College Publications
• Weight: 282 g
• Dimensions: 155 × 233 × 13 mm
• Date of publishing: 16. August 2012

Trending among others

---

---

---