Müssen wir bei Aufgabe 1 noch begründen warum welche Rekursion stattfindet oder reicht es, wenn wir die nebenstehnde Tabelle ausfüllen mit ja/nein?

Ich denke, das Ausfüllen reicht. Sonst hätten die ja was von einer Begründung hingeschrieben.

1. Laut Def. 54 ist eine Rekursion indirekt, wenn Definitionen sich wechselseitig rekursiv verwenden. Dies ist doch in keiner der gegebenen Funktionen gegeben… Oder seh ich das falsch?!

2. Man spricht von linearer Rekursion (Def. 53), wenn sich eine Definition in jeder Fallunterscheidung nur einmal selbst verwendet. Wenn man nun innerhalb eines cond-Blocks eine weitere Unterscheidung mit if hat: auf welche Fallunterscheidung bezieht man sich dann bei der Definition ?

merge-sort ist indirekt oder?
Sehe ich das richitg, dass alle 4 Funktionen direkte Rekursion verwenden oder habe ich direkt falsch verstanden?

Das hört sich jetzt etwas widersprüchlich an :-)
Ich denke, merge-sort ist auch direkt, weil zwar andere rekursive Funktionen aufgerufen werden, diese aber nicht den merge-sort aufrufen.