CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Fall 2015

This 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)—