Vorlesung Logik (SS 2014)

Aktuelles

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7109, Tel. 0271-740-2826)
• Vorlesungstermine:
  • Dienstag, 10:00-12:00 im H-F 116
  • Donnerstag, 10:00-12:00 im H-F 114
• Übungstermin:
  • Montag, 12:00-14:00 im H-F 115 (von Moses Ganardi)

Einige Themen

• Aussagenlogik
• • Äquivalenz und Normalformen
  • Hornformeln
  • Endlichkeitssatz
  • Resolution
• Prädikatenlogik
• • Pränexnormalform
  • Unentscheidbarkeit
  • Herbrand-Theorie
  • Resolution
  • Gödelscher Unvollständigkeitssatz
  • Entscheidbare Theorien

Folien (Version vom 15.07.2014)

Ü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