master > master: protokoll - woche3 (vorläufig)

This commit is contained in:
RD 2021-10-28 13:53:36 +02:00
parent 8e7c92fc79
commit 389689d28d
1 changed files with 33 additions and 4 deletions

View File

@ -2,13 +2,42 @@
## Agenda ##
- [ ]
- [ ]
- [ ] Orga
- [ ] Notenvergabe (4 x 4 pro Blatt)
- [ ] ÜB0 zurückgeben
- [ ] Besprechung von Blatt 1
- [ ] 1. Vorrechnen?
- [ ] 2. Vorrechnen?
- [ ] 3. Vorrechnen?
- [ ] 4. Vorrechnen?
- [ ] Z1. Vorrechnen?
- [ ] Übungsblatt 2
- [ ] A1. Was ist zu zeigen? (Aufstellung der Behauptung.)
- [ ] A2. Was ist zu zeigen?
- a) Induktionsbehauptung als Lemma.
- b) totale Ordnungsrelation:
- Reflexivität
- Transitivität
- Antismymetrie
- \* total
Was davon ist trivial? Was davon geht auf Ergebnisse in VL zurück? Was davon braucht (a)?
- [ ] A3. Was ist zu zeigen?
- Welcher Teil ist trivial?
- Welcher Teil ist nicht trivial?
- Auf was kann man das Problem reduzieren? (Kann man hier Informationen aus anderen Aufgaben einsetzen?)
- Welche Mittel kann mein einsetzen, um dies zu zeigen? (Wie stellt man hier eine passende Behauptung auf?)
- [ ] A4. Induktion ab n = 0!
## Nächste Woche ##
-
- Besprechung von ÜB2 inkl. Vorrechnen
- ggf. Stoff aus Kapitel 2 (Körper)
### TODOs (Studierende) ###
-
- Stoff aus Kapitel 12 verinnerlichen
- am ÜB2 weiter arbeiten
- an das Vorrechnen für ÜB2 denken