- Main reference: Discrete Mathematics And Its Applications by Kenneth Rosen (7th Edition, Indian adaptation)
- MIT textbook by Lehman, Leighton and Meyer
- UIUC textbook by Margaret Fleck

__Graded Work.__ The graded work includes quizzes (30%), a
mid-semester exam (25%), an end-semester exam (40%), and class
participation (5%). The quiz schedule will be announced later.
Class participation will be primarily assessed using pop quizzes
administered via SAFE.

The students are expected to regularly attend all the lectures, and also regularly solve practice problems from the textbook and from problem sheets that will be distributed (via Moodle). Tutorials and office hours will be offered by the TAs, and the students are encouraged to make use of these resources, especially if they find the problem sheets challenging. The schedule for these will be announced later.

__Teaching Assistants.__

- Rajeev (mrrajeev@cse), Kaartik (kbhushan@iitb), Mandar (mandarsadye@cse), Parashiv (parashiv@iitb), Subhojit (193050002@iitb), Shourya (shouryap@cse), Rahul (chrahul@cse).

__Tutorials.__ We have 3 weekly tutorial hours, all held in New
CSE 103. The timings are Monday 7:00 - 8:00 PM,
Tuesday 6:00 - 7:00 PM, and
Tuesday 7:00 - 8:00 PM. The tutorials will discuss
problem sets based on the previous week's lectures. The problem sets
will be posted on Moodle at the end of each week.

- Lecture 00: (Jul 31): Welcome. Logic - I. [html|pdf|print]
- Lecture 01: (Aug 2): Logic - II. [html|pdf|print]
- Lecture 02: (Aug 7): Logic in Action: Proofs - I. [html|pdf|print]
- Lecture 03: (Aug 9): Logic in Action: Proofs - II. [html|pdf|print]
- Quiz 1 on Wed, Aug 14, 8:30 AM to 9:25 AM. Venue: LA 202. (Topics from Lectures 00-03.)
- Lecture 04: (Aug 14): Numbers: Divisors, Prime Factorisation. [html|pdf|print]
- Lecture 05: (Aug 16): Numbers: Modular Arithmetic. [html|pdf|print]
- Lecture 06: (Aug 21): Numbers: CRT and Euler's Totient. [html|pdf|print]
- Lecture 07: (Aug 23): Numbers: Quadratic Residues and RSA. [html|pdf|print]
- Lecture 08: (Aug 28): Sets, Relations [html|pdf|print]
- Quiz 2 on Fri, Aug 30, 8:30 AM to 9:25 AM. Venue: LH 301 & 302. (Topics from Lectures 04-07.)
- Lecture 09: (Aug 30): Relations [html|pdf|print]
- Lecture 10: (Sep 4): Functions [html|pdf|print]
- Lecture 11: (Sep 11): Counting [html|pdf|print]
- Lecture 12: (Sep 13): Mid-semester Wrap Up [html|pdf|print]
- Mid-Semester Exam on Fri, Sep 20. (Topics from Lectures 00-12.)
- Lecture 13: (Sep 25): Graphs [html|pdf|print]
- Lecture 14: (Sep 27): Graphs [html|pdf|print]
- Lecture 15: (Oct 4): Graphs [html|pdf|print]
- Lecture 16: (Oct 9): Graphs [html|pdf|print]
- Lecture 17: (Oct 12): Recursive Definitions [html|pdf|print]
- Lecture 18: (Oct 16): Generating Functions [html|pdf|print]
- Quiz 3 on Fri, Oct 18, 8:30 AM to 9:25 AM. Venue: New CSE 101, 103, 105. (Topics from Lectures 13-16.)
- Lecture 19: (Oct 18): Big O [html|pdf|print]
- Lecture 20: (Oct 23): Big O [html|pdf|print]
- Lecture 21: (Oct 25): Countably Infinite and Uncountable Sets [html|pdf|print]
- Lecture 22: (Oct 30): Finite State Machines [html|pdf|print]
- Quiz 4 on Fri, Nov 1, 8:30 AM to 9:25 AM. Venue: LH 301 & LH 302. (Topics from Lectures 17-20.)
- Lecture 23: (Nov 1): Computability, Complexity - P and NP [html|pdf|print]
- Lecture 24: (Nov 6): More Models of Computation [html|pdf|print]
- Quiz 5 on Fri, Nov 8, 8:30 AM to 9:25 AM. Venue: LH 301 & LH 302. (Topics from Lectures 21-23.)
- Lecture 25: (Nov 8): Wrap Up! [html|pdf|print]
- End-Semester Exam on Fri, Nov 22. (Topics from all lectures.)