1. Übung

Prof. Marcus Kracht
WS 2016/17
Formale Methoden I
Ausgabe: 26.10.2016 Abgabe: 2.11.2016
[A1.] Es sei der Grundbereich die Gesamtheit aller 8 (!) Planeten. Geben Sie diesen an. Geben Sie zudem folgende Mengen aus dieser Gesamtheit konkret an,
indem Sie ihre Elemente aufzählen.
1. M1 := {u : u hat eine kleinere Umlaufbahn als die Erde}
2. M2 := {v : v ist nach einem griechischen Gott benannt}
3. M3 := {w : w besitzt eigene Monde}
4. M4 := {x : der Name von x beginnt im Deutschen mit S}
[A2.] Zeichnen Sie den Graphen der Menge {{Uranus, {Neptun, Uranus}}, Neptun}.
[A3.] Betrachten Sie die folgende Menge.
{x : x besitzt keine eigenen Monde}
Vergleichen Sie diese mit M3 . Was fällt Ihnen auf?
[A4.] Sagen Sie für die folgenden vier Mengenpaare, ob die beiden Mengen gleich
oder verschieden sind (und warum).
1. {Mars, Venus} und {Venus, Mars}.
2. {Mars, Venus, Uranus} und {Venus, Mars}.
3. {Mars, Mars} und {{Venus}, Mars}.
4. {∅, Mars} und {Mars}.