Vorlesung Logik II (SS 2018)

Organisation

• Veranstalter: Prof. Dr. Markus Lohrey
• Vorlesungstermin:
  • Montag, 10:00-12:00, in H-F 114
• Übungstermine:
  • Dienstag (*), 12:00-14:00, in H-F 001 (Carl Philipp Reh)
  (*) 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

---

Folien (Version vom 9.7.2017)

---

Übungsblätter

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5

---

Lehrbücher

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

Impressum