Übung 5

24. November 2003 (Abgabe 19. Dezember 2003)

Aufgabe 1 (3 Punkte) λ-Kalkül

Definieren Sie die Funktionen "kleiner als" und "größer als" für zwei Zahlen.

Aufgabe 2 (8 Punkte) λ-Kalkül

1. Definieren Sie positive und negative Zahlen durch Paare von Zahlen .
2. Definieren Sie die Addition und Subtraktion für positive und negative Zahlen.

Aufgabe 3 (4 Punkte) λ-Kalkül

1. Definieren eine Datenstruktur um eine Liste von Zahlen zu repräsentieren.
2. Definieren Sie eine Funktion , die das erste Element einer Liste extrahiert.
3. Definieren Sie eine Funktion , die das zweite Element einer Liste extrahiert, unter der Annahme, daß die Liste mindestens zwei Elemente enthält.