CS 202, Discrete MathematicsAutumn 2016  2017Instructors Purandar Bhaduri, ext: 2360 (email: pbhaduri) Benny George, ext: 2372 (email: ben) Teaching Assistants:
Textbooks 1. Mathematics for Computer Science by Eric Lehman, F Thomson Leighton and Albert R Meyer, 2011. This will be the main textbook for the Discrete Mathematics part of the course. Class material from the MIT course based on the book. 2. Notes on Set Theory for Computer Science by Glynn Winskel. 3. Course Lecture Notes by Stephen Cook CSC 438F/2404F: Computability and Logic Fall, 2015. We will use the part on Propositional Calculus and Predicate Calculus.
Evaluation Quizzes and Assignments 15% Midsem
35% Endsem 50%
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.

