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, Thurs Tutorials, homework) |
Readings | Lecture notes | Lecture videos | Mon-Wed examlet topic | |||
|---|---|---|---|---|---|---|---|---|
| Week 1 Aug 22-26 |
Logic | 1.1-1.4, 1.7; chapter 2 | Intro Logic 1 Logic 2 Logic 3 |
Intro Logic 1 Logic 2 Logic 3 |
No examlet | |||
|
Week 2 |
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 |
Examlet 1 Logic, Prereqs |
|||
|
Week 3 |
Modular Arithmetic + Sets |
4.12-4.14, chapter 5 | Numbers 3 Sets 1 Sets 2 |
Numbers 3 Sets 1 Sets 2 |
Examlet 2 |
|||
| Week 4 Sep 12-16 |
Relations | chapter 6 | Relations 1 Relations 2 |
Relations 1 Relations 2 |
Examlet 3 |
|||
| Week 5 Sep 19-23 |
Functions | chapters 7 and 8 | Functions 1 Functions 2 Functions 3 Functions 4 |
Functions 1 Functions 2 Functions 3 Functions 4 |
Examlet 4 |
|||
| Week 6 Sep 26-30 |
Graphs + 2-way bounding |
chapters 9 and 10 | Graphs 1 Graphs 2 Bounding |
Graphs 1 Graphs 2 Bounding |
Examlet 5 |
|||
| Week 7 Oct 3-7 |
Induction | 1.5-1.6; chapter 11 |
Induction 1 Optional: |
Induction 1 Optional: |
Examlet 6 |
|||
| Week 8 Oct 10-14 |
Recursive Definition | chapter 12 | Rec. Defn 1 Rec. Defn 2 Rec. Defn 3 |
Rec. Defn 1 |
Examlet 7 |
|||
| Week 9 Oct 17-21 |
Trees + Grammars |
chapter 13 | Trees 1 Trees 2 Trees 3 |
Trees 1 Trees 2 Trees 3 |
Examlet 8 |
|||
| Week 10 Oct 24-28 |
Big-O + Algorithms |
chapter 14; 15.1-15.8 | Algorithms 1 Algorithms 2 Algorithms 3 |
Algorithms 1 Algorithms 2 Algorithms 3 |
Examlet 9 |
|||
| Week 11 Oct 31-Nov 4 |
Algorithms + NP |
15.9; chapter 16 | Algorithms 4 Algorithms 5 |
Algorithms 4 Algorithms 5 |
Examlet 10 |
|||
| Week 12 Nov 7-11 |
Collections of Sets | chapter 18 | COS 1 COS 2 COS 3 |
COS 1 COS 2 COS 3 |
Examlet 11 |
|||
| Week 13 Nov 14-18 |
Contradiction |
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 |
Examlet 12 |
|||
| Fall Break Nov 21-25 |
||||||||
| Week 14 Nov 28- Dec 2 |
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 |
Examlet 13 |
|||
| Week 15 Dec 5-7 |
No new topic | Examlet Retake | ||||||
| Finals Week | Dates and times TBD | |||||||