COL 703: Logic for Computer Science

I Semester 2018-19
Instructor: S. Arun-Kumar

Last modified: Fri Nov 30 10:32:37 IST 2018

Lectures (L-slot)

Evaluation

All exams are open book and open notes, but not open videos. Click here to view a typical Logic exam scene
But sharing notes and other material during the exam is not allowed.
Please read the Important general notes.
Not having read Important general notes will not be taken as a valid excuse.

S. Arun-Kumar, Video Lectures on "Logic for Computer Science 2011-12" (Available only from within IIT Delhi whenever it is actually available!)
H. R. Andersen, An Introduction to Binary Decision Diagrams
M. Huth, M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems , Cambridge University Press, 2000.
H.-D. Ebbinghaus , J. Flum , W. Thomas, Mathematical Logic, Undergraduate Texts in Mathematics, Springer-Verlag, 1994.
S. Arun-Kumar, Notes on Introduction to Logic for Computer Science (PDF) and occasional handouts
John Kelly, The Essence of Logic, Prentice-Hall India, Eastern Economy Edition, 1997.
M. Fitting, First-Order Logic and Automated Theorem Proving, Springer-Verlag, 1990.
L. C. Paulson, Logic and Proof, Notes for Computer Science Tripos, Cambridge University, 1996.
I. M. Copi, Symbolic Logic, Prentice-Hall India, reprint of 1979 edition by Macmillan.