Literatur: Logik, Semantik und Verifikation
Hauptseite
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript
Die wichtigsten Dinge aus der Vorlesung halte ich in
einem Skript fest, dass online verfügbar ist. Ö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
- Uwe Schöning,
Logik für Informatiker, 5. Auflage.
Spektrum Akademischer Verlag, 2000.
- Gert Smolka,
Logik, Semantik und Verifikation,
Vorlesungsskript SS 2001.
- Gert Smolka,
Programmierung: Eine Einführung für Informatiker,
Vorlesungsskript WS 2000.
- Glynn Winskel,
The Formal Semantics of Programming Languages: An Introduction.
The MIT Press, 1993.
- Michael R. A. Huth und Mark D. Ryan,
Logic in Computer Science: Modelling and Reasoning about Systems.
Cambridge University Press, 2000.
Weiterführend
- Franz Baader and Tobias Nipkow,
Term Rewriting and All That.
Cambridge University Press, 1998.
- Edmund M. Clarke, Orna Grumberg, and Doron A. Peled,
Model Checking.
The MIT Press, 1999.
- Melvin Fitting, First-Order Logic and Automated Theorem
Proving. Second edition, Springer-Verlag, 1996. Leider
zur Zeit vergriffen.
- Jean H. Gallier,
Logic for Computer Science.
Foundations of Automatic Theorem Proving.
Harper&Row, 1986.
- René Lalement, Computation as Logic.
International Series in Computer Science, Prentice Hall, 1993.
- John C. Mitchell.
Foundations for Programming Languages.
The MIT Press, 1996.
- Steve Reeves and Michael Clarke, Logic for Computer
Science.
Addison-Wesley, 1990.
Gert Smolka,
Letzte Änderung:
Do 01 Jan 1970 00:00:00 UTC.