..
Suche
Hinweise zum Einsatz der Google Suche
Personensuchezur unisono Personensuche
Veranstaltungssuchezur unisono Veranstaltungssuche
Katalog plus
/ ti / lehre / ws2122 / logik /
 

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

Am 2.2.22 findet in beiden Übungen eine Fragestunde statt!

 

Klausuren

In Präsenz geschrieben:

Digital:

Lehrbücher

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

 

Impressum