.gitignore

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

protocol/woche2.md

@@ -2,23 +2,21 @@
 
 ## 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?
     - 2. Argument
     - 3. Vorrechnung? Beweis
         - gdw. Teil
         - 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 ##