Vorlesung Logik II / Lecture Logic II (SS 2017)
Die Übung am Dienstag, den 27.06 fällt aus!
Organisation / Organization
- Veranstalter / Lecturer: Prof. Dr. Markus Lohrey
- Vorlesungstermin / Lecture date:
- Montag (Monday), 10:00-12:00, in H-F 114 Hörsaal (lecture hall)
- Übungstermin / Exercise date:
- Dienstag (Tuesday), 12:00-14:00, in H-F 001 (Danny Hucke)
Einige Themen / Some Topics
- Unentscheidbarkeit in der Prädikatenlogik / Undecidability of predicate logic
- Die Sätze von Church und Trakhtenbrot / Theorems of Church and Trakhtenbrot
- Unentscheidbarkeit in Arithmetik und der Satz von Gödel / Undecidability of arithmetic and Gödels theorem
- Automatische Strukturen / Automatic structures
- Quantorenelimination / Quantifier-Elimination
- Monadische Logik 2. Stufe und reguläre Sprachen / Monadic second order logic and regular languages
Slides in English (Version: 15.5.2017)
Folien in Deutsch (Version vom 9.7.2017)
Übungsblätter / Exercises
- Übungsblatt 1 (english version)
- Übungsblatt 2 (english version)
- Übungsblatt 3 (english version)
- Übungsblatt 4
- Übungsblatt 5
- Übungsblatt 6
- Übungsblatt 7
- Übungsblatt 8
- Übungsblatt 9
- Übungsblatt 10
Lehrbücher / Textbooks
- Uwe Schöning: Logik für Informatiker (Logic for Computer Scientists), Spektrum Akademischer Verlag