logik2021/protocol/woche10.md

Vorlesungswoche 10 (14.–20. Juni)

Handnotizen findet man unter notes/woche10.pdf.

Agenda

• 2–5 min Organisatorisches
• Serie 4, Seminaraufgaben besprechen
  • SemA 4.1
  • SemA 4.2
  • SemA 4.3
  • SemA 4.4
  • SemA 4.5
  • Anmerkungen zu HA
• restliche Zeit für allg. Fragen

Nächste Woche

• HA aus Blatt 3.

TODOs (Studierende)

• am ÜB 4 weiter arbeiten.