CS 507, Logic in Computer Science

Spring 2015 - 2016


Purandar Bhaduri, ext: 2360 (email: pbhaduri)

Teaching Assistants

  1. Ramanuj Chouksey (email: ramanuj)

  2. Lalatendu Behera (email: lalatendu)


1.      Aaron R. Bradley and Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Springer, 2007. (Available in Indian edition)

Other Sources

  1. Stanford course CS 156 by Zohar Manna on Calculus of Computation, 2008 with lecture notes.
  2. University of Texas course CS 780 by Işıl Dillig on Automated Logical Reasoning, 2012 with lecture notes.



Assignments                                     15%

Midsem                                            35%

Endsem                                            50%

Solutions to Midsem Exam

Homework Policy

Late assignments would be penalised by deducting (10 × no. of days of lateness) % of the marks. Any form of copying will incur zero marks.


  1. (Due Wednesday 27/01/16) Exercises 1.1 (a) and (b) using the semantic argument method, 1.5 (a) and (b) and 1.8 (a) and (b) from here.

  2. (Due Wednesday 17/02/16) Exercises 2.2 (a), (b) and (c) and 2.3 (d), (e) and (f) from here. Note that in exercise 2.3, → and ↔ should be used in place of => and <=>.

  3. (Due Monday 28/03/16) Exercise 4.2 (a) from here.

 back to homepage