Hallo,
ich weiß, dass hier ist ein Matheforum, aber vielleicht findet sich ja jemand, der sich etwas mit Informatik (Haskell) auskennt?
Ich habe Probleme mit der folgenden Aufgabe:
Beweisen Sie mit einer geeigneten Abstiegsfunktion ausführlich, dass folgende Funktion für alle Argumente definiert ist. merge Integer] Integer] Integer] merge xs xs merge ys = ys merge (x:xs) (y:ys) = if then x:(merge xs (y:ys)) else y:(merge (x:xs ) ys
Ich weiß einfach nicht, wie ich die Abstiegsfunktion finden soll (anscheinend muss man etwas herumraten); wäre toll, wenn mir jemand erklären könnte, wie ich das anstelle.
Liebe Grüße, Lizzy
|