Picture 1 of 1

Stock photo

Chris Hankin Introducao Ao Calculo Lambda (Paperback) - Picture 1 of 1

Introducao Ao Calculo Lambda by Chris Hankin (Paperback, 2012)

Rarewaves Outlet (1396216)

98.1% positive feedback

Price:

GBP 15.85

ApproximatelyPHP 1,214.05

+ 2.99 shipping

Estimated delivery Wed, 2 Jul - Sat, 5 Jul

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Brand New

About this product

Product Information

O calculo lambda e um dos pilares da ciencia da computacao. Para alema do seu papel historico em teoria da computabilidade, teve influenciaa significativa no desenho e implementacao de linguagens de programacao,a em semantica denotacional, e em teoria de dominios. O livro da enfasea a teoria da demonstracao do calculo lambda sem tipos. Os primeirosa capitulos concentram-se neste calculo e abordam a teoria basica,a reducoes, modelos, computabilidade e o relacionamento entre o calculoa lambda e a logica combinatoria. O Capitulo 7 introduz o calculo lambdaa com tipos: primeiro o calculo lambda simplesmente tipificado, dea seguida com o polimorfismo a Milner e, por ultimo, o calculo lambdaa polimorfico. O Capitulo 9 apresenta versoes mais recentes do calculoa lambda sem tipos: o calculo lambda preguicoso e o calculo lambdaa sigma. O ultimo capitulo contem referencias e um guia para leituraa ulterior. Os exercicios vao sendo propostos ao longo do livro. Ema contraste com livros anteriores sobre estes topicos, que forama escritos por logicos, este livro e escrito do ponto de vista daa ciencia da computacao e realca o significado pratico de muitas dasa ideias chave. O livro assume-se como livro de texto para o ultimo anoa de graduacao ou para o primeiro ano de pos-graduacao em ciencia daa computacao. Os estudantes de investigacao poderao usa-lo como umaa introducao a literatura mais especializada da area.a

Product Identifiers

PublisherCollege Publications

ISBN-139781848900844

eBay Product ID (ePID)404184919

Product Key Features

Number of Pages186 Pages

LanguagePortuguese

Publication NameIntroducao Ao Calculo Lambda

Publication Year2012

SubjectMathematics

TypeTextbook

AuthorChris Hankin

FormatPaperback

Dimensions

Item Height234 mm

Item Weight269 g

Item Width156 mm

Additional Product Features

Country/Region of ManufactureUnited Kingdom

Title_AuthorChris Hankin