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