From fadaeed15de765bfb47592cf5b239f956b160d11 Mon Sep 17 00:00:00 2001 From: raj_mathe Date: Wed, 20 Oct 2021 17:10:11 +0200 Subject: [PATCH] master > master: protokoll vorbereitet - woche 2 --- protocol/woche2.md | 25 +++++++++++++++++++++---- 1 file changed, 21 insertions(+), 4 deletions(-) diff --git a/protocol/woche2.md b/protocol/woche2.md index 6403250..d6a6b33 100644 --- a/protocol/woche2.md +++ b/protocol/woche2.md @@ -2,13 +2,30 @@ ## Agenda ## -- [ ] -- [ ] +- [ ] Orga + - Notenvergabe (4 x 4 pro Blatt) + - Korrekturdauer + - Vorrechnung - Freiwillige oder nach System? +- [ ] 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 ## Nächste Woche ## -- +- Besprechung von ÜB1 inkl. Vorrechnen +- Stoff aus Kapitel 2 ### TODOs (Studierende) ### -- +- Stoff aus Kapitel 1 erlernen +- Stoff aus Kapitel 2 durchlesen +- am ÜB1 weiter arbeiten +- Vorrechnen vorbereiten