CS 225: Discrete Computational Structures
Prof. Jason Sauppe | Fall 2020This 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/07 | —No Class— | ||
Wed. | 09/09 | Syllabus | ||||
Fri. | 09/11 | 1.1, 1.2 | Self-Assessment 00 due | |||
Propositional Logic |
02 | Mon. | 09/14 | —Class cancelled— | ||
Wed. | 09/16 | (Online: #03) | 1.3 | |||
Fri. | 09/18 | (Online: #04) | 2.1 | |||
Conditionals, Arguments, & Proofs |
03 | Mon. | 09/21 | (Online: #05) | Self-Assessment 01 due | |
Wed. | 09/23 | (Online: #06) | 2.2 | |||
Fri. | 09/25 | (Online: #07) | 2.3 | |||
Quantificational Logic |
04 | Mon. | 09/28 | (Online: #08) | Self-Assessment 02 due | |
Wed. | 09/30 | (Online: #09) | 3.1 | |||
Fri. | 10/02 | (Online: #10) | ||||
Complex Quantificational Logic |
05 | Mon. | 10/05 | 3.2 | Self-Assessment 03 due | |
Wed. | 10/07 | 3.3 | ||||
Fri. | 10/09 | 3.4 | Self-Assessment 04 due | |||
Exam | 06 | Mon. | 10/12 | Review | ||
Wed. | 10/14 | Exam 01 | ||||
Fri. | 10/16 | |||||
Methods of Proof |
07 | Mon. | 10/19 | 4.1 | Self-Assessment 05 due | |
Wed. | 10/21 | |||||
Fri. | 10/23 | 6.1 | ||||
Sets & Set Proofs |
08 | Mon. | 10/26 | 6.2 | Self-Assessment 06 due | |
Wed. | 10/28 | |||||
Fri. | 10/30 | |||||
Set Proofs & Proof by Cases |
09 | Mon. | 11/02 | Self-Assessment 07 due | ||
Wed. | 11/04 | 4.4 | ||||
Fri. | 11/06 | |||||
Set Proofs & Proof by Contradiction |
10 | Mon. | 11/09 | 4.6 | Self-Assessment 08 due | |
Wed. | 11/11 | |||||
Fri. | 11/13 | |||||
Exam & Set Disproofs |
11 | Mon. | 11/16 | Review | 6.3 | Self-Assessment 09 due |
Wed. | 11/18 | Exam 02 | ||||
Fri. | 11/20 | 5.1 | ||||
Induction | 12 | Mon. | 11/23 | 5.2 | Self-Assessment 10 due | |
Wed. | 11/25 | Optional Exam 03 | ||||
Fri. | 11/27 | —No Class— | ||||
Functions | 13 | Mon. | 11/30 | (Online: #34) | 7.1 | Self-Assessment 11 due |
Wed. | 12/02 | (Online: #35) | 7.2 | |||
Fri. | 12/04 | (Online: #36) | ||||
Functions & Relations |
14 | Mon. | 12/07 | (Online: #37) | 7.3 | Self-Assessment 12 due |
Wed. | 12/09 | (Online: #38) | 8.1 | |||
Fri. | 12/11 | (Online: #39) | 8.2 | |||
Relations & Final Exam |
15 | Mon. | 12/14 | (Online: #40) | 8.3 | Self-Assessment 13 due |
Wed. | 12/16 | (Online: #41) | ||||
Fri. | 12/18 | —Final Exam (12:15 PM – 2:15 PM, Online Canvas Quiz) — | ||||