logik2021/protocol/woche8.md

509 B
Raw Blame History

Vorlesungswoche 6 (31. Mai 6. Juni)

Agenda

  • 25 min Organisatorisches
  • Serie 3, Seminaraufgaben besprechen
    • SemA 3.1
    • SemA 3.2
    • SemA 3.3
  • restliche Zeit für allg. Fragen
    • Fragen zu strukturelle Induktion

Nächste Woche

  • HA aus Blatt 2

TODOs (Studierende)

VL Wochen 5+6 weiter durchlesen.

  • am ÜB 3 weiter arbeiten.