CS 507, Logic in Computer Science
Spring 2015 - 2016
Purandar Bhaduri, ext: 2360
Ramanuj Chouksey (email: ramanuj)
Lalatendu Behera (email: lalatendu)
Aaron R. Bradley and Zohar Manna. The Calculus of
Computation: Decision Procedures with Applications to Verification.
Springer, 2007. (Available in Indian edition)
- 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.
Solutions to Midsem Exam
Late assignments would
be penalised by deducting (10 × no. of days of lateness) % of the
marks. Any form of copying will incur zero marks.
Exercises 1.1 (a) and (b) using the semantic argument method, 1.5 (a)
and (b) and 1.8 (a) and (b) from here.
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