CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Spring 2022

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. 01/24 Syllabus, 1.1
Wed. 01/26 1.2
Fri. 01/28 1.3 Self-Assessment 00 due
Propositional
Logic
02 Mon. 01/31 2.1
Wed. 02/02 Self-Assessment 01 due
Fri. 02/04 2.2
Arguments
& Proofs
03 Mon. 02/07 2.3
Wed. 02/09 Self-Assessment 02 due
Fri. 02/11
Quantificational
Logic
04 Mon. 02/14 3.1
Wed. 02/16 3.2 Self-Assessment 03 due
Fri. 02/18
Complex
Quantificational
Logic
05 Mon. 02/21 3.3
Wed. 02/23 Review Self-Assessment 04 due
Fri. 02/25 Exam 01
Complex
Quant. Logic
& Methods of Proof
06 Mon. 02/28 3.4
Wed. 03/02
Fri. 03/04 4.1 Self-Assessment 05 due
Methods of Proof 07 Mon. 03/07
Wed. 03/09
Fri. 03/11 Class Cancelled Self-Assessment 06 due
Spring Break Mon. 03/14 No Class
Wed. 03/16 No Class
Fri. 03/18 No Class
Sets &
Set Proofs
08 Mon. 03/21 6.1
Wed. 03/23
Fri. 03/25 6.2 Self-Assessment 07 due
Set Proofs &
Proof by Cases
09 Mon. 03/28
Wed. 03/30 4.4
Fri. 04/01 Self-Assessment 08 due
Set Proofs &
Proof by Contradiction
10 Mon. 04/04
Wed. 04/06 Review Self-Assessment 09 due
Fri. 04/08 Exam 02
Proof by Contradiction
& Set Disproofs
11 Mon. 04/11 4.6
Wed. 04/13
Fri. 04/15 6.3 Self-Assessment 10 due
Disproofs &
Induction
12 Mon. 04/18
Wed. 04/20 5.1, 5.2 Self-Assessment 11 due
Fri. 04/22
Induction &
Functions
13 Mon. 04/25
Wed. 04/27 7.1 Self-Assessment 12 due
Fri. 04/29 Exam 03
Functions
& Relations
14 Mon. 05/02 7.2, 7.3
Wed. 05/04 8.1, 8.2 Self-Assessment 13 due
Fri. 05/06 Review 8.3
Final Exam 15 Thu. 05/12 Final Exam (7:45 AM – 9:45 AM, Wimberly 141) —