Universität des Saarlandes
FR Informatik
Programmiersysteme
Vorlesungen
Comp. Logik SS 03


Hauptseite
Termine
Literatur
Übungen
Prüfungen
Mailingliste
Software
Material

Einführung in die Computationale Logik: Literatur

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. Im Skript werden Lesehinweise gegeben.

Aussagen- und Prädikatenlogik

• Melvin Fitting, First-Order Logic and Automated Theorem Proving. Second edition, Springer-Verlag, 1996. Leider zur Zeit vergriffen.
• Michael R. A. Huth und Mark D. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2000.
• W. V. Quine, Methods of Logic (4th edition). Harward University Press, 1982.
• Uwe Schöning, Logik für Informatiker, 5. Auflage. Spektrum Akademischer Verlag, 2000.

Typtheorie

• Peter B. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers, 2002.
• J. Roger Hindley, Basic Simple Type Theory. Cambridge University Press, 1997.
• John C. Mitchell. Foundations for Programming Languages. The MIT Press, 1996.

Programme

• Glynn Winskel. The Formal Semantics of Programming Languages: An Introduction. The MIT Press, 1993.
• David Harel, Dexter Kozen, Jerzy Tiuryn. Dynamic Logic. The MIT Press, 2000.

Berechenbarkeit

• Neil D. Jones, Computability and Complexity from a Programming Perspective. The MIT Press, 1997.
• Harry R. Lewis and Christos H. Papadimitriou, Elements of the theory of Computation (2nd edition). Prentice Hall, 1998.

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.
• 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.
• Steve Reeves and Michael Clarke, Logic for Computer Science. Addison-Wesley, 1990.