Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Übung 9.2
Wäre jemand so nett und würde seine Lösung zu der Übungsblattaufgabe 9.2 posten? Ich habe sie leider nicht abgegeben, also habe ich keine Lösungen. Und irgendwie werde ich von den ganzen Teilaufgaben nicht schlau…
Danke im voraus 
Biddeschön (Formatierung leider nicht ganz ideal…):
adt Pair
sorts Pair, T
ops
create: T×T → Pair
first: Pair →T
second: Pair →T
setFirst: Pair × T→ Pair
setSecond: Pair × T → Pair
axs
first(create(t1,t2)) = t1
second(create(t1,t2)) = t2
first(setFirst(p,t)) = t
second(setSecond(p,t)) = t
end Pair
Edit: Merke gerade, dass es die falsche Aufgabe war…