Main navigation  Main content
Schedule
This is an approximate schedule. It will be updated as the class progresses.
The inclass exercise at the beginning of each lecture will be taken from a section in bold.








1  Jan. 21 
Introduction and Logic 
Lec1 slides Lec2 slides 
1.1, 1.2, 1.3 


2  Jan. 28 
Quantifiers 
Lec3 slides 
1.4, 1.5 
Assignment 1: Due 2/1 

3  Feb. 4 
Proofs and Sets 
Lec4 slides Lec5 slides 
1.6, 1.7, 1.8 
Assignment 2: Due 2/6 
Quiz 1: 2/7 Practice Solutions 
4  Feb. 11 
Sets 
Lec6 slides Lec7 slides 
2.1, 2.2, 2.3, 2.4 
Assignment 3: Due 2/13 

5  Feb. 18 
Algorithms 
Lec8 slides Lec9 slides 
2.5, 3.1, 3.2, 3.3 
Assignment 4: Due 2/20 
Quiz 2: 2/19 Practice Solutions 
6  Feb. 25 
Number Theory 
Lec10 slides Lec11 slides 
4.1, 4.2, 4.3, 4.5, 4.6 
Assignment 5: Due 2/27 

7  Mar. 4 
Induction 
Lec12 Lec12 (short) Lec13 Lec13 (short) 
4.6, 5.1, 5.2 
Assignment 6: Due 3/6 
Quiz 3: 3/5 Practice Solutions 
8  Mar. 11 
Counting 
Lec14 Lec14 (short) Lec15 Lec15 (short) 
5.3, 6.1, 6.2 
Assignment 7: Due 3/13 

9  Mar. 18 
Spring Break! 


10  Mar. 25 
Counting 
Lec16 Lec16 (short) Lec17 Lec17 (short) 
6.3, 6.4, 6.5 
Assignment 8: Due 3/27 
Quiz 4: 3/26 Practice Solutions 
11  Apr. 1 
Probability 
Lec18 Lec18 (short) Lec19 Lec19 (short) 
7.1, 7.2, 7.3 
Assignment 9: Due 4/3 

12  Apr. 8 
Advanced Counting 
Lec20 Lec20 (short) 
7.4, 8.1, 8.2, 8.3 
Assignment 10: Due 4/10 
Quiz 5: 4/9 Practice Solutions 
13  Apr. 15 
Relations 
Lec21 (short) Lec21 Lec22 (short) Lec22 
9.1, 9.3, 9.4, 9.5 
Assignment 11: Due 4/17 

14  Apr. 22 
Graphs 
Lec23 (short) Lec23 Lec24 (short) Lec24 
10.1, 10.2, 10.3 
Assignment 12: Due 4/24 
Quiz 6: 4/23 Practice Solutions 
15  Apr. 29 
Modeling Computation 
Lec25 (short) Lec25 
10.4, 13.3 
Assignment 13: Due 5/1 
Quiz 7: 5/2 Practice Solutions 
16  May 6 
Group Work 14 
No lecture  
Assignment 14: Due 5/8 

17  May 13 
No Final 
