The lecture videos and notes assume that you have already done the posted reading assignment from the textbook. So they do not walk through basic definitions but, rather, concentrate on aspects of the topic that you probably didn't fully understand after doing the readings. (The first-week videos are more comprehensive because we are just getting started.)

Week	New topic (for readings, videos, Tuesday Tutorials, homework)	Readings	Lecture notes	Lecture videos
Week 1 Jan 16-20	Logic	1.1-1.4, 1.7; chapter 2	Intro Logic 1 Logic 2 Logic 3	Intro Logic 1 Logic 2 Logic 3
Week 2 Jan 23-27	Proofs + Number Theory	Chap. 3, 4.1-4.11	Proofs 1 Proofs 2 Numbers 1 Numbers 2	Proofs 1 Proofs 2 Numbers 1 Numbers 2
Week 3 Jan 30 - Feb 3	Modular Arithmetic + Sets	4.12-4.14, chapter 5	Numbers 3 Sets 1 Sets 2	Numbers 3 Sets 1 Sets 2
Week 4 Feb 6-10	Relations	chapter 6	Relations 1 Relations 2	Relations 1 Relations 2
Week 5 Feb 13-17	Functions	chapters 7 and 8	Functions 1 Functions 2 Functions 3 Functions 4	Functions 1 Functions 2 Functions 3 Functions 4
Week 6 Feb 20-24	Graphs + 2-way bounding	chapters 9 and 10	Graphs 1 Graphs 2 Bounding	Graphs 1 Graphs 2 Bounding
Week 7 Feb 27 - Mar 3	Induction	1.5-1.6; chapter 11	Induction 1 Induction 2 Induction 3 Induction 4 Optional: A worked example Fall`20's intro	Induction 1 Induction 2 Induction 3 Induction 4 Optional: A worked example Fall`20's intro
Week 8 Mar 6-10	Recursive Definition	chapter 12	Rec. Defn 1 Rec. Defn 2 Rec. Defn 3	Rec. Defn 1 Rec. Defn 2 Rec. Defn 3 Optional: Demo: induction to justify a closed form Demo: Unrolling & Induction (ignore mentions of a  "previous demo")
Spring break Mar 13-17
Week 9 Mar 20-24	Trees + Grammars	chapter 13	Trees 1 Trees 2 Trees 3	Trees 1 Trees 2 Trees 3
Week 10 Mar 27-31	Big-O + Algorithms	chapter 14; 15.1-15.8	Algorithms 1 Algorithms 2 Algorithms 3	Algorithms 1 Algorithms 2 Algorithms 3
Week 11 Apr 3-7	Algorithms + NP	15.9; chapter 16	Algorithms 4 Algorithms 5	Algorithms 4 Algorithms 5
Week 12 Apr 10-14	Collections of Sets	chapter 18	COS 1 COS 2 COS 3	COS 1 COS 2 COS 3
Week 13 Apr 17-21	Contradiction State Diagrams	chapter 17, 19.1-19.6	contradiction 1 contradiction 2 state diagrams 1 state diagrams 2	contradiction 1 contradiction 2 state diagrams 1 state diagrams 2
Week 14 Apr 24-28	State Diagrams Countability	19.7-19.8, chapter 20	state diagrams 3 countability 1 countability 2 countability 3 countability 4	State Diagrams 3 Countability 1 Countability 2 Countability 3 Countability 4
Week 15 May 1-5	No new topic
Finals Week	Final is May 4-9 in the CBTF; sign up starting Mar 2