19500 V Algorithmen und Programmieren I
|
Rojas
|
Implementieren Sie die Funktion mergesort, die eine Liste von Zahlen mit dem Merge-Sort-Algorithmus absteigend sortiert.
Welche Variablen der folgenden Lambda-Ausdrücke sind gebunden und welche sind frei. Wenn Sie gebunden sind: Zu welchem Lambda sind sie gebunden? Beschten Sie, dass die Ausdrücke nicht ausgewertet werden sollen.
Reduzieren Sie die folgenden Lambda-Ausdrücke. Hinweise: Manche Klammern sind nicht notwendig, andere, die nicht notwendig erscheinen, aber schon.
Definieren Sie die XOR-Funktion zweier Argumente im Lambda-Kalkül und zeigen Sie, dass die Definition korrekt ist.
XOR F F = F XOR F T = T XOR T F = T XOR T T = F