Bewertung:
Das Buch ist ein hoch angesehenes Nachschlagewerk zum Lambda-Kalkül, das sich besonders für Fachleute und Akademiker eignet. Es ist umfassend und gut geschrieben, hat aber erhebliche Probleme mit der Zugänglichkeit und der Qualität der Übersetzung.
Vorteile:⬤ Umfassende und tiefgründige Behandlung der Lambda-Berechnung
⬤ gut geeignet für Fachleute und ernsthafte Studenten
⬤ dient als Lehrbuch in Kursen auf Graduiertenebene
⬤ gilt als klassisches Werk auf diesem Gebiet.
⬤ Schwierig zu lesen und zu verstehen, besonders für diejenigen, die keinen starken mathematischen Hintergrund haben
⬤ schlechte Übersetzungsqualität mit zahlreichen Fehlern
⬤ nicht ideal für Programmierer oder diejenigen, die nach praktischen Anwendungen suchen.
(basierend auf 8 Leserbewertungen)
The Lambda Calculus. Its Syntax and Semantics
Der Lambda-Kalkül, der in diesem Buch hauptsächlich in seiner untypisierten Version behandelt wird, besteht aus einer Sammlung von Ausdrücken, den so genannten Lambda-Termen, zusammen mit Möglichkeiten, diese umzuschreiben und zu identifizieren. In den Teilen Umwandlung, Reduktion, Theorien und Modelle ist die Sichtweise jeweils "algebraisch", rechnerisch, mit weiteren ("ko-induktiven") Identifikationen, und schließlich mengentheoretisch.
Die Lambda-Terme werden aus Variablen aufgebaut, wobei Anwendung und Abstraktion verwendet werden. Die Anwendung eines Terms F auf M hat die Absicht, dass F eine Funktion ist, M ihr Argument und FM das Ergebnis der Anwendung. Dies ist nur die Absicht: Um das Ergebnis tatsächlich zu erhalten, muss man den Ausdruck FM gemäß den Reduktionsregeln umschreiben.
Die Abstraktion bietet eine Möglichkeit, Funktionen entsprechend der Wirkung ihrer Anwendung zu erstellen. Die Stärke der Theorie ergibt sich aus der Tatsache, dass Berechnungen, sowohl abschließende als auch unendliche, durch Lambda-Terme auf einem "bequemen" Abstraktionsniveau ausgedrückt werden können.
| ISBN: | 9781848900660 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
