54 lines
2.3 KiB
Markdown
54 lines
2.3 KiB
Markdown
# 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
|