Class	Date	Topic	Reading	Due
1M	02/09	Propositions (notes)	Chapter 1	Intro Survey
1W	02/11	Logic (notes)	Chapter 2
1F	02/13	Quiz 1, Lab 1		Problem Set 1
2M	02/16	Sets (notes)	Chapter 3.1 - 3.2
2W	02/18	Quantifiers (notes)	Chapter 4
2F	02/20	Quiz 2, Lab 2	Chapter 7	Problem Set 2
3M	02/23	Functions (notes)	Chapter 5
3W	02/25	Complexity (notes)	Chapter 8
3F	02/27	Quiz 3, Lab 3		Problem Set 3
4M	03/02	Recurrences (notes)	Chapter 9.1 - 9.2 (excluding 9.2.3)
4W	03/04	Tree Theorem (notes)	Chapter 9.3
4F	03/06	Quiz 4, Lab 4		Problem Set 4
5M	03/09	Deduction (notes)	Chapter 10
5W	03/11	Direct Proofs (notes)	Chapter 11.1 - 11.2
5F	03/13	Midterm 1 (Study Guide)
6M	03/16	Indirect Proofs (notes)	Chapter 11.3 - 11.5
6W	03/18	Induction (notes)	Chapter 12.1
6F	03/20	Quiz 5, Lab 5		Problem Set 5
		Spring Break
7M	03/30	Strong Induction (notes)	Chapter 12.2 - 12.4
7W	04/01	Graphs (notes)	Chapter 13
7F	04/03	Quiz 6, Lab 6		Problem Set 6
8M	04/06	Trees (notes)	Chapter 14
8W	04/08	Graph Algorithms I (game, notes)	Chapter 15.1 - 15.2
8F	04/10	Quiz 7, Lab 7		Problem Set 7
9M	04/13	Graph Algorithms II (exercise, notes)	Chapter 15.3 - 15.4
9W	04/15	Midterm 2 (Study Guide)
9F	04/17	Spring Student Symposium (no class)
10M	04/20	Counting (notes)	Chapter 16.1 - 16.2
10W	04/22	Combinations and Permutations (notes)	Chapter 16.3
10F	04/24	Quiz 8, Lab 8		Problem Set 8
11M	04/27	Probability (notes)	Chapter 17.1
11W	05/29	Conditional Probability (notes)	Chapter 17.2
11F	05/01	Quiz 9, Lab 9		Problem Set 9
12M	05/04	Random Variables and Expectation (notes)	Chapter 18
12W	05/06	Expected Complexity (notes)
12F	05/08	Quiz 10, Lab 10		Problem Set 10
13M	05/11	Relations	Chapter 3.3	All Labs Due
13		Final Exam (Study Guide) Available on 5/13 (W), 5/14 (R) and 5/15 (F) (self-scheduled)