Vorlesung Logik I (SS 2018)
Aktuelles
Klausureinsicht der Nachschreibklausur: Donnerstag, 21.03.2019, 15:00 in H-A 7101
Klausureinsicht: Donnerstag, 13.09.2018, 14:00-16:00 im H-C 6321
Organisatorisches
- Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
-
Vorlesungstermin:
- Montag, 12:00-14:00 im H-F 114
-
Übungstermine:
- Dienstag (*), 12:00-14:00 im H-F 001 (Carl Philipp Reh)
- 24.04.2018
- 08.05.2018
-
22.05.201829.05.2018 -
05.06.201812.06.2018 -
19.06.201826.06.2018 -
03.07.201810.07.2018 - 17.07.2018
- 24.07.2018 (Zusatztermin)
Es darf ein (beidseitig) handschriftlich beschriebenes DIN-A4-Blatt mit in die Klausur genommen werden.
Einige Themen
- Aussagenlogik
-
- Äquivalenz und Normalformen
- Hornformeln
- Endlichkeitssatz
- Resolution
- Prädikatenlogik
-
- Pränexnormalform
- Herbrand-Theorie
- Resolution
Folien (Version 21.12.2017)
Übungsblätter
Lehrbücher
- Uwe Schöning: Logik für Informatiker, Spektrum Akademischer Verlag