Der Lambda-Kalkül. Seine Syntax und Semantik

Bewertung:   (4,3 von 5)

Der Lambda-Kalkül. Seine Syntax und Semantik (Henk Barendregt)

Leserbewertungen

Zusammenfassung:

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.

Nachteile:

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)

Originaltitel:

The Lambda Calculus. Its Syntax and Semantics

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781848900660
Autor:
Verlag:
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Lambda-Kalkül mit Typen - Lambda Calculus with Types
Dieses Handbuch mit Übungen offenbart in Formalismen, die bisher hauptsächlich für den Entwurf und die Verifikation...
Lambda-Kalkül mit Typen - Lambda Calculus with Types
Der Lambda-Kalkül. Seine Syntax und Semantik - The Lambda Calculus. Its Syntax and...
Der Lambda-Kalkül, der in diesem Buch hauptsächlich in...
Der Lambda-Kalkül. Seine Syntax und Semantik - The Lambda Calculus. Its Syntax and Semantics
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
1936 wurde der Begriff der intuitiven Berechenbarkeit auf zwei verschiedene Arten operationalisiert:...
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
1936 wurde der Begriff der intuitiven Berechenbarkeit auf zwei verschiedene Arten operationalisiert:...
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)