Notes

There is no textbook for this class. Instead, there is a set of fairly comprehensive lecture notes. Make sure you revisit the notes after lecture. Each note may be covered in one or more lectures. See Syllabus for more information.

• Note 0: Review of Sets, Notation (PDF)
• Note 1: Propositional Logic (PDF)
• Note 2: Proofs (PDF)
• Note 3: Induction (PDF)
• Note 4: Stable Marriage (PDF)
• Note 5: Graph Theory (PDF)
• Note 6: Modular Arithmetic (PDF)
• Note 7: Bijections and RSA (PDF)
• Note 8: Polynomials (PDF)
• Note 9: Error Correcting Codes (PDF)
• Note 10: Infinity and Uncountability (PDF)
• Note 11: Self-Reference and Uncomputability (PDF)
• Note 12: Counting (PDF)
• Note 13: Introduction to Discrete Probability (PDF)
• Note 14: Conditional Probability (PDF)
• Note 15: Two Killer Applications (PDF)
• Note 16: Random Variables: Distribution and Expectation (PDF)
• Note 17: Variance (PDF)
• Note 18: Chebyshev's Inequality (PDF)
• Note 19: Some Important Distributions (PDF)
• Note 20: Continuous Probability (PDF)
• Note 24: Markov Chains (PDF)
• Note 25a: Review of Probability (PDF)
• Note 25b: Probability: An Overview (PDF)
• Note 26: Estimation (PDF)

Discussions

The discussion sections will not cover new material, but rather will give you additional practice solving problems. You can attend any discussion section you like. However, if there are fewer desks than students, then students who are officially enrolled in that section will get seating priority. See Syllabus for more information.

• Discussion 00b: Propositional Logic (solution)
• Discussion 01a: Proofs, Induction (solution)
• Discussion 01b: Induction, Well-Ordering Principle (solution)
• Discussion 02a: Stable Marriage (solution)
• Discussion 02b: Graph Theory I (solution)
• Discussion 03a: Graph Theory II (solution)
• Discussion 03b: Modular Arithmetic I (solution)
• Discussion 04b: Modular Arithmetic II (solution)
• Discussion 05a: RSA

Homeworks

All homeworks are graded for accuracy and it is highly-recommended that you do them. Your lowest homework score will be dropped, but this drop should be reserved for emergencies. The TeX files we provide are not meant to be compiled. They are just provided as a reference. See Syllabus for more information.

• Homework 00: Course Logistics (TeX) (solution)
• Homework 01: Propositional Logic, Proofs (TeX) (solution)
• Homework 02: Induction, Stable Marriage (TeX) (solution)
• Homework 03: Graphs (TeX) (solution)
• Homework 04: Modular Arithmetic (TeX) (solution)
• Homework 05: RSA, Polynomials (TeX)

Lecture Slides

• Lecture 1 (full) (6up): Introduction, Propositional Logic
• Lecture 2 (full) (6up): Propositional Logic, Proofs
• Lecture 3 (full) (6up): Proofs. Induction.
• Lecture 4 (full) (6up): Induction
• Lecture 5 (full) (6up): Stable Marriage
• Lecture 6 (full) (6up): Graphs
• Lecture 7 (full) (6up): Trees, Complete, Planar
• Lecture 8 (full) (6up): Planar, Mod. Arith. (Intro)
• Lecture 9 (full) (6up): GCD: Euclid
• Lecture 10 (full) (6up): EGCD; Midterm Review
• Lecture 11 (full) (6up): CRT: RSA (start)
• Lecture 12 (full) (6up): RSA: signature schemes