CS 225: Discrete Computational Structures
Prof. Jason Sauppe | Fall 2015This 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/07 | —No Class— | ||
Wed. | 09/09 | |||||
Fri. | 09/11 | 1.1, 1.2, 1.3 | ||||
Logic | 02 | Mon. | 09/14 | 2.1 | ||
Wed. | 09/16 | 2.2 | ||||
Fri. | 09/18 | Quiz | Assignment 1 available | |||
Conditionals & Arguments |
03 | Mon. | 09/21 | Assignment 2 available | ||
Wed. | 09/23 | 2.3 | ||||
Fri. | 09/25 | Quiz | Assignment 1 due | |||
Proofs | 04 | Mon. | 09/28 | Assignment 3 available | ||
Wed. | 09/30 | Assignment 2 due | ||||
Fri. | 10/02 | |||||
Exam | 05 | Mon. | 10/05 | Quiz | 2.4 | |
Wed. | 10/07 | Review | Assignment 3 due | |||
Fri. | 10/09 | Midterm 1 | ||||
Quantificational Logic |
06 | Mon. | 10/12 | 3.1 | Assignment 4 available | |
Wed. | 10/14 | 3.2 | ||||
Fri. | 10/16 | |||||
Complex Quantificational Logic |
07 | Mon. | 10/19 | Quiz | 3.3 | Assignment 4 due; Assignment 5 available |
Wed. | 10/21 | 3.4 | ||||
Fri. | 10/23 | |||||
Set Theory | 08 | Mon. | 10/26 | Quiz | 6.1 | Assignment 5 due; Assignment 6 available |
Wed. | 10/28 | 6.2 | ||||
Fri. | 10/30 | |||||
Proofs with Sets | 09 | Mon. | 11/02 | —No Class— | Worksheet (outside of class) | |
Wed. | 11/04 | Quiz | Assignment 6 due; Worksheet due | |||
Fri. | 11/06 | Assignment 7 available | ||||
Proof Techniques | 10 | Mon. | 11/09 | 6.3 | ||
Wed. | 11/11 | 4.1, 4.2 | ||||
Fri. | 11/13 | 4.6, 4.7 | ||||
Review | 11 | Mon. | 11/16 | Quiz | Assignment 7 due | |
Wed. | 11/18 | Review | ||||
Fri. | 11/20 | Review | ||||
Exam & Sequences |
12 | Mon. | 11/23 | Midterm 2 | ||
Wed. | 11/25 | Worksheet (in class); Assignment 8 available | ||||
Fri. | 11/27 | —No Class— | ||||
Induction & Functions |
13 | Mon. | 11/30 | 5.1 | ||
Wed. | 12/02 | 5.2 | Worksheet due | |||
Fri. | 12/04 | Quiz | 7.1 | Assignment 8 due; Assignment 9 available | ||
Functions & Relations |
14 | Mon. | 12/07 | 7.2 | ||
Wed. | 12/09 | Quiz | 7.3 | |||
Fri. | 12/11 | 8.1, 8.2 | Assignment 9 due; Assignment 10 available | |||
Review | 15 | Mon. | 12/14 | Quiz | 8.3 | Assignment 10 due |
Wed. | 12/16 | Review | ||||
Fri. | 12/18 | —Final Exam (12:15 PM-2:15 PM, Centennial 2205)— | ||||