diff --git a/protocol/woche2.md b/protocol/woche2.md index d6a6b33..cc58578 100644 --- a/protocol/woche2.md +++ b/protocol/woche2.md @@ -2,21 +2,23 @@ ## Agenda ## -- [ ] Orga - - Notenvergabe (4 x 4 pro Blatt) - - Korrekturdauer - - Vorrechnung - Freiwillige oder nach System? -- [ ] Besprechung von Blatt 0 +- [x] Orga + - [ ] Notenvergabe (4 x 4 pro Blatt) + - [x] Korrekturdauer + - [x] Vorrechnung - Freiwillige oder nach System? +- [x] Besprechung von Blatt 0 - 1. Vorrechnungen? - 2. Argument - 3. Vorrechnung? Beweis - gdw. Teil - Eindeutigkeit -- [ ] Bisherige Themen aus VL - - Ordnungsrelationen (auch Halbordnung genannt) vs. LO - - »die« Struktur (N,v) mit (N,v) |= PA - - vollst. Ind (vs. schwache Induktion) - - Rekursion +- [x] Bisherige Themen aus VL + - [ ] Ordnungsrelationen (auch Halbordnung genannt) vs. LO + - [ ] »die« Struktur (N,v) mit (N,v) |= PA + - [x] vollst. Ind (vs. schwache Induktion) + - [ ] Rekursion + - [x] Mengenkomplemente + - [x] A2(b): wieder eine endliche Menge ## Nächste Woche ##