CS 514, Mathematics for Computer Science

Monsoon 2019 - 2020

Instructor

Purandar Bhaduri, ext: 2360 (email: pbhaduri)

Teaching Assistants

1. Ramanuj Chouksey (email: r.chouksey)

2. Dipojjwal Ray (email: dipojjwal)

Textbooks

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

2.   Basic Probability Theory by Robert B. Ash, Dover Books on Mathematics, 2008.

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 Assignments

1. HW#1: Due date: Monday, 12 August 2019. Problems 1.10 (both parts), 1.19, 2.6, 2.10, 5.8 and 5.10 from here.

2. HW#2: Due date: Monday, 26 August 2019. Problems 3.11, 3.16, 3.25, 3.32, 3.35, 3.37 (all parts of all the problems) from here.

3. HW#3: Due date: Tuesday, 3 September 2019. Problems 4.14, 4.19, 4.26, 4.30 and 4.37 from here.

4. HW#4: Due date: Monday, 30 September 2019. Problems 9.26, 9.27, 9.28, 9.31, 9.38, 9.53, 9.60 and 9.62 from here.

5. HW#5: Due date: Wednesday, 16 October 2019. Problems 12.11, 12.14, 12.19, 12.22 and 12.28 from here.

6. HW#6: Due date: Monday, 11 November 2019. Problems 15.6, 15.7, 15.8, 15.14, 15.16 and 15.18 from here. (Some problems have multiple parts. Be sure you don't miss any, as some of them fall on page boundaries.)

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.

Midsem Solutions

Endsem Solutions

back to homepage