logik2021/protocol/woche12.md

Vorlesungswoche 12 (28. Juni – 4. Juli)

Agenda

• 2–5 min Organisatorisches
• Serie 5, Seminaraufgaben besprechen
  • SemA 5.1
  • SemA 5.2
  • SemA 5.3
• restliche Zeit für allg. Fragen

Nächste Woche

• HA aus Blatt 4.

TODOs (Studierende)

• am ÜB 5 weiter arbeiten.