Mohlo by sa vám tiež páčiť

Viac informácií o knihe Introducao Ao Calculo Lambda

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 51 bodov

Anotácia 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.ż

Parametre knihy

• Celý názov: Introducao Ao Calculo Lambda
• Autor: Chris Hankin
• Jazyk: Portugalčina
• Väzba: Brožovaná
• Počet strán: 186
• EAN: 9781848900844
• ISBN: 9781848900844
• ID: 08853876
• Nakladateľ: College Publications
• Hmotnosť: 282 g
• Rozmery: 155 × 233 × 13 mm
• Dátum vydania: 16. August 2012

Obľúbené z iného súdka

---

---

---