# Vorlesungswoche 6 (31. Mai – 6. Juni) #

## Agenda ##

- [ ] 2–5 min Organisatorisches
    - Feedback zu HA 1
    - Symbolverzeichnis findet man in [notes/glossar.md](./../notes/glossar.md).
- [ ] 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.
