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, Fri Tutorials, homework) |
Readings | Lecture notes | Lecture videos | Sun-Tue examlet topic | |||
|---|---|---|---|---|---|---|---|---|
| Week 1 Jan 17-21 |
Logic | 1.1-1.4, 1.7; chapter 2 meetings and materials assigned work |
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 exam instructions academic integrity policy |
Proofs 1 Proofs 2 Numbers 1 Numbers 2 |
Proofs 1 Proofs 2 Numbers 1 Numbers 2 |
No examlet | |||
|
Week 3 |
Modular Arithmetic + Sets |
4.12-4.14, chapter 5 campus emergency info missed examlets special situations |
Numbers 3 Sets 1 Sets 2 |
Numbers 3 Sets 1 Sets 2 |
Examlet 1 |
|||
| Week 4 Feb 7-11 |
Relations | chapter 6 regrade requests |
Relations 1 Relations 2 |
Relations 1 Relations 2 |
Examlet 2 |
|||
| Week 5 Feb 14-18 |
Functions | chapters 7 and 8 | Functions 1 Functions 2 Functions 3 Functions 4 |
Functions 1 Functions 2 Functions 3 Functions 4 |
Examlet 3 |
|||
| Week 6 Feb 21-25 |
Graphs + 2-way bounding |
chapters 9 and 10 | Graphs 1 Graphs 2 Bounding |
Graphs 1 Graphs 2 Bounding |
Examlet 4 |
|||
| Week 7 Feb 28-Mar 4 |
Induction | 1.5-1.6; chapter 11 |
Induction 1 Optional: |
Induction 1 Optional: |
Examlet 5 |
|||
| Week 8 Mar 7-11 |
Recursive Definition | chapter 12 | Rec. Defn 1 Rec. Defn 2 Rec. Defn 3 |
Rec. Defn 1 |
Examlet 6 |
|||
| Spring Break |
||||||||
| Week 9 Mar 21-25 |
Trees + Grammars |
chapter 13 | Trees 1 Trees 2 Trees 3 |
Trees 1 Trees 2 Trees 3 |
Examlet 7 |
|||
| Week 10 Mar 28-Apr 1 |
Big-O + Algorithms |
chapter 14; 15.1-15.8 | Algorithms 1 Algorithms 2 Algorithms 3 |
Algorithms 1 Algorithms 2 Algorithms 3 |
Examlet 8 |
|||
| Week 11 Apr 4-8 |
Algorithms + NP |
15.9; chapter 16 | Algorithms 4 Algorithms 5 |
Algorithms 4 Algorithms 5 |
Examlet 9 |
|||
| Week 12 Apr 11-15 |
Collections of Sets | chapter 18 | COS 1 COS 2 COS 3 |
COS 1 COS 2 COS 3 |
Examlet 10 |
|||
| Week 13 Apr 18-22 |
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 |
No examlet |
|||
| Week 14 Apr 25-29 |
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 "last" |
|||
| Week 15 May 2-6 |
No new topic | Examlet Retake | ||||||
| Finals Week | Dates and times TBD | |||||||