master > master: protokoll - woche3

This commit is contained in:
RD 2021-10-29 08:30:44 +02:00
parent 50ff51aa3f
commit 873e12be1f

View File

@ -2,21 +2,21 @@
## Agenda ## ## Agenda ##
- [ ] Orga - [x] Orga
- [ ] Notenvergabe (4 x 4 pro Blatt) - [x] Notenvergabe (4 x 4 pro Blatt)
- [ ] ÜB0 zurückgeben - [x] ÜB0 zurückgeben
<!-- ggf überspringen? --> <!-- ggf überspringen? -->
- [ ] Besprechung von Blatt 1 - [x] Besprechung von Blatt 1
- [ ] 1. Vorrechnen? - [x] 1. Vorrechnen?
- [ ] 2. Vorrechnen? - [x] 2. Vorrechnen?
- [ ] 3. Vorrechnen? - [x] 3. Vorrechnen?
- [ ] 4. Vorrechnen? - [ ] 4. Vorrechnen? --> siehe [notes/woche3.pdf](../notes/woche3.pdf)
- [ ] Z1. Vorrechnen? - [x] Z1. Vorrechnen?
- [ ] Übungsblatt 2 - [x] Übungsblatt 2 diskutieren/Hinweise
- [ ] A1. Was ist zu zeigen? (Aufstellung der Behauptung.) - [x] A1. Was ist zu zeigen? (Aufstellung der Behauptung.)
- [ ] A2. Was ist zu zeigen? - [x] A2. Was ist zu zeigen?
- a) Induktionsbehauptung als Lemma. - a) Induktionsbehauptung als Lemma.
- b) (totale?) Ordnungsrelation: - b) (totale?) Ordnungsrelation:
- Reflexivität - Reflexivität
@ -26,13 +26,13 @@
Was davon ist trivial? Was davon geht auf Ergebnisse in VL zurück? Was davon braucht (a)? Was davon ist trivial? Was davon geht auf Ergebnisse in VL zurück? Was davon braucht (a)?
- [ ] A3. Was ist zu zeigen? - [x] A3. Was ist zu zeigen?
- Welcher Teil ist trivial? - Welcher Teil ist trivial?
- Welcher Teil ist nicht trivial? - Welcher Teil ist nicht trivial?
- Auf was kann man das Problem reduzieren? (Kann man hier Informationen aus anderen Aufgaben einsetzen?) - 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?) - Welche Mittel kann mein einsetzen, um dies zu zeigen? (Wie stellt man hier eine passende Behauptung auf?)
- [ ] A4. Induktion ab n = 0! - [x] A4. Induktion ab n = 0!
## Nächste Woche ## ## Nächste Woche ##