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

• Vorwort
• 1 Mathematische Objekte (ps, pdf)
• 2 Strukturelle Rekursion und Induktion (ps, pdf)
• 3 Syntax und Semantik von arithmetischen Ausdrücken (ps, pdf)
• 4 Aussagenlogik (ps, pdf)
• + BDDs : Huth/Ryan Buch Seite 316-333, Bryant's Originalpapier
• 5 Fixpunktoperatoren (ps, pdf)
• 6 Programme mit Schleifen (ps, pdf)
• 7 Formeln mit Quantoren (ps, pdf)
• 8 Programmverifikation (ps, pdf)
• 9 Berechenbarkeit (ps, pdf)
• 10 Prädikatenlogik (ps, pdf)