From e9f6411b20eab473e1962e511ac487e808fc6646 Mon Sep 17 00:00:00 2001 From: raj_mathe Date: Thu, 21 Oct 2021 17:10:08 +0200 Subject: [PATCH] master > master: protokoll - woche2 --- protocol/woche2.md | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) 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 ##