Introducao Ao Calculo Lambda - Chris Hankin - Kirjat - College Publications - 9781848900844 - torstai 16. elokuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Introducao Ao Calculo Lambda Portuguese edition

Chris Hankin

Hinta
Kč 447

Tilattu etävarastosta

Arvioitu toimitus ti 17. - 24. kesä
Lisää iMusic-toivelistallesi
Eller

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 16. elokuuta 2012
ISBN13 9781848900844
Tuottaja College Publications
Sivujen määrä 186
Mitta 233 × 155 × 13 mm   ·   292 g
Kieli Portuguese  
Kääntäjä Rasga, Joao

Näytä kaikki

Lisää tuotteita Chris Hankin