CS 225: Discrete Computational Structures
Prof. Jason Sauppe | Spring 2026This page contains a course schedule for CS 225. Rows in gray are tentative and will be updated as the course progresses. Other course content (e.g., assignments) can be found on Canvas.
| Content | Week | Day | Date | In-Class | Reading | Assignments |
|---|---|---|---|---|---|---|
| Intro | 01 | Mon. | 01/26 | Syllabus, 1.1 | ||
| Wed. | 01/28 | 1.2 | ||||
| Fri. | 01/30 | 1.3 | ||||
| Propositional Logic |
02 | Mon. | 02/02 | 2.1 | ||
| Wed. | 02/04 | Self-Assessment 01 due | ||||
| Fri. | 02/06 | 2.2 | ||||
| Arguments & Proofs |
03 | Mon. | 02/09 | 2.3 | ||
| Wed. | 02/11 | Self-Assessment 02 due | ||||
| Fri. | 02/13 | |||||
| Quantificational Logic |
04 | Mon. | 02/16 | 3.1 | ||
| Wed. | 02/18 | 3.2 | Self-Assessment 03 due | |||
| Fri. | 02/20 | |||||
| Complex Quantificational Logic |
05 | Mon. | 02/23 | Review | Self-Assessment 04 due on Tuesday | |
| Wed. | 02/25 | Exam 01 | ||||
| Fri. | 02/27 | 3.3 | ||||
| Complex Quant. Logic & Methods of Proof |
06 | Mon. | 03/02 | 3.4 | ||
| Wed. | 03/04 | |||||
| Fri. | 03/06 | 4.1 | Self-Assessment 05 due | |||
| Methods of Proof & Sets |
07 | Mon. | 03/09 | 4.2 | ||
| Wed. | 03/11 | 6.1 | ||||
| Fri. | 03/13 | Self-Assessment 06 due | ||||
| Spring Break | Mon. | 03/16 | —No Class— | |||
| Wed. | 03/18 | —No Class— | ||||
| Fri. | 03/20 | —No Class— | ||||
| Sets & Set Proofs |
08 | Mon. | 03/23 | |||
| Wed. | 03/25 | 6.2 | ||||
| Fri. | 03/27 | —Class Cancelled— | Self-Assessment 07 due | |||
| Set Proofs & Proof by Cases |
09 | Mon. | 03/30 | |||
| Wed. | 04/01 | 4.5 | ||||
| Fri. | 04/03 | Self-Assessment 08 due | ||||
| Proof by Cases | 10 | Mon. | 04/06 | Review | ||
| Wed. | 04/08 | Exam 02 | ||||
| Fri. | 04/10 | |||||
| Proof by Contradiction & Proof and Disproof |
11 | Mon. | 04/13 | 4.7 | Self-Assessment 09 due | |
| Wed. | 04/15 | |||||
| Fri. | 04/17 | 6.3 | Self-Assessment 10 due | |||
| Proof and Disproof & Induction |
12 | Mon. | 04/20 | |||
| Wed. | 04/22 | 5.1 | Self-Assessment 11 due on Thursday | |||
| Fri. | 04/24 | 5.2 | ||||
| Functions | 13 | Mon. | 04/27 | Review | Self-Assessment 12 due on Tuesday | |
| Wed. | 04/29 | Exam 03 | ||||
| Fri. | 05/01 | 7.1, 7.2 | ||||
| Functions, Relations, & Review |
14 | Mon. | 05/04 | 7.3, 8.1 | ||
| Wed. | 05/06 | 8.2, 8.3 | ||||
| Fri. | 05/08 | Review | ||||
| Final Exam | 15 | Mon. | 05/11 | —Final Exam (2:30 PM – 4:30 PM, Location TBD) — | ||