CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Spring 2019

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