Discrete Mathematics

Course code	COL202
Instructor	Ashish Chiplunkar
Teaching Assistants	Naman Nirwan (cs5210593@cse...), Amish Kansal (cs5210622@cse...), Jatin Yadav (csz237549@cse...), Harsh Vardhan Singh (csy247561@cse...), Rittik Dey (csz248007@cse...), Naman Garg (csy257544@cse...), Basavesh S P (mcs252109@cse...)
Classes	LH325; Monday and Thursday 09:30 - 11:00 (Slot B)
Tutorials	LH519; Monday (T3), Tuesday (T4), Thursday (T1), Friday (T2) 13:00-14:00
Office hour	one day before every exam

How to contact the instructor

If your issue is relevant to most of the class, post on course's discussion forum on Teams. Else, send a personal message to the instructor on Teams. Avoid sending emails to the instructor (they could get lost among spam), but if you must, send one to ashishc@iitd... with the subject line beginning with [COL202].

Prerequisites

JEE Mathematics syllabus, specifically:

Set and set operations, relations, functions
Mathematical induction
Combinatorics: permutations, combinations, binomial theorem

Content (tentative)

Proof strategies
Propositional and predicate logic
Induction: basic, strong, structural
Functions, countability
Graph theory
Combinatorics
Equivalence relations, partial orders
Modular arithmetic
(If time permits) Algebraic structures: groups, fields

Textbooks

"Mathematics for Computer Science" by Eric Lehman, F. Thomson Leighton, Albert R. Meyer; available online
"Discrete Mathematics and Its Applications" by Kenneth Rosen

Useful Platforms

Microsoft Teams for announcements, discussion forum, course material
Gradescope for homework submission and exam feedback

Grading and Attendance Policy

A passing grade will be decided on the basis of the total of the following.

Quizzes	60 marks	3 of 4 quizzes; 20 marks each
End-semester exam	40 marks
Surprise quizzes	?? marks

Quiz dates have been announced. See the calendar below.
Quiz 4 will be a compensatory / improvement quiz intended for students who miss or perform poorly in Quizzes 1-3. If Quiz 4 is not attempted, marks of Quizzes 1-3 will be counted. If Quiz 4 is attempted, its marks will be counted with the marks of the best 2 of Quizzes 1-3. The decision about whether to attempt Quiz 4 must be taken before the quiz (it cannot be taken after reading the question paper). Beyond this, no compensation for missed quizzes will be given.
A short surprise quiz will be conducted whenever the number of students attending a lecture is at most 91. Each such quiz will be worth 2 marks, of which 1 mark is for attendance. These marks will be treated as "bonus", i.e. they will be added to your score (the numerator) but not the total score (the denominator).
Passing criterion: A passing grade will be given if and only if the total score of quizzes, the end-semester exam, and surprise quizzes is at least 30.
No audits. Every auditing student will get an NF grade.
Penalty for insufficient attendance: students with insufficient attendance (<75%) will not be allowed to write the re-major exam (in case they get an E grade), and their I grade requests will be turned down (in case they miss the end-semester exam and apply for an I grade). Other than this, there is no pentalty for insufficient attendance. Assuming you pass the course, grade and attendance will be conditionally independent given marks. (However, rest assured that unconditionally, grade and attendance will be heavily correlated!) If this notion of conditional (in)dependence sounds alien to you, play safe and attend every class. Attendance will be recorded in lectures and tutorials. Marking attendance without attending will be treated as academic dishonesty.