Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die Kommutativität einer Verknüpfung

   ${\displaystyle \circ \colon M\times M\longrightarrow M.}$

2. Geordnete Menge/Kleinstes Element/Atom/Definition/Begriff
3. Ein Ideal ${\displaystyle {}{\mathfrak {a}}\subseteq R}$ in einem kommutativen Ring ${\displaystyle {}R}$.
4. Ungerichteter Graph/Isomorph/Definition/Begriff
5. Ungerichteter Graph/Äquivalenzrelation/Quotientengraph/Definition/Begriff
6. Ungerichter Graph/Maximale Paarung/Definition/Begriff

Formuliere die folgenden Sätze.

1. Der Satz über die atomare Darstellung in einem booleschen Verband.
2. Der Satz über die Anzahl der surjektiven Abbildungen mit Binomialkoeffizienten.
3. Der Satz über die Potenzen der Adjazenzmatrix.

Die Absetzmulde ist voll mit Schutt und soll durch eine leere Mulde ersetzt werden, die das Absetzkipperfahrzeug bringt, das auch die volle Mulde mitnehmen soll. Auf dem Fahrzeug und auf dem Garagenvorplatz, wo die volle Mulde steht, ist nur Platz für eine Mulde. Dafür kann die Straße als Zwischenablage genutzt werden. Wie viele Ladevorgänge sind vor Ort nötig, bis der Gesamtaustausch vollständig abgeschlossen ist?

Es sei ${\displaystyle {}M}$ eine ${\displaystyle {}n}$-elementige Menge. Zeige durch Induktion über ${\displaystyle {}k}$, dass die Anzahl der ${\displaystyle {}k}$-elementigen Teilmengen von ${\displaystyle {}M}$ gleich dem Binomialkoeffizienten

${\displaystyle {\binom {n}{k}}}$

ist.

Es sei ${\displaystyle {}M}$ eine beliebige Menge. Zeige, dass es keine surjektive Abbildung von ${\displaystyle {}M}$ in die Potenzmenge ${\displaystyle {}{\mathfrak {P}}\,(M)}$ geben kann.

Beweise das allgemeine Distributivgesetz für einen kommutativen Halbring.

Zeige, dass es zu ganzen Zahlen ${\displaystyle {}d,n}$ mit ${\displaystyle {}d>0}$ eindeutig bestimmte ganze Zahlen ${\displaystyle {}k,s}$ mit

${\displaystyle {}n=kd+s\,}$

und mit

${\displaystyle {}-{\frac {d}{2}}<s\leq {\frac {d}{2}}\,}$

gibt.

Zeige, dass die Relation auf ${\displaystyle {}\mathbb {N} \times \mathbb {N} }$, die durch

${\displaystyle (a,b)\sim (c,d),{\text{ falls }}a+d=b+c,}$

festgelegt ist, eine Äquivalenzrelation ist.

Beweise den Charakterisierungssatz für eulersche Graphen.