Skip to the navigation.Skip to the content.Vorlesung Logik I (WS 2015/16)
Aktuelles
- Die Einsicht zur Klausur findet am Dienstag, den 01. März, um 10-11 Uhr
im Raum H-A 8107 statt.
- Die Noten sind nun im LSF einsehbar. Ein Termin zur Einsicht
wird demnächst bekanntgegeben.
Organisatorisches
- Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A
7109, Tel. 0271-740-2826)
-
Vorlesungstermin:
- Dienstag, 14:00-16:00 im H-C 6321
-
Übungstermin:
- Montag, 16:00-18:00 im H-F 001 (von Danny
Hucke)
- Donnerstag, 14:00-16:00 im H-C 6321 (von
Moses Ganardi)
Einige Themen
- Aussagenlogik
-
- Äquivalenz und Normalformen
- Hornformeln
- Endlichkeitssatz
- Resolution
- Prädikatenlogik
-
- Pränexnormalform
- Herbrand-Theorie
- Resolution
Folien (Version 14.10.2015)
Übungsblätter
Lehrbücher
- Uwe Schöning: Logik für Informatiker,
Spektrum Akademischer Verlag
Impressum