Übung zum Lambda-Kalkül

Die Übung besteht aus zwei Teilen: zuerst wird in Einzelschritten demonstriert, wie ein sehr einfacher Satz mit Hilfe des Lambda-Kalküls Wort für Wort abgearbeitet wird. Dies ist wichtig für das Verständnis des zweiten Teils, der eigentlichen Übung. Dort stehen dann für jeden Schritt drei Möglichkeiten zur Verfügung, von denen jeweils nur eine richtig ist.

Im Folgenden wird gezeigt, wie nach Montague der Satz "Ein Hund schläft" analysiert wird. Zu jedem Schritt kann durch Anklicken des Hilfesymbols eine Erklärung eingeblendet werden. Wenn die Erklärung nicht sichtbar ist, muss die Fensterhöhe vergrössert werden.

weiter
Demo überspringen und dirket zur Übung gehen