CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Spring 2018

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