This section contains the course notes, Mathematics for Computer Science. Chapter 8 is not available on MIT OpenCourseWare.
These notes are courtesy of Eric Lehman, Tom Leighton, and Albert Meyer, and are used with permission.
CHAPTERS | FILES |
---|---|
Complete course notes | (PDF - 3.2MB) |
Part I: Proofs | |
Chapter 1: Propositions | (PDF) |
Chapter 2: Patterns of proof | (PDF) |
Chapter 3: Induction | (PDF) |
Chapter 4: Number theory | (PDF) |
Part II: Structures | |
Chapter 5: Graph theory | (PDF) |
Chapter 6: Directed graphs | (PDF) |
Chapter 7: Relations and partial orders | (PDF) |
Chapter 8: State machines | |
Part III: Counting | |
Chapter 9: Sums and asymptotics | (PDF) |
Chapter 10: Recurrences | (PDF) |
Chapter 11: Cardinality rules | (PDF) |
Chapter 12: Generating functions | (PDF) |
Chapter 13: Infinite sets | (PDF) |
Part IV: Probability | |
Chapter 14: Events and probability spaces | (PDF) |
Chapter 15: Conditional probability | (PDF) |
Chapter 16: Independence | (PDF) |
Chapter 17: Random variables and distributions | (PDF) |
Chapter 18: Expectation | (PDF) |
Chapter 19: Deviations | (PDF) |
Chapter 20: Random walks | (PDF) |