A typical weekly schedule in this course will be as follows.
Solutions for lecture worksheets and homeworks will be graded for participation. They are meant to encourage you to solve problems which is the best way to learn the material in this course. The examlet problems will be variants of the problems seen in the lecture worksheet and homeworks.
Video recordings of lecture materials can be accessed from the CS 173 channel on Mediaspace. Graded work will be turned in on PrairieLearn. Zoom links for lecture meetings on Thursday and August 25 (Tuesday) can be found on our Zoom links page.
In the table below, sections and chapters refer to portions of the class textbook Mathematics for Computer Science. Topics covered in the lecture can often also be found in the alternate textbook for the course Building Blocks for Theoretical Computer Science.
Week  Date  Lecture/Test Topic  Reference Material 


Aug 25  Course Overview and Administrivia  Syllabus 
Aug 27  Propositional and Predicate Logic [notes, worksheet, worksheet solutions] 
Video lecture: Logic (backup) Optional video: P versus NP (backup) Textbook: Chapter 3 

Aug 27  Week 1 worksheet due  
Aug 29  Homework 1 due Homework 1 solutions 
Optional video: Problem Demo [Notes]  

Sep 01  No class  
Sep 03  Proofs [notes, worksheet, worksheet solutions] 
Video lecture: Proofs Optional video: Why prove? Textbook: Chapter 1 

Sep 03  Week 2 worksheet due  Read Exam instructions: Student Instructions, How to position your phone 

Sep 05 
Homework 2 due 
Optional video: Bad Proof Demo (backup) [Notes] Optional video: Good Proof Demo (backup) [Notes] 


Sep 08  Examlet 1 on Logic and Proofs  Skill set 
Sep 10  Sets, Functions, and Relations [notes, worksheet, worksheet solutions] 
Video lecture: Sets and Functions Textbook: Chapter 4 

Sep 10  Week 3 worksheet due  
Sep 12  Homework 3 due Homework 3 solutions 
Optional Video: Problem Demo (backup) [Notes]  

Sep 15  Examlet 2 on Sets, functions, and relations  Skill set 
Sep 17  Cardinality of sets [notes, worksheet, worksheet solutions] 
Video Lecture: Cardinality Optional video: Computability Textbook: Chapter 8 and Section 4.5 

Sep 17  Week 4 worksheet due  
Sep 19  Homework 4 due Homework 4 solutions 
Video: Problem Demo #1 [Notes] Video: Problem Demo #2 [Notes] 


Sep 22  Examlet 3 on Cardinality  Skill set 
Sep 24  Directed Graphs [notes, worksheet, worksheet solutions] 
Video Lecture: Directed Graphs Textbook: Chapter 10 (skip 10.3, 10.5.2, 10.710.9, 10.10.1) 

Sep 24  Week 5 worksheet due  
Sep 26  Homework 5 due Homework 5 solutions 
Video: Problem Demo #1 and #2 [Notes]  

Sep 29  Examlet 4 on Directed graphs  Skill set 
Oct 01  Simple Graphs and Trees [notes, worksheet, worksheet solutions] 
Video Lecture: Simple Graphs and Trees (backup) Textbook: Chapter 12 

Oct 01  Week 6 worksheet due  
Oct 03  Homework 6 due Homework 6 solutions 
Videos: Problem Demo [Notes] Graph MC/ProofBlocks Demo 


Oct 06  Examlet 5 on Undirected Graphs and trees  Skill set 
Oct 08  Induction [notes, worksheet, worksheet solutions] 
Video Lecture: Induction Textbook: Chapter 5, 66.2 

Oct 08  Week 7 worksheet due  
Oct 10  Homework 7 due Homework 7 solutions 
Video: Problem Demos #1 (backup) and #2 (backup) [Notes]  

Oct 13  Examlet 6 on Induction  Skill set 
Oct 15  Recursively defined sets and Structural Induction [notes, worksheet, worksheet solutions] 
Video Lecture Textbook: Chapter 7 

Oct 15  Week 8 worksheet due  
Oct 17  Homework 8 due Homework 8 solutions 


Oct 20  Examlet 7 on Recursively defined sets and Structural Induction  Skill set 
Oct 22  Number Theory [notes, worksheet, worksheet solutions] 
Video Lecture: Number Theory Textbook: Chapter 9 

Oct 22  Week 9 worksheet due  
Oct 24  Homework 9 due Homework 9 solutions 
Video: Problem Demo #1 [Notes] and #2 [Notes]  

Oct 27  Examlet 8 on Number Theory  Skill set 
Oct 29  Counting [notes, worksheet, worksheet solutions] 
Video Lecture: Counting Textbook: Chapter 15 

Oct 29  Week 10 worksheet due  
Oct 31 ðŸÅ½ƒ  Homework 10 due Homework 10 solutions 
Video: Problem Demo #1 [Notes] and #2 [Notes]  

Nov 03  Election Day (allcampus holiday)  
Nov 05  Probability [notes, worksheet, worksheet solutions] 
Video Lecture: Probability Textbook: Chapter 17 

Nov 05  Week 11 worksheet due  
Nov 07  Homework 11 due Homework 11 solutions 
Video: Problem Demo [Notes]  

Nov 10  Examlet 10 on Probability and Counting  Skill set 
Nov 12  Summing series and solving recurrences [notes, worksheet, worksheet solutions] 
Video Lecture #1 and #2 Textbook: Chapter 14/22 

Nov 12  Week 12 worksheet due  
Nov 14  Homework 12 due Homework 12 solutions 
Video: Problem Demo #1 [Notes] and #2 [Notes]  

Nov 17  Examlet 11 on Summing series and solving recurrences  Skill set 
Nov 19  Algorithm analysis and Big O [notes, worksheet, worksheet solutions] 
Video Lecture: Big O Textbook: Chapter 14.7 

Nov 19  Week 13 worksheet due  

Nov 21 to Nov 29  Thanksgiving Break  

Dec 01  Homework 13 due (No test or class) Homework 13 solutions 

Dec 03  Pigeon Hole Principle (PHP) and Principle of InclusionExclusion (PIE) [notes, worksheet, worksheet solutions] 
Video Lecture: PHP and PIE Textbook: Sections 15.8 and 15.9 

Dec 03  Week 14 worksheet due  
Dec 05  Homework 14 due Homework 14 solutions 


Dec 08  Examlet 12 on Algorithm analysis and Big O, PHP, and PIE  Skill set 

Dec 11 (conflict) Dec 14 
Final Exam: Retake up to 3 examlets again 