Lösungen Blatt1 :
Zu Aufgabe 2:
fun guess s = substring (s,0,size s-1)^"se";
fun mitte s = substring (s,1, size s-2);
fun tausch s =
substring (s,size s div 2 , size s div 2)^ substring(s,0,size s div 2);
Zu Aufgabe3:
Die Relation {(a,b): a ist-Vater-von b}
ist keine Funktion,
da sie nicht rechtseindeutig ist.
Die Relation ist partiell aber keine partielle Funktion!
Eine Totalisierung ist an dieser Stelle
uninteressant ,wenn auch formal machbar.
Dagegen ist die Relation {(a,b): a ist-Sohn-von b} eine Funktion.
Diese ist auch nur partiell,
da sie nicht auf ganz P definiert ist.