Vorlesung Logik I (WS 2017/18)

Aktuelles 

•  Die Übungen am 01.02 (Beginn: 9.00 Uhr) und 02.02 werden als Fragestunden rund um Vorlesungs- und Prüfungsinhalte genutzt.
•  Die Übung am Donnerstag, den 30.11, entfällt wegen Krankheit.
•  Die Übung am Freitag, den 03.11, entfällt wegen Krankheit.

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
• Vorlesungstermin:
  • Dienstag, 14:00-16:00 im H-A 6118/19
• Übungstermin:
  • Donnerstag, 8:00-10:00 im H-C 6336/37 (von Danny Hucke)
  • Freitag, 12:00-14:00 im H-C 6336/37 (von Philipp Reh)

---

Einige Themen

• Aussagenlogik
• • Äquivalenz und Normalformen
  • Hornformeln
  • Endlichkeitssatz
  • Resolution
• Prädikatenlogik
• • Pränexnormalform
  • Herbrand-Theorie
  • Resolution

---

Folien (Version 21.12.2017)

---

Ü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
• Blatt 13

---

Lehrbücher

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

Impressum