diff --git a/protocol/woche1.md b/protocol/woche1.md index 9c65b49..e3405a6 100644 --- a/protocol/woche1.md +++ b/protocol/woche1.md @@ -1,14 +1,22 @@ # Vorlesungswoche 1 (11.–17. Oktober 2021) # +Diese Woche wird Übungsblatt 0 veröffentlicht. + ## Agenda ## -- [ ] -- [ ] +- [x] Organisatorisches +- [x] Eisbrecher +- [x] Aufgaben: + - [x] Aussagenlogik + - [x] Quantifizierte Aussagen + - [x] 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.