Vorlesung Logik I (WS 2022/23)
Organisatorisches
- Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
-
Vorlesungstermin:
- Freitag 14:00-16:00 in H-C 6321
-
Übungstermin:
- Mittwoch 12:00-14:00 in H-C 7326
- Mittwoch 14:00-16:00 in H-C 7326
- Übungsleiter: Louisa Seelbach und Michael Figelius (Raum H-A 7104)
Einige Themen
- Aussagenlogik
-
- Äquivalenz und Normalformen
- Hornformeln
- Endlichkeitssatz
- Resolution
- Prädikatenlogik
-
- Pränexnormalform
- Herbrand-Theorie
- Resolution
Folien
Übungsblätter
- Blatt 1 (Lösung)
- Blatt 2 (Lösung)
- Blatt 3 (Lösung)
- Blatt 4 (Lösung)
- Blatt 5 (Lösung)
- Blatt 6 (Lösung)
- Blatt 7 (Lösung)
- Blatt 8 (Lösung)
- Blatt 9 (Lösung)
- Blatt 10 (Lösung)
- Blatt 11 (Lösung)
- Blatt 12 (Lösung)
- Blatt 13 (Lösung)
Klausuren
Logik I
Lehrbücher
- Uwe Schöning: Logik für Informatiker, Spektrum Akademischer Verlag
Impressum