Uni des Saarlandes
Informatik
Programmiersysteme
Vorlesungen
LSV SS-02


Hauptseite
Termine
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript

Skript: Logik, Semantik und Verifikation

Das Skript begleitet die Vorlesung und hält die wichtigsten Inhalte fest. Es wird vorlesungsbegleitend geschrieben, aufbauend auf der Version vom letzten Jahr. Neben dem Skript sollten Sie unbedingt noch weitere Literatur studieren, da das Skript in Bezug auf Motivation und Abdeckung noch unvollständig ist.

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


Gert Smolka, Letzte Änderung: Thu Dec 14 17:01:13 2017.