logik2021/protocol/woche5.md

22 lines
516 B
Markdown
Raw Normal View History

2021-05-12 10:59:59 +02:00
# Vorlesungswoche 5 (10.16. Mai) #
## Agenda ##
2021-05-12 14:04:39 +02:00
- [x] 25 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
2021-05-12 10:59:59 +02:00
- DNF nur kurz
- KNF
2021-05-12 14:04:39 +02:00
- [x] 5 min SA 2.3 Erkennung von Hornfml
- [x] 10 min SA 2.4 Markierungsalg
- [x] 10 min SA 2.5 Strukturelle Ind
2021-05-12 10:59:59 +02:00
## Nächste Woche ##
- Besprechung HA ÜB 1
### TODOs (Studierende) ###
- Folien zu Wochen 35 weiterlesen
- weiter am ÜB 2 arbeiten