2020-12-16 13:14:19 +01:00
|
|
|
|
# Woche 3 (KW 46, 9.–15. November) #
|
2020-11-20 19:54:18 +01:00
|
|
|
|
|
|
|
|
|
|
### 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
|
