Logik

Klausur

Die Klausureinsicht findet am Mittwoch, 26.09.2012, im Raum O27/531 von 10.00 bis 10.30 Uhr statt.

Die Noten sind im LSF eingetragen.

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:00 - 14:00 Uhr in H12

Übungsleiter

Simon Straub

Tutorien (wöchentlich ab KW 17)

Di 10:00 - 12:00 in O27/2202,
Markus Brenner

Di 16:00 - 18:00 in O27/545, 
Falco Nogatz (ab KW 19)

Mi 10:00 - 12:00 in O27/2201,
Maike Zwerger 

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