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

Vorlesung Logik I (WS 2022/23)

 

Organisatorisches

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

Einige Themen

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

Folien


Übungsblätter

Klausuren

Logik I

Lehrbücher

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

 

Impressum