CS 507, Logic in Computer Science
Spring 2015  2016
Instructor
Purandar Bhaduri, ext: 2360
(email: pbhaduri)
Teaching Assistants

Ramanuj Chouksey (email: ramanuj)

Lalatendu Behera (email: lalatendu)
Textbooks
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
 Stanford course
CS 156 by Zohar
Manna on Calculus of Computation, 2008 with lecture notes.
 University of Texas course
CS 780 by Işıl
Dillig on Automated Logical Reasoning, 2012 with lecture notes.
Evaluation
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.
Homeworks

(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.

(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
<=>.

(Due Monday 28/03/16)
Exercise 4.2 (a) from here.
back to homepage
