Mohlo by se vám také líbit

Více informací o knize Introducao Ao Calculo Lambda

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 65 bodů

Anotace knihy

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.ż

Parametry knihy

• Plný název: Introducao Ao Calculo Lambda
• Autor: Chris Hankin
• Jazyk: Portugalština
• Vazba: Brožovaná
• Počet stran: 186
• EAN: 9781848900844
• ISBN: 9781848900844
• ID: 08853876
• Nakladatelství: College Publications
• Hmotnost: 282 g
• Rozměry: 155 × 233 × 13 mm
• Datum vydání: 16. August 2012

Oblíbené z jiného soudku

---

---

---