CS 507, Logic In Computer Science

 Spring, 2007-2008

Instructor 

Purandar Bhaduri, ext: 2360, email: pbhaduri.

Prerequisites

CS203 (Discrete Maths), CS301 (Formal Languages and Automata Theory)

Textbook

Mathematical Introduction To Logic, 2nd Edition, H. B. Enderton, Elsevier India Private Limited, 2001. ISBN: 8131201910.

Reference Books and Other Sources

1. Logic in Computer Science: Modelling and Reasoning about Systems, M. Huth and M. Ryan, Cambridge University Press, 2000.

2. First-order Logic and automated theorem proving, M. Fitting, Springer-Verlag, 1990.

3. Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series) Jean H. Gallier, John Wiley & Sons; (January 1986). An online version is available here.

4. Logics of Time and Computation, Robert Goldblatt, CSLI Lecture Notes, Vol. 7, 1987. Available for free download from here.

Other Sources

1. Lecture notes in Logic in Computer Science, Fall 2003 by Clark W. Barrett at NYU.

2. Tutorial on SAT: Beyond Propositional Satisfiability by Roberto Sebastiani in CADE 2003.

back to homepage