COL 703: Logic for Computer Science

I Semester 2017-18
Instructor: S. Arun-Kumar

Teaching assistants.

Important general notes

Roll List (2017-08-04) Raw table of marks (2017-12-01) Performance Summary (2017-12-01) Last modified: Fri Dec 1 14:12:33 IST 2017 NPTEL Videos Lecture slides (2017-11-03) Course Outline

Major exam papers will be shown today (01 Dec 2017) between 14:00-16:00 in IIA-404, not more than 5 students at a time will be allowed in.

Lectures (L-slot)

Attendance Policy The Mark Weight Scheme (§2.5.1)
Quizzes Best n-1 out of n (n>1)
Audit Pass B grade
I Minor 20% Fri 01 Sep 2017 16:00-17:00 LH-108
II Minor 20% Sat 07 Oct 2017 16:00-17:00 LH-108
Major 30% Mon 20 Nov 2017 17:30-19:30+? LH-108
Quizzes 10%
Attendance 5%
Assignments 15%
Sample Solutions





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

S. Arun-Kumar