CS 225: Discrete Computational Structures
Prof. Jason Sauppe | Spring 2019This 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 D2L.
Content | Week | Day | Date | In-Class | Reading | Assignments |
---|---|---|---|---|---|---|
Intro | 01 | Mon. | 01/28 | Syllabus | Assignment 01 available | |
Wed. | 01/30 | —No Class— | ||||
Fri. | 02/01 | 1.1, 1.2 | ||||
Logic & Conditionals |
02 | Mon. | 02/04 | 1.3 | ||
Wed. | 02/06 | 2.1 | Assignment 02 available | |||
Fri. | 02/08 | Quiz 01 | Assignment 01 due | |||
Arguments & Proofs |
03 | Mon. | 02/11 | 2.2 | ||
Wed. | 02/13 | Assignment 03 available | ||||
Fri. | 02/15 | Quiz 02 | 2.3 | Assignment 02 due | ||
Proofs & Quantificational Logic |
04 | Mon. | 02/18 | |||
Wed. | 02/20 | 3.1 | Assignment 04 available | |||
Fri. | 02/22 | Quiz 03 | Assignment 03 due | |||
Complex Quantificational Logic |
05 | Mon. | 02/25 | 3.2 | ||
Wed. | 02/27 | 3.3 | Assignment 05 available | |||
Fri. | 03/01 | Quiz 04 | Assignment 04 due | |||
Review, Exam, & Quant. Args. |
06 | Mon. | 03/04 | Review | ||
Wed. | 03/06 | Midterm 1 | ||||
Fri. | 03/08 | 3.4 | ||||
Proof Techniques | 07 | Mon. | 03/11 | 4.1, 4.2 | Assignment 06 available | |
Wed. | 03/13 | Quiz 05 | Assignment 05 due | |||
Fri. | 03/15 | |||||
Spring Break | Mon. | 03/18 | —No Class— | |||
Wed. | 03/20 | —No Class— | ||||
Fri. | 03/22 | —No Class— | ||||
Proof Techniques & Sets |
08 | Mon. | 03/25 | 4.4, 4.6 | ||
Wed. | 03/27 | |||||
Fri. | 03/29 | Quiz 06 | 6.1 | Assignment 06 due; Assignment 07 available | ||
Proofs with Sets | 09 | Mon. | 04/01 | |||
Wed. | 04/03 | 6.2 | Assignment 08 available | |||
Fri. | 04/05 | Quiz 07 | Assignment 07 due | |||
Proofs with Sets | 10 | Mon. | 04/08 | |||
Wed. | 04/10 | |||||
Fri. | 04/12 | 6.3 | ||||
Set Disproofs & Induction |
11 | Mon. | 04/15 | Quiz 08 | Assignment 08 due; Assignment 09 available | |
Wed. | 04/17 | |||||
Fri. | 04/19 | Quiz 09 | 5.1 | Assignment 09 due | ||
Exam & Induction |
12 | Mon. | 04/22 | Review | 5.2 | |
Wed. | 04/24 | Midterm 2 | ||||
Fri. | 04/26 | Assignment 10 available | ||||
Functions | 13 | Mon. | 04/29 | 7.1-7.2 | ||
Wed. | 05/01 | |||||
Fri. | 05/03 | 7.3 | ||||
Relations & Review |
14 | Mon. | 05/06 | Quiz 10 | 8.1-8.2 | Assignment 10 due |
Wed. | 05/08 | 8.3 | ||||
Fri. | 05/10 | Review | ||||
Final Exam | 15 | Fri. | 05/17 | —Final Exam (4:45 PM – 6:45 PM, Centennial 2305) — | ||