Vorlesung Logik I (SS 2018)

Aktuelles 

Klausureinsicht der Nachschreibklausur: Donnerstag, 21.03.2019, 15:00 in H-A 7101

Klausureinsicht: Donnerstag, 13.09.2018, 14:00-16:00 im H-C 6321

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
• Vorlesungstermin:
  • Montag, 12:00-14:00 im H-F 114
• Übungstermine:
  • Dienstag (*), 12:00-14:00 im H-F 001 (Carl Philipp Reh)
  (*) Die Übung findet zweiwöchentlich bzw. an folgenden Tagen statt:
  • 24.04.2018
  • 08.05.2018
  • 22.05.2018 29.05.2018
  • 05.06.2018 12.06.2018
  • 19.06.2018 26.06.2018
  • 03.07.2018 10.07.2018
  • 17.07.2018
  • 24.07.2018 (Zusatztermin)

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

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7

---

Lehrbücher

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

Impressum