# Vorlesungswoche 5 (10.–16. Mai) #

## Agenda ##
- [ ] 2–5 min Organisatorisches (max. 5 min)
- [ ] Serie 2, Seminaraufgaben
    - [ ] 7,5 min SA 2.1 Modelle
    - [ ] 7,5 min SA 2.2 Wahrheitstafel ~> DNF/KNF
        - DNF nur kurz
        - KNF
    - [ ] 5 min SA 2.3 Erkennung von Hornfml
    - [ ] 10 min SA 2.4 Markierungsalg
    - [ ] 10 min SA 2.5 Strukturelle Ind

## Nächste Woche ##

- Besprechung HA ÜB 1

### TODOs (Studierende) ###

- Folien zu Wochen 3–5 weiterlesen
- weiter am ÜB 2 arbeiten