Compare commits
No commits in common. "8e7c92fc792081227191aff0b8974c37b9666228" and "fadaeed15de765bfb47592cf5b239f956b160d11" have entirely different histories.
8e7c92fc79
...
fadaeed15d
1
.gitignore
vendored
1
.gitignore
vendored
@ -15,7 +15,6 @@
|
|||||||
!/notes
|
!/notes
|
||||||
!/notes/glossar.md
|
!/notes/glossar.md
|
||||||
!/notes/quellen.md
|
!/notes/quellen.md
|
||||||
!/notes/woche*.pdf
|
|
||||||
|
|
||||||
!/protocol/README.md
|
!/protocol/README.md
|
||||||
!/protocol/woche*.md
|
!/protocol/woche*.md
|
||||||
|
BIN
notes/woche1.pdf
BIN
notes/woche1.pdf
Binary file not shown.
@ -2,23 +2,21 @@
|
|||||||
|
|
||||||
## Agenda ##
|
## Agenda ##
|
||||||
|
|
||||||
- [x] Orga
|
- [ ] Orga
|
||||||
- [ ] Notenvergabe (4 x 4 pro Blatt)
|
- Notenvergabe (4 x 4 pro Blatt)
|
||||||
- [x] Korrekturdauer
|
- Korrekturdauer
|
||||||
- [x] Vorrechnung - Freiwillige oder nach System?
|
- Vorrechnung - Freiwillige oder nach System?
|
||||||
- [x] Besprechung von Blatt 0
|
- [ ] Besprechung von Blatt 0
|
||||||
- 1. Vorrechnungen?
|
- 1. Vorrechnungen?
|
||||||
- 2. Argument
|
- 2. Argument
|
||||||
- 3. Vorrechnung? Beweis
|
- 3. Vorrechnung? Beweis
|
||||||
- gdw. Teil
|
- gdw. Teil
|
||||||
- Eindeutigkeit
|
- Eindeutigkeit
|
||||||
- [x] Bisherige Themen aus VL
|
- [ ] Bisherige Themen aus VL
|
||||||
- [ ] Ordnungsrelationen (auch Halbordnung genannt) vs. LO
|
- Ordnungsrelationen (auch Halbordnung genannt) vs. LO
|
||||||
- [ ] »die« Struktur (N,v) mit (N,v) |= PA
|
- »die« Struktur (N,v) mit (N,v) |= PA
|
||||||
- [x] vollst. Ind (vs. schwache Induktion)
|
- vollst. Ind (vs. schwache Induktion)
|
||||||
- [ ] Rekursion
|
- Rekursion
|
||||||
- [x] Mengenkomplemente
|
|
||||||
- [x] A2(b): wieder eine endliche Menge
|
|
||||||
|
|
||||||
## Nächste Woche ##
|
## Nächste Woche ##
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user