Logik

Aktuelles

[29.09.2014]

Die Klausureinsicht ist am Montag, 06. Oktober, 09.30-10.30 Uhr, im Raum o27/531.

[23.09.2014]

Die Logikprüfung findet am 26. September, 10-11 Uhr, im H1 statt.

Inhalt

Aussagenlogik

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

Prädikatenlogik

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

Literatur

Übungen

Der Ablauf der Übungen wird in der ersten Vorlesung vorgestellt. Die Anmeldung zu den Tutorien wird anschließend über Rubikon möglich sein.

Vorlesungszeiten

Mo 12:00 - 14:00 Uhr, Raum H20

Übungsleiter

Simon Straub

Weitere Informationen

LSF-Eintrag

LSF-Eintrag (Übung)