Skip to the navigation.Skip to the content. Vorlesung Logik II (SS 2018)
Organisation
- Veranstalter: Prof.
Dr. Markus Lohrey
-
Vorlesungstermin:
- Montag, 10:00-12:00, in H-F 114
-
Übungstermine:
(*) Die Übung findet zweiwöchentlich bzw. an
folgenden Tagen statt:
- 02.05.2018 (Ausweichtermin für den ersten Mai).
Raum: H-A 7101
- 15.05.2018
-
29.05.2018
-
12.06.2018
05.06.2018
-
26.06.2018 Mittwoch,
20.06.2018, 14:00-16:00, H-A 7101
-
10.07.2018
03.07.2018
Mittwoch, 18.07.2018, 14:00-16:00, H-A 7101
Einige Themen
- Unentscheidbarkeit in der Prädikatenlogik
- Die Sätze von Church und Trakhtenbrot
- Unentscheidbarkeit in Arithmetik und der Satz von
Gödel
- Automatische Strukturen
- Quantorenelimination
- Monadische Logik 2. Stufe und reguläre Sprachen
Übungsblätter
Lehrbücher
- Uwe Schöning: Logik für Informatiker,
Spektrum Akademischer Verlag
Impressum