CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Fall 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 Canvas.

Content Week Day Date In-Class Reading Assignments
Intro 01 Mon. 09/02 No Class
Wed. 09/04 Syllabus Assignment 01 available
Fri. 09/06 1.1, 1.2
Logic &
Conditionals
02 Mon. 09/09 1.3
Wed. 09/11 2.1 Assignment 02 available
Fri. 09/13 Quiz 01 Assignment 01 due
Arguments
& Proofs
03 Mon. 09/16 2.2
Wed. 09/18 Assignment 03 available
Fri. 09/20 Quiz 02 2.3 Assignment 02 due
Proofs &
Quantificational
Logic
04 Mon. 09/23
Wed. 09/25 3.1 Assignment 04 available
Fri. 09/27 Quiz 03 Assignment 03 due
Complex
Quantificational
Logic
05 Mon. 09/30 3.2
Wed. 10/02 3.3
Fri. 10/04 Quiz 04 Assignment 04 due; Assignment 05 available
Review,
Exam, &
Quant. Args.
06 Mon. 10/07 Review
Wed. 10/09 Exam 01
Fri. 10/11 3.4
Proof Techniques 07 Mon. 10/14 4.1, 4.2
Wed. 10/16 Quiz 05 Assignment 05 due; Assignment 06 available
Fri. 10/18 4.4, 4.6
Proof Techniques
& Sets
08 Mon. 10/21 6.1
Wed. 10/23 Assignment 07 available
Fri. 10/25 Quiz 06 Assignment 06 due
Proofs with Sets 09 Mon. 10/28
Wed. 10/30 6.2 Assignment 08 available
Fri. 11/01 Quiz 07 Assignment 07 due
Proofs with Sets 10 Mon. 11/04
Wed. 11/06
Fri. 11/08 6.3 Assignment 09 available
Set Disproofs
& Induction
11 Mon. 11/11 Quiz 08 Assignment 08 due
Wed. 11/13 5.1
Fri. 11/15 Quiz 09 5.2 Assignment 09 due
Induction
& Exam
12 Mon. 11/18
Wed. 11/20 Review
Fri. 11/22 Exam 02
Functions 13 Mon. 11/25 7.1
Wed. 11/27 7.2 Assignment 10 available
Fri. 11/29 No Class
Functions
& Relations
14 Mon. 12/02 7.3
Wed. 12/04 Class Cancelled
Fri. 12/06 Quiz 10 8.1, 8.2 Assignment 10 due
Relations
& Review
15 Mon. 12/09 8.3
Wed. 12/11 Review
Fri. 12/13 No Class
Final Exam 16 Tue. 12/17 Final Exam (7:45 AM – 9:45 AM, Centennial 2310) —