Installieren Sie ein Lisp-System, z.Bsp. xlisp oder Gnu Common Lisp (gcl), auf einem Ihnen zugänglichen System. Programmieren Sie dann

1. die Funktion aus Blatt3, Aufgabe 5, Teil 2 direkt (mit defun bzw. define) und unter Verwendung des Y-Kombinators. Was ist F(42)?
2. succ und die Zahlen 0, 1 und 2 der Arithmetik des reinen -Kalküls. Berechnen Sie damit succ 2.

Übersetzen Sie die Funktionen sum und prod, die auf dem reinen -Kalkül operieren, in Terme der kombinatorischen Logik.

Übersetzen Sie mit den Definitionen von Blatt 3 den -Ausdruck P²₁[u,v,w] in einen Term der kombinatorischen Logik. (u,v und w seien dabei Variablen, keine komplexen Subterme)

Berechnen Sie (C) ( C aus dem Script, CXYZ=XZY)