Vorlesung Logik I (WS 2019/20)

Aktuelles 

Die Klausureinsicht findet am Donnerstag, den 05.03., ab 13:00 in H-C 3310 statt.

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
• Vorlesungstermin:
  • Freitag, 14:00-16:00 im H-F 116
• Übungstermin:
  • Donnerstag, 8:00-10:00 (Beginn 8:30) im H-C 6336/37 (von Carl Philipp Reh)
  • Montag, 10:00-12:00 im H-C 6336/37 (von Carl Philipp Reh)

Es darf ein (beidseitig) handschriftlich beschriebenes DIN-A4-Blatt mit in die Klausur genommen werden.

---

Einige Themen

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

---

Folien (Version 21.12.2017)

---

Übungsblätter

Die Übungen beginnen in der 43. Kalenderwoche, also ab dem 21.10.

• 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