Vorlesung Berechenbarkeit und Logik (WS 2023/24)
Organisatorisches
- Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
- Vorlesungstermin:
- Freitag 12:15-13:45 in H-C 8326
- Freitag 14:15-15:45 (alle gerade Wochen) in H-C 8326 (außer am 12.1.2024 und 26.01.2024 im H-C 3305)
- Übungstermin:
- Dienstag 08:15-09:45 in H-C 6336/37 (entfällt)
- Mittwoch 08:30-10:00 in H-C 3302 (Louisa Seelbach/Rahul Jain)
- Mittwoch 10:15-11:45 in H-B 6414 (Michael Figelius, entfällt ab Januar)
- Donnerstag 12:15-13:45 in H-C 7326 (Michael Figelius)
- Organisation der Übungen: Michael Figelius (Raum H-A 7104)
Einige Themen
- Berechenbarkeit
-
- Berechnungsmodelle
- berechenbare Funktionen
- Churche These
- Entscheidbarkeit und Unentscheibarkeit
- Halteproblem
- Satz von Rice
- Komplexitätstheorie
- Aussagenlogik
-
- Äquivalenz und Normalformen
- Hornformeln
- Endlichkeitssatz
- Resolution
- Prädikatenlogik
-
- Pränexnormalform
- Herbrand-Theorie
- Resolution
Folien
Übungsblätter Berechenbarkeit
- Übungsblatt 1 (Lösungen)
- Übungsblatt 2 (Lösungen)
- Übungsblatt 3 (Lösungen)
- Übungsblatt 4 (Lösungen)
- Übungsblatt 5 (Lösungen)
- Übungsblatt 6 (Lösungen)
- Übungsblatt 7 (Lösungen)
- Übungsblatt 8 (Lösungen)
Übungsblätter Logik
Klausuren
Logik I
- Klausur SoSe 22 (Lösung)
- Klausur SoSe 21 (Lösung)
- Klausur WiSe 20/21 (Lösung)
- Klausur SoSe 20 (Lösung)
Berechenbarkeit und Logik
- Klausur WiSe 22/23 (Lösung)
- Klausur SoSe 24 (Lösung)
- Weitere Klausuraufgaben zur Berechenbarkeit finden sich hier (2. Teil der GTI-Klausuraufgaben)
Lehrbücher
- Uwe Schöning, Theoretische Informatik - kurz gefasst, Spektrum Akademischer Verlag
- Lutz Priese, Katrin Erk, Theoretische Informatik: Eine umfassende Einführung, Springer
- Alexander Asteroth, Christel Baier, Theoretische Informatik, Pearson Studium
- Uwe Schöning: Logik für Informatiker, Spektrum Akademischer Verlag
Impressum