Spring 2021

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.

Week | Mon/Tues class | Lecture topics | Readings | Lecture notes | Lecture videos | Honors videos | Other optional videos | In Real Life |
---|---|---|---|---|---|---|---|---|

Week 1 Jan 25-29 |
Logistics, Q&A | 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 |
|||

Week 2 Feb 1-5 |
Zoom office hour | 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 |
Fri is add date Siren Test Tues |
||

Week 3 Feb 8-12 |
Examlet 1 Logic, Prereqs |
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 |
Fri is Lunar New Year Sun is Valentine's Day |
||

Week 4 Feb 15-19 |
Examlet 2 Number Theory |
Relations | chapter 6 regrade requests |
Relations 1 Relations 2 |
Relations 1 Relations 2 |
SuppLec: Logic-I SuppLec: Logic-II SuppLec: Logic-III |
Tues is Mardi Gras | |

Week 5 Feb 22-26 |
Examlet 3 Modular Arithmetic Sets |
Functions | chapters 7 and 8 | Functions 1 Functions 2 Functions 3 Functions 4 |
Functions 1 Functions 2 Functions 3 Functions 4 |
|||

Week 6 Mar 1-5 |
Examlet 4 Relations |
Graphs 2-way bounding |
chapters 9 and 10 | Graphs 1 Graphs 2 Bounding |
Graphs 1 Graphs 2 Bounding |
Siren Test Tues | ||

Week 7 Mar 8-12 |
Examlet 5 Functions |
Induction | 1.5-1.6; chapter 11 | Induction 1 Induction 2 Induction 3 Induction 4 |
Induction 1 Induction 2 Induction 3 Induction 4 |
[FA20] A worked example [FA20] Alternate intro with some different examples |
Clocks change Sun | |

Week 8 Mar 15-19 |
Examlet 6 Graphs |
Recursive Definition | chapter 12 | Rec. Defn 1 Rec. Defn 2 Rec. Defn 3 |
Rec. Defn 1 Rec. Defn 2 Rec. Defn 3 |
Demo: Induction proving closed form |
Fri is drop date | |

Week 9 Mar 22-26 |
Examlet 7 2-way bounding Induction |
Trees | chapter 13 | Trees 1 Trees 2 Trees 3 |
Trees 1 Trees 2 Trees 3 |
EOH is Fri/Sat Sun is Holi and start of Passover |
||

Week 10 Mar 29-Apr 2 |
Examlet 8 Recursive Definition |
Big-O Algorithms |
chapter 14; 15.1-15.8 | Algorithms 1 Algorithms 2 Algorithms 3 |
Algorithms 1 Algorithms 2 Algorithms 3 |
Thurs is April Fool's Day Sun is Easter |
||

Week 11 Apr 5-9 |
Examlet 9 Trees |
Algorithms/NP | 15.9; chapter 16 | Algorithms 4 Algorithms 5 |
Algorithms 4 Algorithms 5 |
Siren Test Tues | ||

Week 12 Apr 12-16 |
[holiday] | Collections of Sets | chapter 18 | COS 1 COS 2 COS 3 |
COS 1 COS 2 COS 3 |
Ramadan starts Tues | ||

Week 13 Apr 19-23 |
Examlet 10 Big-O, Algorithms Recursion trees |
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 26-30 |
Examlet 11 NP, Contradiction, Collections of sets |
State Diagrams Countability |
19.7-19.8, chapter 20 | state diagrams 3 countability 1 countability 2 countability 3 |
State Diagrams 3 Countability 1 Countability 2 Countability 3 |
Sat is May Day | ||

Half Week 15 May 3-5 |
Makeup Examlets | countability 4 farewell |
Countability 4 Farewell |
Siren Test Tues Wed is Cinco de Mayo |
||||

Finals May 7-14 |
Final exam (A and C lectures): Tuesday 11th 1:30-4:30pm or Thursday 13th 8-11am (you can pick either time) Final exam (B lectures): Monday 10th 1:30-4:30pm or Friday 7th 8-11am (you can pick either time) |