Vorlesung Logik I (WS 2021/22)
Organisatorisches
- Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
- Vorlesungstermin:
- Freitag 14:00-16:00 in H-C 7326
- Übungstermin:
- Mittwoch 12:00-14:00 in H-C 7326
- Mittwoch 14:00-16:00 in H-C 7326
Einige Themen
- Aussagenlogik
-
- Äquivalenz und Normalformen
- Hornformeln
- Endlichkeitssatz
- Resolution
- Prädikatenlogik
-
- Pränexnormalform
- Herbrand-Theorie
- Resolution
Folien (vom WiSe 2020/2021)
Videos
Übungsblätter
Am 2.2.22 findet in beiden Übungen eine Fragestunde statt!
Lehrbücher
- Uwe Schöning: Logik für Informatiker, Spektrum Akademischer Verlag
Impressum