CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Spring 2017

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