Introducao ao calculo lambda
-
- Portugiesisch ausgewählt
27,99 €
inkl. gesetzl. MwSt.,
- Kostenlose Lieferung ab 30 € Einkaufswert
- Versandkostenfrei für Bonuscard-Kund*innen
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
16.08.2012
Verlag
College PublicationsSeitenzahl
186
Maße (L/B/H)
23,4/15,6/1,1 cm
Gewicht
292 g
Sprache
Portugiesisch
ISBN
978-1-84890-084-4
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.¿
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice