diff --git a/protocol/woche5.md b/protocol/woche5.md index a9a4d88..c99a876 100644 --- a/protocol/woche5.md +++ b/protocol/woche5.md @@ -1,15 +1,15 @@ # 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 +- [x] 2–5 min Organisatorisches (max. 5 min) +- [x] Serie 2, Seminaraufgaben + - [x] 7,5 min SA 2.1 Modelle + - [x] 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 + - [x] 5 min SA 2.3 Erkennung von Hornfml + - [x] 10 min SA 2.4 Markierungsalg + - [x] 10 min SA 2.5 Strukturelle Ind ## Nächste Woche ##