CS 225: Discrete Computational Structures
Prof. Jason Sauppe | Fall 2017This 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., slides, assignments) can be found on D2L.
| Content | Week | Day | Date | In-Class | Reading | Additional Notes |
|---|---|---|---|---|---|---|
| Intro | 01 | Mon. | 09/04 | —No Class— | ||
| Wed. | 09/06 | Syllabus | Assignment 01 available | |||
| Fri. | 09/08 | 1.1, 1.2 | ||||
| Propositional Logic |
02 | Mon. | 09/11 | 1.3 | ||
| Wed. | 09/13 | 2.1 | ||||
| Fri. | 09/15 | Quiz 01 | Assignment 01 due; Assignment 02 available | |||
| Conditionals & Arguments |
03 | Mon. | 09/18 | 2.2 | ||
| Wed. | 09/20 | |||||
| Fri. | 09/22 | Quiz 02 | 2.3 | Assignment 02 due; Assignment 03 available | ||
| Proofs | 04 | Mon. | 09/25 | |||
| Wed. | 09/27 | |||||
| Fri. | 09/29 | Quiz 03 | Assignment 03 due | |||
| Exam & Quantificational Logic |
05 | Mon. | 10/02 | Review | ||
| Wed. | 10/04 | Midterm 1 | ||||
| Fri. | 10/06 | 3.1 | Assignment 04 available | |||
| Quantificational Logic |
06 | Mon. | 10/09 | 3.2 | ||
| Wed. | 10/11 | |||||
| Fri. | 10/13 | 3.3 | ||||
| Complex Quantificational Logic |
07 | Mon. | 10/16 | Quiz 04 | Assignment 04 due; Assignment 05 available | |
| Wed. | 10/18 | |||||
| Fri. | 10/20 | 3.4 | ||||
| Proof Techniques | 08 | Mon. | 10/23 | Quiz 05 | Assignment 05 due; Assignment 06 available | |
| Wed. | 10/25 | 4.1, 4.2 | ||||
| Fri. | 10/27 | 4.6, 4.7 | ||||
| Set Theory | 09 | Mon. | 10/30 | Quiz 06 | 6.1 | Assignment 06 due; Assignment 07 available |
| Wed. | 11/01 | |||||
| Fri. | 11/03 | 6.2 | ||||
| Proofs with Sets | 10 | Mon. | 11/06 | Quiz 07 | Assignment 07 due; Assignment 08 available | |
| Wed. | 11/08 | 6.3 | ||||
| Fri. | 11/10 | —No Class (DLS Talks)— | ||||
| Set Proofs & Review |
11 | Mon. | 11/13 | |||
| Wed. | 11/15 | Quiz 08 | Assignment 08 due | |||
| Fri. | 11/17 | Review | ||||
| Exam & Sequences |
12 | Mon. | 11/20 | Midterm 2 | ||
| Wed. | 11/22 | 5.1 | Assignment 09 available | |||
| Fri. | 11/24 | —No Class— | ||||
| Induction & Functions |
13 | Mon. | 11/27 | 5.2 | ||
| Wed. | 11/29 | 7.1 | Assignment 10 available | |||
| Fri. | 12/01 | Quiz 09 | Assignment 09 due | |||
| Functions & Relations |
14 | Mon. | 12/04 | 7.2 | ||
| Wed. | 12/06 | 7.3 | ||||
| Fri. | 12/08 | Quiz 10 | 8.1 | Assignment 10 due | ||
| Review | 15 | Mon. | 12/11 | 8.2 | ||
| Wed. | 12/13 | Review | ||||
| Fri. | 12/15 | —No Class— | ||||
| Final Exam | 16 | Mon. | 12/18 | —Final Exam (10:00 AM – 12:00 PM, Centennial 3101)— | ||