Logic for Computer Science – Suggested Readings

Slides

Harald Ganzinger:
Slides for the lecture.
Online at http://www.mpi-inf.mpg.de/~hg/Vorlesungen/Logik-SS02/.

First-order logic, tableaux calculi

Melvin Fitting:
First-Order Logic and Automated Theorem Proving.
Springer-Verlag, New York, 1996.

Program verification, temporal logics

Michael Huth and Mark Ryan:
Logic in Computer Science: Modelling and Reasoning about Systems.
Cambridge Univ. Press, 2000.

Termination, well-founded orderings, unification

Franz Baader and Tobias Nipkow:
Term Rewriting and All That.
Cambridge Univ. Press, 1998.

Logic programming, Prolog

Krzysztof R. Apt:
Logic Programming, in: Handbook of Theoretical Computer Science, Vol. B.
MIT Press/Elsevier, 1990

Uwe Schöning:
Logik für Informatiker (Kapitel 3).
Spektrum Akademischer Verlag, 2000

Michael Hanus:
Problemlösen mit Prolog.
Teubner, 1987

Leon Sterling and Ehud Shapiro:
The Art of Prolog.
MIT Press, 1994

John W. Lloyd:
Foundations of Logic Programming.
Springer-Verlag, Berlin, 1987

Standard ML (for the programming exercises)

Lawrence C. Paulson:
ML for the Working Programmer.
Cambridge University Press, 1991.

Robert Harper:
Programming in Standard ML.
Online at http://www.cs.cmu.edu/~rwh/introsml/.

Jeffrey D. Ullmann:
Elements of ML Programming (ML97 Edition).
Prentice Hall, 1998.

Lucent Technologies; Bell Laboratories:
Standard ML Online Documentation.
Online at http://cm.bell-labs.com/cm/cs/what/smlnj/.

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2002-06-20.
Imprint | Data Protection