CS 225: Discrete Computational Structures
Prof. Jason Sauppe | Spring 2016This 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/25 | Syllabus | ||
| Wed. | 01/27 | 1.1, 1.2 | Assignment 01 available | |||
| Fri. | 01/29 | 1.3 | ||||
| Logic | 02 | Mon. | 02/01 | 2.1 | ||
| Wed. | 02/03 | Quiz 01 | Assignment 01 due; Assignment 02 available | |||
| Fri. | 02/05 | 2.2 | ||||
| Conditionals & Arguments |
03 | Mon. | 02/08 | |||
| Wed. | 02/10 | Quiz 02 | 2.3 | Assignment 02 due; Assignment 03 available | ||
| Fri. | 02/12 | |||||
| Proofs | 04 | Mon. | 02/15 | |||
| Wed. | 02/17 | Quiz 03 | Assignment 03 due | |||
| Fri. | 02/19 | Review | ||||
| Exam & Quantificational Logic |
05 | Mon. | 02/22 | Midterm 1 | ||
| Wed. | 02/24 | 3.1 | Assignment 04 available | |||
| Fri. | 02/26 | 3.2 | ||||
| Complex Quantificational Logic |
06 | Mon. | 02/29 | |||
| Wed. | 03/02 | Quiz 04 | 3.3 | Assignment 04 due; Assignment 05 available | ||
| Fri. | 03/04 | |||||
| Complex QL & Sequences |
07 | Mon. | 03/07 | 3.4 | ||
| Wed. | 03/09 | Quiz 05 | Assignment 05 due | |||
| Fri. | 03/11 | 5.1 | Worksheet (in class) | |||
| Spring Break | Mon. | 03/14 | —No Class— | |||
| Wed. | 03/16 | —No Class— | ||||
| Fri. | 03/18 | —No Class— | ||||
| Proof Techniques | 08 | Mon. | 03/21 | 4.1, 4.2 | Worksheet due | |
| Wed. | 03/23 | 4.6, 4.7 | Assignment 06 available | |||
| Fri. | 03/25 | |||||
| Induction & Sets |
09 | Mon. | 03/28 | 5.1 | ||
| Wed. | 03/30 | 5.2 | (Optional) Survey due | |||
| Fri. | 04/01 | Quiz 06 | Assignment 06 due; Assignment 07 available | |||
| Set Theory | 10 | Mon. | 04/04 | 6.1 | ||
| Wed. | 04/06 | Quiz 07 | ||||
| Fri. | 04/08 | 6.2 | Assignment 08 available | |||
| Proofs with Sets | 11 | Mon. | 04/11 | Assignment 07 due | ||
| Wed. | 04/13 | 6.3 | ||||
| Fri. | 04/15 | |||||
| Exam & Functions |
12 | Mon. | 04/18 | Quiz 08 | 7.1 | Assignment 08 due; Assignment 09 available |
| Wed. | 04/20 | Review | ||||
| Fri. | 04/22 | Midterm 2 | ||||
| Functions | 13 | Mon. | 04/25 | 7.2 | ||
| Wed. | 04/27 | |||||
| Fri. | 04/29 | 7.3 | Assignment 10 (optional) available | |||
| Relations | 14 | Mon. | 05/02 | Quiz 09 | Assignment 09 due | |
| Wed. | 05/04 | 8.1, 8.2 | Exam Corrections Due | |||
| Fri. | 05/06 | Review | ||||
| Final Exam | 15 | Mon. | 05/09 | —Final Exam (2:30 PM – 4:30 PM, Centennial 2310)— | ||