CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Spring 2016

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. 01/25 Syllabus
Wed. 01/27 1.1, 1.2 Assignment 01 available
Fri. 01/29 1.3
Logic 02 Mon. 02/01 2.1
Wed. 02/03 Quiz 01 Assignment 01 due; Assignment 02 available
Fri. 02/05 2.2
Conditionals
& Arguments
03 Mon. 02/08
Wed. 02/10 Quiz 02 2.3 Assignment 02 due; Assignment 03 available
Fri. 02/12
Proofs 04 Mon. 02/15
Wed. 02/17 Quiz 03 Assignment 03 due
Fri. 02/19 Review
Exam &
Quantificational
Logic
05 Mon. 02/22 Midterm 1
Wed. 02/24 3.1 Assignment 04 available
Fri. 02/26 3.2
Complex
Quantificational
Logic
06 Mon. 02/29
Wed. 03/02 Quiz 04 3.3 Assignment 04 due; Assignment 05 available
Fri. 03/04
Complex QL
& Sequences
07 Mon. 03/07 3.4
Wed. 03/09 Quiz 05 Assignment 05 due
Fri. 03/11 5.1 Worksheet (in class)
Spring Break Mon. 03/14 No Class—
Wed. 03/16 No Class—
Fri. 03/18 No Class—
Proof Techniques 08 Mon. 03/21 4.1, 4.2 Worksheet due
Wed. 03/23 4.6, 4.7 Assignment 06 available
Fri. 03/25
Induction
& Sets
09 Mon. 03/28 5.1
Wed. 03/30 5.2 (Optional) Survey due
Fri. 04/01 Quiz 06 Assignment 06 due; Assignment 07 available
Set Theory 10 Mon. 04/04 6.1
Wed. 04/06 Quiz 07
Fri. 04/08 6.2 Assignment 08 available
Proofs with Sets 11 Mon. 04/11 Assignment 07 due
Wed. 04/13 6.3
Fri. 04/15
Exam &
Functions
12 Mon. 04/18 Quiz 08 7.1 Assignment 08 due; Assignment 09 available
Wed. 04/20 Review
Fri. 04/22 Midterm 2
Functions 13 Mon. 04/25 7.2
Wed. 04/27
Fri. 04/29 7.3 Assignment 10 (optional) available
Relations 14 Mon. 05/02 Quiz 09 Assignment 09 due
Wed. 05/04 8.1, 8.2 Exam Corrections Due
Fri. 05/06 Review
Final Exam 15 Mon. 05/09 Final Exam (2:30 PM – 4:30 PM, Centennial 2310)—