Resource Index | Mathematics for Computer Science | Electrical Engineering and Computer Science

The full course textbook, Mathematics for Computer Science, is available for download (PDF - 5.8MB).

Course index.
SES #	COURSEWARE	READINGS	LECTURE SLIDES	IN-CLASS QUESTIONS	ASSIGNMENTS
Unit 1: Proofs
1	1.1 Intro to Proofs	Chapter 1.1–1.6 (PDF)	Welcome to 6.042J (PDF) Introduction to Proofs (PDF)	Session 1 In-Class Questions (PDF)	Problem Set 1 (PDF)
2	1.2 Proof Methods	Chapter 1.7–1.9 (PDF)	Proof by Contradiction (PDF) Proof by Cases (PDF) Proof by Cases Example (PDF)	Session 2 In-Class Questions (PDF)
3	1.3 Well Ordering Principle	Chapter 2.1–2.3 (PDF)	Well Ordering Principle 1 (PDF) Well Ordering Principle 2 (PDF) Well Ordering Principle 3 (PDF)	Session 3 In-Class Questions (PDF)
4	1.4 Logic & Propositions	Chapter 3.1–3.5 (PDF)	Propositional Operators (PDF) Digital Logic (PDF) Truth Tables (PDF) Implies (PDF) Propositional Logic (PDF)	Session 4 In-Class Questions (PDF)
5	1.5 Quantifiers & Predicate Logic	Chapter 3.6 (PDF)	Predicate Logic 1 (PDF) Predicate Logic 2 (PDF) Predicate Logic 3 (PDF)	Session 5 In-Class Questions (PDF)	Problem Set 2 (PDF)
6	1.6 Sets	Chapter 4.1–4.2 (PDF)	Sets Definition (PDF) Sets Operation (PDF)	Session 6 In-Class Questions (PDF)	Problem Set 2 (PDF)
7	1.7 Binary Relations	Chapter 4.3–4.5 (PDF)	Relations (PDF) Relational Mapping (PDF) Finite Cardinality (PDF)	Session 7 In-Class Questions (PDF)	Problem Set 3 (PDF)
8	1.8 Induction	Chapter 5.1–5.3 (PDF)	Induction (PDF) Bogus Induction (PDF - 1.2MB) Strong Induction (PDF) Ordinary Induction vs Strong Induction vs WOP (PDF)	Session 8 In-Class Questions (PDF)	Problem Set 3 (PDF)
9	1.9 State Machines—Invariants	Chapter 5.4 (PDF)	State Machine Invariants (PDF) Derived Variables (PDF)	Session 9 In-Class Questions (PDF)	Problem Set 4 (PDF)
10	1.10 Recursive Definition	Chapter 6 (PDF)	Recursive Data (PDF) Structural Induction (PDF) Recursive Functions (PDF)	Session 10 In-Class Questions (PDF)
11	1.11 Infinite Sets	Chapter 7 (PDF)	Cardinality (PDF) Countable Sets (PDF) Cantor's Theorem (PDF) The Halting Problem (PDF) Russell's Paradox (PDF) Set Theory Axioms (PDF)	Session 11 In-Class Questions (PDF)
Unit 2: Structures
12	2.1 GCDs	Chapter 8.1–8.5 (PDF)	GCDs and Linear Combinations (PDF) Euclidean Algorithm (PDF) The Pulverizer (PDF) Die Hard Primes (PDF) Prime Factorization (PDF)	Session 12 In-Class Questions (PDF)	Problem Set 5 (PDF)
13	2.2 Congruences	Chapter 8.6–8.9 (PDF)	Congruence (PDF) Inverses Mod N (PDF)	Session 13 In-Class Questions (PDF)
14	2.3 Euler's Theorem	Chapter 8.10 (PDF)	Modular Exponentiation: Euler's Function (PDF) The Ring Z_n (PDF)	Session 14 In-Class Questions (PDF)
15	2.4 RSA Encryption	Chapter 8.11–8.12 (PDF)	RSA Public Key Encryption (PDF) Reducing Factoring to SAT (PDF)	Session 15 In-Class Questions (PDF)	Problem Set 6 (PDF)
16	2.5 Digraphs: Walks & Paths	Chapter 9.1–9.4 (PDF)	Digraphs: Walks & Paths (PDF) Digraphs: Connected Vertices (PDF)	Session 16 In-Class Questions (PDF)	Problem Set 6 (PDF)
17	2.6 Directed Acyclic Graphs	Chapter 9.5 (PDF)	DAGs (PDF) Scheduling (PDF) Time vs Processors (PDF)	Session 17 In-Class Questions (PDF)	Problem Set 7 (PDF)
18	2.7 Partial Orders and Equivalence	Chapter 9.5–9.11 (PDF)	Partial Orders (PDF) Representing Partial Orders As Subset Relations (PDF) Equivalence Relations (PDF)	Session 18 In-Class Questions (PDF)
19	2.8 Degrees & Isomorphism	Chapter 11.1–11.4 (PDF)	Degrees (PDF) Isomorphism (PDF)	Session 19 In-Class Questions (PDF)
20	2.9 Coloring & Connectivity	Chapter 11.7–11.9 (PDF)	Coloring (PDF) Connectivity (PDF) k-Connectivity (PDF)	Session 20 In-Class Questions (PDF)	Problem Set 8 (PDF)
21	2.10 Trees	Chapter 11.9–11.10 (PDF)	Trees (PDF) Tree Coloring (PDF) Spanning Trees (PDF)	Session 21 In-Class Questions (PDF)
22	2.11 Stable Matching	Chapter 11.6 (PDF)	Stable Matching (PDF - 2.6MB) Mating Ritual (PDF) Optimal Stable Matching (PDF) Bipartite Matching (PDF) Hall's Theorem (PDF)	Session 22 In-Class Questions (PDF)
Unit 3: Counting
23	3.1 Sums & Products	Chapter 13.1–13.5 (PDF)	Arithmetic Sums (PDF) Geometric Sums (PDF) Book Stacking (PDF) Integral Method (PDF) Stirling's Formula (PDF)	Session 23 In-Class Questions (PDF)	Problem Set 9 (PDF)
24	3.2 Asymptotics	Chapter 13.7 (PDF)	Asymptotic Notation (PDF) Asymptotic Properties (PDF) Asymptotic Blunders (PDF)	Session 24 In-Class Questions (PDF)	Problem Set 9 (PDF)
25	3.3 Counting with Bijections	Chapter 14.1–14.2 (PDF)	Sum and Product Rules (PDF) Counting with Bijections (PDF)	Session 25 In-Class Questions (PDF)	Problem Set 10 (PDF)
26	3.4 Repetitions & Binomial Theorem	Chapter 14.4–14.7 (PDF)	Generalized Counting Rules (PDF) Two Pair Poker Hands (PDF) Binomial Theorem (PDF) Bookkeeper Rule, Multinomial Theorem (PDF)	Session 26 In-Class Questions (PDF)
27	3.5 Pigeonhole Principle, Inclusion-Exclusion	Chapter 14.8 (PDF)	The Pigeonhole Principle (PDF) Inclusion-Exclusion (PDF) Inclusion-Exclusion: 2 Set Proof (PDF)	Session 27 In-Class Questions (PDF)
Unit 4: Probability
28	4.1 Intro to Discrete Probability	Chapter 16.1–16.5 (PDF)	Tree Model (PDF) Simplified Monty Hall Tree (PDF) Sample Spaces (PDF)	Session 28 In-Class Questions (PDF)	Problem Set 11 (PDF)
29	4.2 Conditional Probability	Chapter 17.1–17.5 (PDF)	Conditional Probability (PDF) Law Of Total Probability (PDF) Bayes' Theorem (PDF) Monty Hall Problem (PDF)	Session 29 In-Class Questions (PDF)	Problem Set 11 (PDF)
30	4.3 Independence & Causality	Chapter 17.7–17.8 (PDF)	Independence (PDF) Mutual Independence (PDF)	Session 30 In-Class Questions (PDF)	Problem Set 12 (PDF)
31	4.4 Random Variables, Density Functions	Chapter 18.1–18.3 (PDF)	Bigger Number Game (PDF) Random Variables: Independence (PDF) Random Variables: Uniform & Binomial (PDF)	Session 31 In-Class Questions (PDF)
32	4.5 Expectation	Chapter 18.4–18.5 (PDF)	Expectation (PDF) Expected Number Of Heads (PDF) Total Expectation (PDF) Mean Time To Failure (PDF) Linearity Of Expectation (PDF)	Session 32 In-Class Questions (PDF)
33	4.6 Deviation: Markov & Chebyshev Bounds	Chapter 19.1–19.3 (PDF)	Deviation From The Mean (PDF) Markov Bounds (PDF) Chebyshev Bounds (PDF) Variance (PDF)	Session 33 In-Class Questions (PDF)	No Assignment
34	4.7 Sampling & Confidence	Chapter 19.4–19.5 (PDF)	Law of Large Numbers (PDF) Independent Sampling Theorem (PDF) Birthday Matching (PDF) Sampling and Confidence (PDF)	Session 34 In-Class Questions (PDF)
35	4.8 Random Walks & Pagerank	Chapter 20.2 (PDF)	Random Walks (PDF) Stationary Distributions (PDF) Pagerank (PDF)	Session 35 In-Class Questions (PDF)