CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Spring 2020

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 can be found on Canvas.

Content	Week	Day	Date	In-Class	Reading	Canvas Modules
Intro	01	Mon.	01/27		Syllabus
		Wed.	01/29		1.1, 1.2
		Fri.	01/31		1.3
Logic & Conditionals	02	Mon.	02/03		2.1
		Wed.	02/05	Quiz 01
		Fri.	02/07		2.2
Arguments & Proofs	03	Mon.	02/10		2.3
		Wed.	02/12	Quiz 02
		Fri.	02/14
Quantificational Logic	04	Mon.	02/17
		Wed.	02/19	Quiz 03	3.1
		Fri.	02/21
Complex Quantificational Logic	05	Mon.	02/24		3.2
		Wed.	02/26	Quiz 04	3.3
		Fri.	02/28
Review, Exam, & Arguments with Quantifiers	06	Mon.	03/02	Review
		Wed.	03/04	Midterm 1
		Fri.	03/06		3.4
Proof Techniques	07	Mon.	03/09		4.1, 4.2
		Wed.	03/11
		Fri.	03/13		4.4
Spring Break		Mon.	03/16	—No Class—
		Wed.	03/18	—No Class—
		Fri.	03/20	—No Class—
Spring Break 2	08	Mon.	03/23	—Class Cancelled—
		Wed.	03/25	—Class Cancelled—
		Fri.	03/27	—Class Cancelled—
Proofs & Sets	09	Mon.	03/30		4.6	04-4(a,b), 04-6
		Wed.	04/01	Quiz 05		04-7(a,b,c)
		Fri.	04/03		6.1	06-1(a,b,c)
Set Proofs	10	Mon.	04/06			06-2(a,b)
		Wed.	04/08	Quiz 06	6.2	06-3(a,b)
		Fri.	04/10			06-4(a,b)
Set Proofs	11	Mon.	04/13			06-4(c,d)
		Wed.	04/15			06-5(a,b), 06-6(a)
		Fri.	04/17			06-6(b)
Set Disproofs, Algebraic Proofs, & Sequences	12	Mon.	04/20
		Wed.	04/22	Quiz 07	6.3	06-7(a)
		Fri.	04/24		5.1	06-7(b), 05-1(a)
Induction & Functions	13	Mon.	04/27		5.2	05-2(a,b)
		Wed.	04/29		7.1-7.2	07-1(a,b), 07-2(a)
		Fri.	05/01			07-2(b), 07-3(a)
Relations	14	Mon.	05/04	Midterm 2
		Wed.	05/06		8.1	08-1(a), 08-2(a)
		Fri.	05/08		8.2, 8.3	08-2(b)
Final Exam	15	Wed.	05/13	—Final Exam (10:00 AM – 12:00 PM, online) —