CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Spring 2021

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.	02/01		Syllabus, 1.1
		Wed.	02/03		1.2
		Fri.	02/05	(Online: #03)	1.3	Self-Assessment 00 due
Propositional Logic	02	Mon.	02/08		2.1
		Wed.	02/10			Self-Assessment 01 due
		Fri.	02/12	(Online: #06)	2.2
Arguments & Proofs	03	Mon.	02/15		2.3
		Wed.	02/17			Self-Assessment 02 due
		Fri.	02/19	(Online: #09)
Quantificational Logic	04	Mon.	02/22		3.1
		Wed.	02/24		3.2	Self-Assessment 03 due
		Fri.	02/26	(Online: #12)
Complex Quantificational Logic	05	Mon.	03/01		3.3
		Wed.	03/03		3.4	Self-Assessment 04 due
		Fri.	03/05	(Online: #15)
Exam & Methods of Proof	06	Mon.	03/08	Exam 01
		Wed.	03/10		4.1	Self-Assessment 05 due on Thursday
		Fri.	03/12	(Online: #18)
Sets & Set Proofs	07	Mon.	03/15
		Wed.	03/17		6.1	Self-Assessment 06 due
		Fri.	03/19	(Online: #21)
Set Proofs	08	Mon.	03/22		6.2
		Wed.	03/24			Self-Assessment 07 due
		Fri.	03/26	(Online: #24)
Set Proofs & Proof by Cases	09	Mon.	03/29		4.4
		Wed.	03/31			Self-Assessment 08 due
		Fri.	04/02	—Class cancelled—
Set Proofs & Proof by Contradiction	10	Mon.	04/05		4.6
		Wed.	04/07			Self-Assessment 09 due
		Fri.	04/09	(Online: #30)
Exam & Set Disproofs	11	Mon.	04/12	Exam 02
		Wed.	04/14		6.3	Self-Assessment 10 due
		Fri.	04/16	(Online: #33)	5.1
Induction & Functions	12	Mon.	04/19		5.2
		Wed.	04/21			Self-Assessment 11 due
		Fri.	04/23	(Online: #36)	7.1
Functions	13	Mon.	04/26		7.2
		Wed.	04/28	Exam 03		Self-Assessment 12 due
		Fri.	04/30	(Online: #39)	7.3
Relations	14	Mon.	05/03		8.1
		Wed.	05/05		8.2, 8.3	Self-Assessment 13 due
		Fri.	05/07	Review
Final Exam	15	Mon.	05/10	—Final Exam (2:30 PM – 4:30 PM, Wimberly 102) —