Introducao Ao Calculo Lambda - Chris Hankin - Books - College Publications - 9781848900844 - August 16, 2012
In case cover and title do not match, the title is correct

Introducao Ao Calculo Lambda Portuguese edition

Chris Hankin

Price
DKK 122.40
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 24 - Jul 3
Add to your iMusic wish list

Introducao Ao Calculo Lambda Portuguese edition

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


186 pages, black & white illustrations; black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 16, 2012
ISBN13 9781848900844
Publishers College Publications
Pages 186
Dimensions 233 × 155 × 13 mm   ·   292 g
Language Portuguese  
Translator Rasga, Joao

Show all

More by Chris Hankin