Lösung

a) Als Ausgabeobjekt nimmt man das geordnete Paar (x,f(x)). Das ist ein Element der Menge UDW und ebenso der darin enthaltenen Teilmenge Graph(f). Das geordnete Paar enthält die gewünchte Information. der Wert f(x) tut da nicht.

b)

Die Elemente aus den Mengen dürfen auch mit anderen noch nicht festgelegten Buchstaben bezeichnet werden! Es sind stumme Variable im Sinne von Kap.1.8.2.

c) Die erste Menge AOB besteht aus all denjenigen Elementen, die sowohl zur ersten als auch zur zweiten Menge gehören. Im geometrischen Sinne sind das alle die Punkte, in denen sich die beiden Mengen schneiden. Entsprechend nennt man AOB den Durchschnitt der beiden Mengen. Die zweite Menge besteht dagegen aus allen Punkten, die in mindestes einer der beiden Mengen A oder B liegen, geometrisch in der vereinigten Menge. Man nennt ANB die Vereinigung der beiden Mengen.

d) Graph(f) ist gleich Bild(F) ! Denn beide Mengen enthalten genau dieselben Elemente!

Zurück