Ausgefüllte Übungsklausuren bzw. Lösungen Serie 9 SoSe 2020

Laden Sie hier oder auf StudIP Ihre bearbeiteten Übungsklausuren hoch.

Bemerkungen zu eingereichten Lösungen

Definitionen

Aufgabe 9.1 a)

Definieren Sie den Begriff Viereck. (n-Eck sei noch nicht definiert.)

Definition 1

$\text{Viereck} := \operatorname{nkoll}(A,B,C,D) \land \operatorname{komp}(A,B,C,D) \land \overline{AB} \cup \overline{BC} \cup \overline{CD} \cup \overline{DA}$

oder
$\text{V} : \operatorname{nkoll}(A,B,C,D) \land \land \overline{AB} \cup \overline{BC} \cup \overline{CD} \cup \overline{DA}$