So ist der Wikipedia-Eintrag über Lambda-Kalkül war interessant, aber ich habe es beendet. Ich möchte etwas tiefer eintauchen und ein besseres Verständnis von Lambda Calculus bekommen.
Kann jemand das seiner Meinung nach beste Buch oder die beste Einführung in Lambda Calculus empfehlen?
Wenn Sie mit dem Wikipedia-Eintrag fertig sind, folgen Sie dem Link zur Online Struktur und Interpretation von Computerprogrammen die Aufgaben zu erledigen oder zu lesen das Buch .
Nun, es gibt immer Eine Einführung in die Lambda-Kalkulation . Ich habe schon ein paar Mal versucht, es zu lesen, bin aber immer stecken geblieben. Ich habe das ungute Gefühl, dass ich das meiste davon schon kenne und es wahrscheinlich leichter verstehen würde, wenn es in Lisp/Scheme statt in Mathematik dargestellt wäre. Aber vielleicht haben Sie ja mehr Glück :)
Ich fand " Eine Einführung in Lambda-Kalküle für Informatiker " von Chris Hankin für ziemlich gut, aber ich habe es nur für einen Kurs benutzt - nicht in der realen Welt :)
Ich denke, die Referenz zum Thema Lambda-Kalkül selbst ist immer noch Barendregt's Buch .
Darüber hinaus hängt es stark davon ab, an welchem "Teil" des Lambda-Kalküls Sie interessiert sind: Typisierung, Beweistheorie, Termumschreibung, funktionale Programmierung?
Jeder dieser Bereiche ist ein eigenständiges Gebiet, und ich kenne kein Buch, das alle Bereiche abdeckt.
CodeJaeger ist eine Gemeinschaft für Programmierer, die täglich Hilfe erhalten..
Wir haben viele Inhalte, und Sie können auch Ihre eigenen Fragen stellen oder die Fragen anderer Leute lösen.
