linalg2020/protocol/woche3
2020-12-16 13:14:19 +01:00
..
README.md master > master: README 2020-12-16 13:14:19 +01:00

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.

  • 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