master > master: umstrukturierung

protocol/woche3/README.md

@@ -0,0 +1,53 @@
+## Woche 3 (KW 46, 9.–15. November) ##
+
+### Agenda ###
+
+- allgemeine Ankündigungen
+    - ÜB Abgaben: einscannen -> in DIN A4 o. Ä. konvertieren
+    - Git Repo
+    - Bitte um Fragen zur VL im Chat zu posten (für später)
+- Präsentation von **SKA 2** von den Gruppen:
+    - **Gruppe 1** | Aufgabe 1
+    - **Gruppe 2** | Aufgabe 2
+    - **Gruppe 3** | Aufgabe 3
+    - **Gruppe 4** | Aufgabe 6
+    - **Gruppe 5** | Aufgabe 11
+    - **Gruppe 6** | Aufgabe 5
+    - **Gruppe 7** | Aufgabe 4
+- Besprechung von ÜB aus vorheriger Woche
+    - A1:
+        - Missverständnisse über freie Variablen
+        - Fallunterscheidung α≠4; (α=4 und β=8); (α=4 und β≠8).
+    - A2:
+        - Beweisführung: **Zu zeigen:** _L₁ = L₂_. Teil 1: (⊆) ... Teil 2: (⊇).
+        - Mechanismus für die Rechtfertigung Rückrichtung fehlte.
+    - A3:
+        - Logische Umformungen:
+            - **Statement**:
+                [Es gibt (eine Auswahl von) _n+1_ Gleichungen], die ein _unlösbares_ LGS bilden.
+                [Es gibt x], so dass x Eigenschaft Φ erfüllt
+            - ⟶ **falsche Verneinung**:
+                ~~[Es gibt (eine Auswahl von) _n+1_ Gleichungen], die ein _lösbares_ LGS bilden.~~
+            - ⟶ **richtige Verneinung**:
+                [Für jede Auswahl von _n+1_ Gleichungen], ist das durch sie definierte LGS _lösbar_.
+                [Für alle x], x erfüllt Eigenschaft Φ nicht
+
+        - »Nach Definition ist ein Gleichungssystem unlösbar, wenn eine Gleichung unlösbar ist.«
+        ```
+                                        A                 <====      B
+        ```
+        - **Anmerkung** Hier schwankte es einige Male zwischen der Ungewissheit, ob sie
+            - hier nur die Implikation verwenden wollten, (Gleichung unlösbar ⟹ System unlösbar)
+            - die Definition im Sinne dieses „genau, dann wenn“ Zusammenhangs verstanden hatten.
+
+    Für volle Lösungen siehe Datei [/docs/loesungen.pdf](../../docs/loesungen.pdf).
+
+- Besprechung von Materialien / VL
+    - Geogebra
+    - Verständnis durch Anschauung vs. formales Vorgehen
+    - Beweisführung: wie man formale Aussagen formal aufdrosselt und „Ziele“ setzt („zu zeigen ist...“)
+    - konkrete Fragen von Studierenden behandeln
+- Quiz 10min (?)
+    - fällt evtl. aus
+- Breakout-Rooms für SKA (?)
+    - fällt evtl. aus