2021-10-12 20:41:20 +02:00
|
|
|
|
# Vorlesungswoche 2 (18.–24. Oktober 2021) #
|
|
|
|
|
|
|
|
|
|
|
|
## Agenda ##
|
|
|
|
|
|
|
2021-10-21 17:10:08 +02:00
|
|
|
|
- [x] Orga
|
|
|
|
|
|
- [ ] Notenvergabe (4 x 4 pro Blatt)
|
|
|
|
|
|
- [x] Korrekturdauer
|
|
|
|
|
|
- [x] Vorrechnung - Freiwillige oder nach System?
|
|
|
|
|
|
- [x] Besprechung von Blatt 0
|
2021-10-20 17:10:11 +02:00
|
|
|
|
- 1. Vorrechnungen?
|
|
|
|
|
|
- 2. Argument
|
|
|
|
|
|
- 3. Vorrechnung? Beweis
|
|
|
|
|
|
- gdw. Teil
|
|
|
|
|
|
- Eindeutigkeit
|
2021-10-21 17:10:08 +02:00
|
|
|
|
- [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
|
2021-10-12 20:41:20 +02:00
|
|
|
|
|
|
|
|
|
|
## Nächste Woche ##
|
|
|
|
|
|
|
2021-10-20 17:10:11 +02:00
|
|
|
|
- Besprechung von ÜB1 inkl. Vorrechnen
|
|
|
|
|
|
- Stoff aus Kapitel 2
|
2021-10-12 20:41:20 +02:00
|
|
|
|
|
|
|
|
|
|
### TODOs (Studierende) ###
|
|
|
|
|
|
|
2021-10-20 17:10:11 +02:00
|
|
|
|
- Stoff aus Kapitel 1 erlernen
|
|
|
|
|
|
- Stoff aus Kapitel 2 durchlesen
|
|
|
|
|
|
- am ÜB1 weiter arbeiten
|
|
|
|
|
|
- Vorrechnen vorbereiten
|
