CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Fall 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., slides, assignments) can be found on D2L.

Content Week Day Date In-Class Reading Additional Notes
Intro 01 Mon. 09/05 No Class—
Wed. 09/07 Syllabus
Fri. 09/09 1.1, 1.2 Assignment 01 available
Propositional
Logic
02 Mon. 09/12 1.3
Wed. 09/14 2.1
Fri. 09/16 Quiz 01 Assignment 01 due; Assignment 02 available
Conditionals
& Arguments
03 Mon. 09/19 2.2
Wed. 09/21
Fri. 09/23 Quiz 02 2.3 Assignment 02 due; Assignment 03 available
Proofs 04 Mon. 09/26
Wed. 09/28
Fri. 09/30 Quiz 03 Assignment 03 due
Exam &
Quantificational
Logic
05 Mon. 10/03 Review
Wed. 10/05 Midterm 1
Fri. 10/07 3.1 Assignment 04 available
Quantificational
Logic
06 Mon. 10/10 3.2
Wed. 10/12
Fri. 10/14 Quiz 04 3.3 Assignment 04 due; Assignment 05 available
Complex
Quantificational
Logic
07 Mon. 10/17
Wed. 10/19 No Class
Fri. 10/21 3.4
Proof Techniques 08 Mon. 10/24 Quiz 05 Assignment 05 due; Assignment 06 available
Wed. 10/26 4.1, 4.2
Fri. 10/28 4.6, 4.7
Set Theory 09 Mon. 10/31 Quiz 06 Assignment 06 due; Assignment 07 available
Wed. 11/02 6.1
Fri. 11/04
Proofs with Sets 10 Mon. 11/07 Quiz 07 6.2 Assignment 07 due; Assignment 08 available
Wed. 11/09
Fri. 11/11
Set Proofs
& Review
11 Mon. 11/14 6.3
Wed. 11/16 Quiz 08 Assignment 08 due
Fri. 11/18 Review
Exam &
Sequences
12 Mon. 11/21 Midterm 2
Wed. 11/23 5.1 Assignment 09 available
Fri. 11/25 No Class
Induction
& Functions
13 Mon. 11/28 5.2
Wed. 11/30 7.1 Assignment 10 available
Fri. 12/02 Quiz 09 Assignment 09 due
Functions
& Relations
14 Mon. 12/05 7.2
Wed. 12/07
Fri. 12/09 Quiz 10 7.3 Assignment 10 due
Review 15 Mon. 12/12 8.1, 8.2
Wed. 12/14 Review
Fri. 12/16 No Class
Final Exam 16 Wed. 12/21 Final Exam (4:45 PM – 6:45 PM, Centennial 1309)—