master > master: protokoll - woche2

This commit is contained in:
RD 2021-10-21 17:10:08 +02:00
parent fadaeed15d
commit e9f6411b20

View File

@ -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 ##