Vorlesung Logik I (WS 2021/22)

 

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
• Vorlesungstermin:
  • Freitag 14:00-16:00 in H-C 7326
• Übungstermin:
  • Mittwoch 12:00-14:00 in H-C 7326
  • Mittwoch 14:00-16:00 in H-C 7326

---

Einige Themen

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

---

Folien (vom WiSe 2020/2021)

---

Videos

---

Übungsblätter

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7
• Blatt 8
• Blatt 9
• Blatt 10
• Blatt 11
• Blatt 12

Am 2.2.22 findet in beiden Übungen eine Fragestunde statt!

 

Lehrbücher

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

 

Impressum