Logik

Aktuelles

Die Einsicht zur Logiknachklausur findet am Freitag, 14.10.2011, 10.00 - 10.30 Uhr im O27-531 statt. 

Inhalt

Aussagenlogik

  • Syntax und Semantik
  • Normalformen
  • Resolution, Vollständigkeits- und Korrektheitsbeweise

Prädikatenlogik

  • Syntax und Semantik
  • Normalformen
  • Resolution, Vollständigkeits- und Korrektheitsbeweise

Literatur: 

  • Uwe Schöning: Logik für Informatiker, 5. Auflage. Spektrum Verlag, 2000.
  • Skript    


Vorlesungszeiten

Montag, 12:30 - 14:00 Uhr in H12

Übungsleiter

Simon Straub

Tutorien (gerade KW)

Di 10:00 - 12:00 in O27/2202,
Katharina Krammer

Di 10:00 - 12:00 in O27/2203,
Sebastian Steinau 

Mi 10:00 - 12:00 in O27/2201,
Mirco Lüdeke

Mi 10:00 - 12:00 in O27/2203,
Markus Brenner

Fr 08:00 - 10:00 in O27/3211,
Thai Chung

Weitere Informationen

LSF-Eintrag