Notes

There is no textbook for this class. Instead, there is a set of comprehensive lecture notes. Make sure you revisit the notes after every lecture, and multiple times thereafter: you should be aware that it will likely take several readings before you fully understand the material. Each note may be covered in one or more lectures. See Policies for more information.

• Note 0: Introduction
• Note 1: Sets
• Note 2: Propositional Logic
• Note 3: Proofs
• Note 4: Induction
• Note 5: Stable Matching
• Note 6: Graph Theory
• Note 7: Modular Arithmetic
• Note 8: Public Key Cryptography (RSA)
• Note 9: Polynomials

Discussions

The discussion sections are specifically designed to consolidate the material covered in lectures and in the notes. It is highly recommended that you attend both discussions each week. You may attend any discussion section, but we recommend that you settle on a weekly two-section pair (with the same TA) as early as possible in the semester. If a particular section is too full, then students will be admitted on a first-come first-served basis and others will have to attend an alternative section. All sections are equivalent: they all cover the same material. See Policies for more information.

• Discussion 0A: Propositional Logic (solution)
• Discussion 0B: Proofs (solution)
• Discussion 0C-Quiz: Quiz (Logic, Proofs) (solution)
• Discussion 1A: Induction (solution)
• Discussion 1B: Stable Matching (solution)
• Discussion 2A: Stable Matching (solution)
• Discussion 2B: Graphs (solution)
• Discussion 3A: Modular Arithmetic (solution)
• Discussion 3B: Fermat's Little Theorem, Bijections (solution)
• Discussion 4A: RSA

Homeworks

There will be weekly required homeworks, again designed to consolidate your understanding of the course material. It is highly recommended that you attempt all homeworks. Your lowest two homework scores will be dropped, but these drops should be reserved for emergencies. No additional allowances will be made for late or missed homeworks: please do not contact us about missed homeworks or late submissions. See Policies for more information.

• HW 0: Course Logistics, Background (Sol)
• HW 1: Propositional Logic, Proofs (Sol) (Self Grades)
• HW 2: Induction, Stable Matching (Sol) (Self Grades)
• HW 3: Stable Matching, Modular Arithmetic (Sol) (Self Grades)
• HW 4: Modular Arithmetic

Lecture Schedule

• Lecture 0A (1/21): Introduction & Logic (Note 0Note 1Note 2)
• Lecture 0B (1/23): Proofs (Note 3)
• Lecture 1A (1/28): Induction (Note 4)