Grundlagen von Informatiksystemen

WS 2022/23

Dr. Thomas Kleinbauer, thomas.kleinbauer@uni-saarland.de

Vorlesung: donnerstags, 8:30 st., Geb. E 1 3, Seminarraum 0.16
Übung: donnerstags, 12:00 ct., Geb. E 1 3, Seminarraum 0.15

Folien

    • [+] Liste der korrigierten Folien
    • [+] Liste der korrigierten Folien
  • Aussagenlogik (Stand 25.11.2022)
    • Literaturempfehlung: Uwe Schöning. Logik für Informatiker. Spektrum Akademischer Verlag.
    • [+] Liste der korrigierten Folien

Übungsaufgaben

Abgabe der Lösungen immer bis 8:30 (vor Beginn der Vorlesung) an den genannten Tagen.