Übung zum Lambda-Kalkül

Jetzt müssen Sie jeweils die richtige logische Repräsentation jedes Schrittes angeben, mit der der Computer anschliessend weiterfahren soll. Es gibt immer drei Möglichkeiten, von denen nur eine richtig ist. Wenn Ihre Lösung falsch ist, führt der Computer die Analyse trotzdem weiter, mit der von Ihnen gewählten Lösung. Sie geraten damit aber in eine Sackgasse und merken das früher oder später - dann klicken Sie einfach in den Rückwärtspfeil, bis Sie wieder dort sind, wo Sie auf den Irrweg gekommen sind.
Manche Lösungen sind allerdings formell unzulässig, so dass es nicht weitergeht, sondern rechts oben am Bildschirm eine Meldung erscheint.

Übung starten
Demo zur Übung