master > master: protokoll vorbereitet - woche 2

This commit is contained in:
RD 2021-10-20 17:10:11 +02:00
parent 355ec43e68
commit fadaeed15d
1 changed files with 21 additions and 4 deletions

View File

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