Vorlesung Logik II (SS 2019)

Organisation

• Veranstalter: Prof. Dr. Markus Lohrey
• Vorlesungstermin:
  • Montag, 14:00-16:00, in H-F 104/05
• Übungstermine:
  • Freitag, 14:00-16:00, in H-F 001 (Carl Philipp Reh)

---

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

---

Folien (Version vom 3.6.2019)

---

Übungsblätter

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7
• Blatt 8
• Blatt 9
• Blatt 10
• Blatt 11
• Blatt 12

---

Lehrbücher

• Uwe Schöning: Logik für Informatiker, Spektrum Akademischer Verlag

Impressum