535 B

Raw Blame History

Vorlesungswoche 1 (11.–17. Oktober 2021)

Diese Woche wird Übungsblatt 0 veröffentlicht.

Agenda

Organisatorisches
Eisbrecher
Aufgaben:
- Aussagenlogik
- Quantifizierte Aussagen
- Quantifizierte Aussagen über Relationen
- Relation als Graph einer Funktion
- Beweise: R sei eine reflexive Relation über einer Grundmenge ⟹ ∀x∈X: ∃y∈X: R(x,y)

Nächste Woche

Besprechung vom Blatt 0.

TODOs (Studierende)

am ÜB 0 weiter arbeiten.