CS 225: Discrete Computational Structures

Prof. Jason Sauppe | Spring 2018

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 D2L.

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