protocol/README.md

@@ -13,7 +13,7 @@ Inhaltsverzeichnis
 - [Vorlesungswoche 9](./woche9.md) HA Blatt 2; [Zoom Aufzeichnung](https://t1p.de/8vmh).
 - [Vorlesungswoche 10](./woche10.md) Semaufg Blatt 4; [Zoom Aufzeichnung](https://t1p.de/fpv5).
 - [Vorlesungswoche 11](./woche11.md) HA Blatt 3; [Zoom Aufzeichnung](https://t1p.de/626y).
-- **[Vorlesungswoche 12](./woche12.md) Semaufg Blatt 5; [Zoom Aufzeichnung](https://t1p.de/n4bt). ⟵ _wir sind hier_**
+- **[Vorlesungswoche 12](./woche12.md) Semaufg Blatt 5; [Zoom Aufzeichnung]. ⟵ _wir sind hier_**
   - (Zusatz) Seminaraufgabe 5.5 [Zoom Aufzeichnung](https://t1p.de/bnlj).
 - [Vorlesungswoche 13](./woche13.md) HA Blatt 4; [Zoom Aufzeichnung].
 - [Vorlesungswoche 14](./woche14.md) Semaufg Blatt 6; [Zoom Aufzeichnung].
@@ -24,5 +24,3 @@ Inhaltsverzeichnis
 - Für den BBB-Raum bzw. die Zoom-Aufzeichnungen braucht man einen **Code** (siehe Moodle).
 - Klausurdatum wird noch angekündigt.
   Je nachdem können wir ggf. 1–2 Stunden für Vorklausurfragen organisieren.
-https://uni-leipzig.zoom.us/rec/share/7rQogqGDw6p2rPbxVVnDFELFqpdgd6_Q_Ib-wHM58ILK_-2bdibnHcgKAvK2mF0.JH9SC8AjHtDOgObe
-https://uni-leipzig.zoom.us/rec/share/RGocpBBHubHurcGt9psW-rt0WX63LPtA2JsNNZVPxh6R9jG9TiOK2hBOQza20f0.-H4NijdOk1FDK_Ca

protocol/woche12.md

@@ -2,32 +2,14 @@
 
 ## Agenda ##
 
-- [x] 2–5 min Organisatorisches
+- [ ] 2–5 min Organisatorisches
-- [x] Serie 5, Seminaraufgaben besprechen
+- [ ] Serie 5, Seminaraufgaben besprechen
-    - [x] SemA 5.1
+    - [ ] SemA 5.1
-    - [x] SemA 5.2
+    - [ ] SemA 5.2
-    - [x] SemA 5.3
+    - [ ] SemA 5.3
-    - [x] SemA 5.4
+    - [ ] SemA 5.4
     - ~~[ ] (Zusatz) SemA 5.5~~ ---> siehe Aufzeichnung
-- [x] restliche Zeit für allg. Fragen
+- [ ] restliche Zeit für allg. Fragen
-    - Alternativer Beweis von (d) durch Argument:
-        ```
-        »Sonst wären F und F^skol sem. äquivalent,
-        aber das ist nicht i. A. der Fall.«
-        ```
-        Da wir aber uns aber auf einer Instanz beschränken,
-        passt dieser Ansatz nicht.
-        Wir müssen im Einzelfall prüfen.
-        Vgl. Unterschied zw.
-        ```
-        1. Es ist nicht so, dass (F ≡ F^skol) für alle F
-        ```
-        und
-        ```
-        2. Für alle F, es ist nicht so dass (F ≡ F^skol).
-        ```
-        Wir haben nur 1 und damit kann es durchaus sein,
-        dass für einzelne Fälle F, F^skol schon sem. äqv. sind.
 
 ## Nächste Woche ##