Was sind einige Ressourcen für das Lernen Lambda-Kalkül? [geschlossen]

Question

So ist der Wikipedia-Eintrag auf Lambda-Kalkül interessant war, aber ich es fertig habe. Ich mag ein wenig tiefer tauchen und ein besseres Verständnis des Lambda-Kalkül zu bekommen.

Kann jemand empfehlen, was sie als das beste Buch oder Grundierung auf Lambda-Kalkül sein?

Answer 1

Wenn Sie mit dem Wikipedia-Eintrag fertig sind, seinen Link zum Online- Struktur und Interpretation von Computerprogrammen rel="nofollow , die Zuordnungen tun, oder das Buch .

Answer 2

Nun, es ist immer Eine Einführung in die Lambda-Kalkül . Ich habe versucht, es ein paar Mal gelesen hat, aber hätte immer stecken. Ich habe eine nagende Gefühl, dass ich bereits die meisten dieser Sachen kennen und würde wahrscheinlich leichter haben es zu verstehen, wenn sie in Bezug auf Lisp / Scheme vorgestellt wurde, anstatt Mathematik. Vielleicht haben Sie mehr Glück haben, aber:)

Answer 3

Ich fand „ Eine Einführung in Lambda Kalküle für Informatiker “ durch Chris Hankin sein ziemlich gut, aber ich wirklich nur verwenden es für eine Klasse - nicht in der realen Welt verwendet:)

Answer 4

Versuchen Sie, ein Lambda-Kalkül interpetter Schreiben, idealerweise in einer funktionalen Sprache mit Hilfe der eingebauten Syntax der Sprache, anstatt über einen Parser. Dies ist überraschend einfach und ein guter Weg, um Ihr Gefühl für sie zu verbessern.

Answer 5

Ich kaufte vor kurzem ein Buch von Amazon betitelt als "Eine Einführung in der funktionalen Programmierung durch Lambda-Kalkül „ von Greg Michaelson. Es ist eher eine Einführung in die funktionale Programmierung und führt auch Lambda-Kalkül. Der erste Eindruck ist sehr gut. Eine in sich geschlossene und leicht Buch zu lesen. Hier , können Sie kostenlose Version ohne Index in Postscript herunterladen.

Answer 6

Das Buch, das hat mich wirklich beginnen Lambda-Kalkül zu bedienen und zu verstehen war „Darstellung und Inference für Natural Language“ von Blackburn und Bos. Dies ist ein Buch über die Verarbeitung natürlicher Sprache mit Prolog. Ein weiteres Buch, das Sie betrachten könnte, ist „Natural Language Understanding“ von Allen. Schließlich, wenn Sie Lambda-Kalkül mögen, werden Sie wahrscheinlich genießen auch kombinatorische Logik, da die Kombinatoren als Lambda-Ausdrücke definiert werden. Dazu empfehle ich Smullyan Buch von Puzzles, "To A Mockingbird Mock." Gegen Ende nutzt er die Kombinatoren eine rudimentäre Programmiersprache zu bauen.

Answer 7

Ich denke, die Referenz auf das Thema der Lambda-Kalkül selbst noch Barendregt Buch .

Darüber hinaus ist es ziemlich hängt davon ab, was „Teil“ des Lambda-Kalkül sind Sie interessiert: Typisierung? Beweistheorie? Begriff umschreiben? funktionale Programmierung?

Jeder von ihnen ist ein Feld, in sich selbst, und ich weiß nicht, von jedem Buch, das alles abdeckt.

Answer 8

Hier ist eine schöne Erklärung (mit Schema): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

Und hier ist ein geschicktes Bit (aus meinem Blog), rekursive faktorielles zu reinen lambdas reduzieren: http://blogs.msdn.com /b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

Viel Spaß!