Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	August 2012
Genre:	Schulbücher
ISBN:	9781848900844
EAN-Code:	9781848900844
Verlag:	College Publications
Einband:	Kartoniert
Sprache:	Portugiesisch
Dimensionen:	H 234 mm / B 156 mm / D 11 mm
Gewicht:	292 gr
Seiten:	186
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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ênciä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 lambdäcom tipos: primeiro o cálculo lambda simplesmente tipificado, de¿seguida com o polimorfismo à Milner e, por último, o cálculo lambdä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 lambdäsigma. O último capítulo contém referências e um guia para leiturä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 dä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 däcomputação. Os estudantes de investigação poderão usá-lo como umäintrodução à literatura mais especializada da área.¿