Vorlesung Logik I (WS 2020/21)

Aktuelles 

• Die Vorlesung wird digital via zoom durchgeführt. Aufgezeichnete Folien werden zur Verfügung gestellt. Zugangsdaten für die zoom-Sitzungen werden per email versendet.
• Wichtig: Melden Sie sich in unisono für die Veranstaltung an, nur so können wir Sie per email erreichen.
• Die Übungen starten in Woche 9.11-13.11.

Organisatorisches

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

---

Einige Themen

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

---

Folien

---

Videos

---

Übungsblätter

• Blatt 1 (Lösung)
• Blatt 2 (Lösung)
• Blatt 3 (Lösung)
• Blatt 4 (Lösung)
• Blatt 5 (Lösung)
• Blatt 6 (Lösung)
• Blatt 7 (Lösung)
• Blatt 8 (Lösung)
• Blatt 9 (Lösung)
• Blatt 10 (Lösung)
• Blatt 11 (Lösung)
• Blatt 12 (Lösung)
• Blatt 13 (Lösung) (nicht mehr klausurrelevant)

---

Lehrbücher

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

Impressum