CS 225: Discrete Computational Structures
Prof. Jason Sauppe | Fall 2022This 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. | 09/05 | —No Class— | ||
| Wed. | 09/07 | Syllabus, 1.1 | ||||
| Fri. | 09/09 | 1.2 | ||||
| Propositional Logic |
02 | Mon. | 09/12 | 1.3 | Self-Assessment 00 due | |
| Wed. | 09/14 | 2.1 | ||||
| Fri. | 09/16 | Self-Assessment 01 due | ||||
| Conditionals & Arguments |
03 | Mon. | 09/19 | |||
| Wed. | 09/21 | 2.2 | Self-Assessment 02 due on Thursday | |||
| Fri. | 09/23 | 2.3 | ||||
| Proofs & Quantificational Logic |
04 | Mon. | 09/26 | |||
| Wed. | 09/28 | 3.1 | Self-Assessment 03 due | |||
| Fri. | 09/30 | |||||
| Quantificational Logic |
05 | Mon. | 10/03 | 3.2 | ||
| Wed. | 10/05 | 3.3 | Self-Assessment 04 due | |||
| Fri. | 10/07 | Review | ||||
| Complex Quantificational Logic |
06 | Mon. | 10/10 | Exam 01 | ||
| Wed. | 10/12 | 3.4 | ||||
| Fri. | 10/14 | |||||
| Methods of Proof |
07 | Mon. | 10/17 | —No Class— | ||
| Wed. | 10/19 | 4.1 | Self-Assessment 05 due | |||
| Fri. | 10/21 | |||||
| Methods of Proof & Set Proofs |
08 | Mon. | 10/24 | |||
| Wed. | 10/26 | 6.1 | Self-Assessment 06 due | |||
| Fri. | 10/28 | 6.2 | ||||
| Set Proofs & Proof by Cases |
09 | Mon. | 10/31 | |||
| Wed. | 11/02 | 4.4 | Self-Assessment 07 due | |||
| Fri. | 11/04 | |||||
| Proof by Cases & Proof by Contradiction |
10 | Mon. | 11/07 | Self-Assessment 08 due | ||
| Wed. | 11/09 | 4.6 | ||||
| Fri. | 11/11 | Review | Self-Assessment 09 due | |||
| Proof by Contradiction &Proof and Disproof |
11 | Mon. | 11/14 | Exam 02 | ||
| Wed. | 11/16 | |||||
| Fri. | 11/18 | 6.3 | ||||
| Proof and Disproof & Induction |
12 | Mon. | 11/21 | Self-Assessment 10 due | ||
| Wed. | 11/23 | 5.1, 5.2 | ||||
| Fri. | 11/25 | —No Class— | ||||
| Induction & Functions |
13 | Mon. | 11/28 | Self-Assessment 11 due | ||
| Wed. | 11/30 | Review | ||||
| Fri. | 12/02 | 7.1 | Self-Assessment 12 due | |||
| Functions & Relations |
14 | Mon. | 12/05 | Exam 03 | ||
| Wed. | 12/07 | 7.2, 7.3 | ||||
| Fri. | 12/09 | 8.1 | ||||
| Relations & Review |
15 | Mon. | 12/12 | 8.2, 8.3 | Self-Assessment 13 due | |
| Wed. | 12/14 | Review | ||||
| Fri. | 12/16 | —No Class— | ||||
| Final Exam | 16 | Mon. | 12/19 | —Final Exam (10:00 AM – 12:00 PM, Centennial 2211) — | ||