Uni des Saarlandes
Informatik
Programmiersysteme
Vorlesungen
LSV SS-02


Hauptseite
Termine
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript

Literatur: Logik, Semantik und Verifikation

Die grundlegenden Dinge der Vorlesung finden sie im Vorlesungsskript. Öfter werden Sie Dinge brauchen, die Sie in der Vorlesung Programmierung gelernt haben. Neben dem Skript sollten Sie unbedingt noch weitere Literatur studieren, da das Skript in Bezug auf Motivation und Abdeckung noch recht dünn ist. Für Aussagen- und Prädikatenlogik empfehle ich das Buch von Schöning (Kapitel 1+2). Für Semantik von Programmiersprachen und Hoare-Logik empfehle ich das Buch von Winskel (Kapitel 1-7 und Anhang A). Das Buch von Huth und Ryan zeichnet sich durch eine besonders intuitive Darstellung aus. Neben Aussagen- und Prädikatenlogik behandelt es auch Model Checking und Modallogik.

Grundlegend

Weiterführend


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