CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Fall 2023

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/04	—No Class—
		Wed.	09/06		Syllabus, 1.1
		Fri.	09/08		1.2
Propositional Logic	02	Mon.	09/11		1.3
		Wed.	09/13		2.1
		Fri.	09/15			Self-Assessment 01 due
Conditionals & Arguments	03	Mon.	09/18		2.2
		Wed.	09/20
		Fri.	09/22		2.3	Self-Assessment 02 due
	04	Mon.	09/25	—Class Cancelled—
		Wed.	09/27	—Class Cancelled—
		Fri.	09/29	—Class Cancelled—
Proofs & Quantificational Logic	05	Mon.	10/02
		Wed.	10/04		3.1
		Fri.	10/06		3.2
Quantificational Logic	06	Mon.	10/09			Self-Assessment 03 due
		Wed.	10/11		3.3
		Fri.	10/13	—No Class—
Complex Quantificational Logic	07	Mon.	10/16	Review		Self-Assessment 04 due
		Wed.	10/18	Exam 01
		Fri.	10/20		3.4
Quant. Logic & Methods of Proof	08	Mon.	10/23
		Wed.	10/25		4.1
		Fri.	10/27			Self-Assessment 05 due
Methods of Proof & Set Proofs	09	Mon.	10/30
		Wed.	11/01			Self-Assessment 06 due
		Fri.	11/03		6.1
Set Proofs	10	Mon.	11/06		6.2
		Wed.	11/08			Self-Assessment 07 due
		Fri.	11/10
Proof by Cases	11	Mon.	11/13	Review		Self-Assessment 08 due
		Wed.	11/15	Exam 02
		Fri.	11/17		4.4
Proof by Cases & Proof by Contradiction	12	Mon.	11/20
		Wed.	11/22		4.6	Self-Assessment 09 due
		Fri.	11/24	—No Class—
Proof by Contradiction & Proof and Disproof	13	Mon.	11/27
		Wed.	11/29		6.3	Self-Assessment 10 due
		Fri.	12/01
Induction	14	Mon.	12/04		5.1	Self-Assessment 11 due on Tuesday
		Wed.	12/06		5.2
		Fri.	12/08	Exam 03
Wrap-Up & Review	15	Mon.	12/11		7.1-7.3
		Wed.	12/13	Review	8.1-8.3	Self-Assessment 12 due
		Fri.	12/15	—Final Exam (2:30 PM – 4:30 PM, Centennial 3215) —