Logik

Aktuelles

[26.10.2016] Die Klausureinsicht findet am Mittwoch, den 02.11.16, in Raum O27/531 von 10 bis 10:30 Uhr statt.

[26.10.2016] Die Ergebnisse der zweiten Klausur wurden 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

Übungen

Der Ablauf der Übungen wird in der ersten Vorlesung vorgestellt.

Vorlesungszeiten

Mo. 12 - 14 Uhr, Raum H20 (O27)

Aktuelles

Die zweite Klausur findet am Dienstag, den 18.10. von 16-17 Uhr ausschließlich im H20 statt.

Weitere Informationen

LSF-Eintrag

LSF-Eintrag (Übung)