CS 225: Discrete Computational Structures
Prof. Jason Sauppe | Fall 2018This 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. | 09/03 | —No Class— | ||
| Wed. | 09/05 | Syllabus | Assignment 01 available | |||
| Fri. | 09/07 | 1.1, 1.2 | ||||
| Logic & Conditionals |
02 | Mon. | 09/10 | 1.3 | ||
| Wed. | 09/12 | 2.1 | Assignment 02 available | |||
| Fri. | 09/14 | Quiz 01 | Assignment 01 due | |||
| Arguments & Proofs |
03 | Mon. | 09/17 | 2.2 | ||
| Wed. | 09/19 | Assignment 03 available | ||||
| Fri. | 09/21 | Quiz 02 | 2.3 | Assignment 02 due | ||
| Proofs & Quantificational Logic |
04 | Mon. | 09/24 | |||
| Wed. | 09/26 | |||||
| Fri. | 09/28 | 3.1 | ||||
| Quantificational Logic |
05 | Mon. | 10/01 | Quiz 03 | Assignment 03 due; Assignment 04 available | |
| Wed. | 10/03 | 3.2 | ||||
| Fri. | 10/05 | —No Class (CS 50th Event)— | ||||
| Complex Quantificational Logic & Exam |
06 | Mon. | 10/08 | Quiz 04 | 3.3 | Assignment 04 due; Assignment 05 available |
| Wed. | 10/10 | Review | ||||
| Fri. | 10/12 | Midterm 1 | ||||
| Complex Quant. Logic & Proof Techniques |
07 | Mon. | 10/15 | 3.4 | ||
| Wed. | 10/17 | |||||
| Fri. | 10/19 | Quiz 05 | 4.1 | Assignment 05 due; Assignment 06 available | ||
| Proof Techniques | 08 | Mon. | 10/22 | 4.2 | ||
| Wed. | 10/24 | |||||
| Fri. | 10/26 | 4.6, 4.7 | ||||
| Sets | 09 | Mon. | 10/29 | Quiz 06 | 6.1 | Assignment 06 due; Assignment 07 available |
| Wed. | 10/31 | |||||
| Fri. | 11/02 | —No Class— | ||||
| Proofs with Sets | 10 | Mon. | 11/05 | Assignment 08 available | ||
| Wed. | 11/07 | 6.2 | ||||
| Fri. | 11/09 | Quiz 07 | Assignment 07 due | |||
| Proofs with Sets | 11 | Mon. | 11/12 | |||
| Wed. | 11/14 | 6.3 | Assignment 09 available | |||
| Fri. | 11/16 | Quiz 08 | Assignment 08 due | |||
| Review | 12 | Mon. | 11/19 | |||
| Wed. | 11/21 | Quiz 09 | Quiz 09 and Assignment 09 are optional | |||
| Fri. | 11/23 | —No Class— | ||||
| Exam & Induction |
13 | Mon. | 11/26 | Midterm 2 | ||
| Wed. | 11/28 | 5.1 | Assignment 10 available | |||
| Fri. | 11/30 | 5.2 | ||||
| Functions & Relations |
14 | Mon. | 12/03 | 7.1 | ||
| Wed. | 12/05 | 7.2 | ||||
| Fri. | 12/07 | Quiz 10 | 7.3 | Assignment 10 due | ||
| Relations, Review, & Final Exam |
15 | Mon. | 12/10 | 8.1-8.3 | ||
| Wed. | 12/12 | Review | ||||
| Fri. | 12/14 | —Final Exam (2:30 PM – 4:30 PM, Centennial 2310)— | ||||