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