Logik

Aktuelles

Vorlesungsstart ist der 22. April 2013

Klausur

Die Klausur findet am Freitag, 19.07.2012, im Hörsaal H4/5 statt. Sie beginnt um 12.00 Uhr. Für die Bearbeitung haben Sie 120 Minuten Zeit. Bitte erscheinen Sie ein paar Minuten eher, damit wir pünktlich starten können.

Als Hilfsmittel ist ein doppelseitig beschriebenes DIN A4 Blatt zugelassen.

Mittlerweile ist die Klausur korrigiert und die Noten im LSF eingetragen. Die Klausureinsicht ist am Montag, den 29.7. von 13:00 - 13:30Uhr (Nachnamen von A-J) und 13:30 - 14:00 (Nachnamen von K-Z) in o27/531.

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

Montags, 12:00 - 14:00 Uhr in o27/H20

Vorlesungsstart: 22.4.2013

Übungsleiter

Dominikus Krüger

Tutorien (wöchentlich)

Sebastian Steinau (Di. 10-12, o27-2202)

Andreas Krause (Fr. 8-10, o27-3211)

Katharina Krammer  (Mi. 10-12, o27-2203)

Markus Brenner (Mi. 10-12, o27-2201)

Für den Übungsbetrieb bitte im Rubikon anmelden!