Course code | COL202 |

Instructor | Ashish Chiplunkar |

Teaching Assistants | Ajay Soni, Aman Shreshtha, Kabir Tomer, Nikhil Ayyadevara, Nivedita Shrivastava, Rashul Chutani, Sagar Sharma, Shivansh Juyal, Vijay Bhardwaj |

Classes | Monday and Thursday 09:30 - 11:00 (Slot B) |

Tutorials | TBD |

Office hour | TBD |

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

- Proof strategies, strong and structural induction
- Graph theory
- Cardinality and (un)countability
- Combinatorics
- Equivalence relations, partial orders
- Algebraic structures: groups, fields

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

- Microsoft Teams for live lectures, tutorials, announcements, and exam proctoring
- Impartus for recorded lectures (see the 'Flipped Lectures' tab) and notes / slides (see the 'Backpack' tab)
- Gradescope for submitting homeworks and exams
- Piazza for discussions

Homeworks | 30% | |

Quizzes | 30% | 3 quizzes. No compensation for missed quizzes except for medical reasons, in which case a doctor's certificate must be submited. |

Major exam | 40% |

30% marks are necessary and sufficient for a passing grade, both in the credit as well as audit mode.