raj_mathe/logik2021
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

master > master: Protokoll Woche 5

Browse Source
This commit is contained in:
RD 2021-05-12 14:04:39 +02:00
parent 34422b420b
commit 1bce3a20af
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
protocol/woche5.md
View File

@ -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 ##