Das gefürchtete Lambda-Kalkül

Das Lambda- Kalkül. Fast jeder hat schon Gerüchte darüber gehört: Hat das nicht etwas mit Lisp zu tun? Mit funktionaler Programmierung?

Damit Ihr auf der Party nicht länger Schweigen müßt, wenn das Gespräch auf dieses Thema kommt, wird auf diesen Seiten der Schleier gelüftet.

Wenn Ihr jeden Tag 10 Seiten lest, könnt Ihr schon in einer Woche Eure Freunde mit Eurem neuen Wissen überraschen.

Lambda


Disclaimer:
Der Vortrag, der diesen Folien zugrundeliegt, richtete sich an eine nicht fachlich vorgebildete Zielgruppe. Es kann nicht garantiert werden, daß keine formalen Ungenauigkeiten oder Vereinfachungen vorliegen: Es handelt sich um eine erste, leicht lesbare Einführung.

Übersicht:

NEU: Jetzt auch der gesamte Vortrag als Postscript-Datei

Einführung in das Thema: Einführung in das Lambda - Kalkül: Feinheiten des Lambda-Kalküls: Schlussworte:

Impressum

Angaben gemäß § 5 TMG
Fabian Nilius
Eppendorfer Weg 248
20251 Hamburg

Kontakt:
Telefon: 017624151460
E-Mail: info (a) betoerend.de
Datenschutz: Die Nutzung unserer Webseite ist ohne Angabe personenbezogener Daten möglich.
Unser Webspace-Provider erstellt die üblichen Serverlogfiles, die enthalten unter anderem Informationen zu der abgerufenen Webseite, Datum, Browser/Betriebssystem des Nutzers, IP-Adresse. Diese Daten werden nur für anonyme Statistiken verwendet und zeitnah gelöscht.