master > master: aufzeichnungslink

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]. ⟵ _wir sind hier_**
+- **[Vorlesungswoche 12](./woche12.md) Semaufg Blatt 5; [Zoom Aufzeichnung](https://t1p.de/n4bt). ⟵ _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,3 +24,5 @@ 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,14 +2,32 @@
 
 ## Agenda ##
 
-- [ ] 2–5 min Organisatorisches
-- [ ] Serie 5, Seminaraufgaben besprechen
-    - [ ] SemA 5.1
-    - [ ] SemA 5.2
-    - [ ] SemA 5.3
-    - [ ] SemA 5.4
+- [x] 2–5 min Organisatorisches
+- [x] Serie 5, Seminaraufgaben besprechen
+    - [x] SemA 5.1
+    - [x] SemA 5.2
+    - [x] SemA 5.3
+    - [x] SemA 5.4
     - ~~[ ] (Zusatz) SemA 5.5~~ ---> siehe Aufzeichnung
-- [ ] restliche Zeit für allg. Fragen
+- [x] 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 ##