Vorlesung Logik I (WS 2016/17)

Aktuelles 

• Die Klausureinsicht findet am 01.03.2017 von 10:00 Uhr bis 11:00 Uhr im Raum H-A 7117 statt. 

Organisatorisches

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

---

Einige Themen

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

---

Folien (Version 18.10.2016)

---

Übungsblätter

• Übung 1
• Übung 2
• Übung 3
• Übung 4
• Übung 5
• Übung 6
• Übung 7
• Übung 8
• Übung 9
• Übung 10
• Übung 11
• Übung 12
• Übung 13
• Übung 14

---

Lehrbücher

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

Impressum