Vorlesung Logik II (SS 2016)
Aktuelles
Die Übung am 28.06 fällt wie angekündigt aus.
Organisatorisches
- Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
- Vorlesungstermin:
- Montag, 10:00-12:00 im H-F 114
- Übungstermin:
- Dienstag, 12:00-14:00 im H-F 001 (von Danny Hucke)
Einige Themen
- Unentscheidbarkeit in der Aussagenlogik
- Die Sätze von Church und Trakhtenbrot
- Unentscheidbarkeit in Arithmetik und der Satz von Gödel
- Automatische Strukturen
- Quantorenelimination
- Ehrenfeucht-Fraisse-Spiele und die Ausdrucksstärke der Prädikatenlogik
Folien (Version vom 16.07.2016)
Übungsblätter
Lehrbücher
- Uwe Schöning: Logik für Informatiker, Spektrum Akademischer Verlag