master > master: .gitignore

.gitignore

@@ -15,6 +15,7 @@
 !/notes
 !/notes/glossar.md
 !/notes/quellen.md
+!/notes/woche*.pdf
 
 !/protocol/README.md
 !/protocol/woche*.md

protocol/woche2.md

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