Skript: Logik, Semantik und Verifikation

Hauptseite
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript

Die wichtigsten Dinge aus der Vorlesung halte ich in einem Skript fest, dessen Kapitel hier im Laufe der Vorlesung erscheinen werden. Wenn Sie neugierig sind, können Sie sich das Vorlesungsskript vom SS 2000 ansehen. Neben dem Skript sollten sie unbedingt noch weitere Literatur studieren, da das Skript in Bezug auf Motivation und Abdeckung noch recht dünn ist.

Logik, Semantik und Verifikation
Eine Einführung für Informatiker
Gert Smolka



Gert Smolka, Letzte Änderung: Mon Oct 16 13:11:03 2017.