CS 514, Mathematics for Computer Science

Autumn 2017 - 2018

Instructors

Purandar Bhaduri, ext: 2360 (email: pbhaduri)

Teaching Assistants

  1. Ramanuj Chouksey (email: r.chouksey)

  2. Pawan Kumar Mishra (email: pawan.mishra)

  3. Dipojjwal Ray (email: dipojjwal)

TA assignment for grading homework problems

Solutions to Midsem Exam

Solutions to Endsem Exam

Textbooks

1.      Mathematics for Computer Science by Eric Lehman, F Thomson Leighton and Albert R Meyer, June 2017 edition. This will be the main textbook for the Discrete Mathematics part of the course. Class material from the MIT course based on the book.

 

Other Sources

1.   Notes on Set Theory for Computer Science by Glynn Winskel at Cambridge University.

2.   Notes on Predicate Logic by Martin Henz and Aquinas Hobor, CS 3234: Logic and Formal Systems at NUS.

3.   Course Lecture Notes by Stephen Cook, CSC 438F/2404F: Computability and Logic Fall, 2016 at University of Toronto. Refer to the notes on Propositional Calculus and Predicate Calculus.

Evaluation

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.

 Homeworks

  1. HW#1: Problems 1.8, 1.9, 1.11, 1.19, 1.20, 2.5, 2.6 and 2.8 from here. Due date: 14 August 2017.

  2. HW#2: Problems 3.24, 3.26, 3.27, 3.28 and 3.29 from here. Due date: 30 August 2017.

  3. HW#3: Problems  4.15, 4.19, 4.20, 4.34 and 4.35 from here. Due date: 14 September 2017.

  4. HW#4: Problems 9.50, 9.52, 9.55, 9.56, 9.57 and 9.62 from here. Due date: 16 October 2017.

  5. HW#5: Problems 10.13, 12.13, 12.17, 12.18 and 13.8 from here. Due date: 6 November 2017.

  6. HW#6: Problems 15.7, 15.8, 15.18, 15.21, 15.29 and 15.43 from here. Due date: 20 November 2017.

 back to homepage