Vorlesung Logik I (WS 2015/16)

Aktuelles

• Die Einsicht zur Klausur findet am Dienstag, den 01. März, um 10-11 Uhr im Raum H-A 8107 statt.
• Die Noten sind nun im LSF einsehbar. Ein Termin zur Einsicht wird demnächst bekanntgegeben.

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7109, Tel. 0271-740-2826)
• Vorlesungstermin:
  • Dienstag, 14:00-16:00 im H-C 6321
• Übungstermin:
  • Montag, 16:00-18:00 im H-F 001 (von Danny Hucke)
  • Donnerstag, 14:00-16:00 im H-C 6321 (von Moses Ganardi)

---

Einige Themen

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

---

Folien (Version 14.10.2015)

---

Ü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

---

Lehrbücher

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

Impressum