Tipps zum 5. Übungsblatt

Zum Verständnis der Aufgabe 5.4:
Wenn A und B Mengen sind, dann ist
B hoch A
definiert als die Menge aller Abbildungen von A nach B, also die Menge aller Abbildungen von der Form
f: A → B

Im Skript in Kapitel 9.2 und auf den Vorlesungsfolien zu Speicher ab Seite 10 gibt es dazu Beispiele.
Dort wird zum Beispiel zur Menge Adr der Speicheradressen und der Menge Val der möglichen Zustände einer Speicherzelle die Abbildung m definiert, die jede Adresse auf einen dazugehörigen Wert abliefert.

Nun kann man mit Val hoch Adr die Menge der möglichen Speicherbelegungen bezeichnen.

Wenn ihr zu dieser Notation oder zur Aufgabe weitere Fragen habt, könnt ihr diese gerne in den Kommentaren oder per Email stellen.