COT 3100 - Arup's Class Schedule

Week of	Reading Assignment	Lecture Topic(s) & Assignments	Recitation
8/23-8/25	Chapter 1.1-1.4	Intro	None
8/28-9/1	Chapter 2.1-2.3	Logic Fundamentals Assign # 1 given 8/29	Counting + Logic Problems
9/4-9/8	2.4-2.5	Use of Quantifiers	Application of logic in proofs Assign #1 due
9/11-9/15	3.1-3.2	Intro to Set Theory Assign # 2 given 9/12	How to write a proof
9/18-9/22	3.3-3.4	Sets and more Counting Quiz #1 9/19	Set problems Assign #2 due
9/25-9/29	Exam Covers: Chpts 1, 2, and 3	EXAM # 1 - Thurs 9/28	Exam Review
10/2-10/6	11.1-11.2	Graphs Assign #3 given 10/3	Graph applications
10/9-10/13	5.1-5.2,5.6	Relations&Functions	Relation problems Assign #3 due
10/16-10/20	7.1-7.4	Partial Orderings & Equiv. Relations Assign #4 given 10/17	Equiv. relations problems Quiz #2
10/23-10/27	Exam covers: 11.1-11.2, 5.1-5.2, 5.6, 7.1-7.4	EXAM # 2 - Thurs. 10/26	Assign #4 due Tuesday Exam Review
10/30-11/3	4.1	Induction Assign # 5 given 10/30	Induction practice
11/6-11/10	4.2-4.3	Rec. Defn. & mod	Induction problems
11/13-11/17	4.4	GCD Assign #5 due 11/16 Assign #6 given 11/16	LCM stuff
11/20-11/24	6.1	Languages & Strings	How to come up with a regular expression for a language Quiz #3 Tuesday
11/27-12/1	6.2-6.3	Finite State Machines Assign #6 due 11/28	Final Exam Review
12/5-12/11	Final Exam	Both classes: TBA	No Recitation