Class Schedule

Tentative Lecture and Assignment Schedule
Class	Date	Readings	Lecture Topics	Assignments
1	08/21	Notes	Course Details and Overview
2	08/23	1.1	Statements and Symbolic Representation
3	08/26	1.2	Propositional Logic
4	08/28	1.2	Propositional Logic
5	08/30	1.3	Quantifiers, Predicates, and Validity
	09/02		Labor Day - No Class
6	09/04	1.4	Predicate Logic
7	09/06		Formal Logic continued
8	09/09		Formal Logic continued
9	09/11	2.1	Proof Techniques
10	09/13	2.1	Proof Techniques
11	09/16	2.1	Proof Techniques	Homework 1 due
12	09/18	2.2	Induction
13	09/20	3.1, 3.2	Recursion and Recurrence Relations
14	09/23	3.1, 3.2	Recursion and Recurrence Relations
15	09/25	4.1	Sets
16	09/27	4.2, 4.3	Counting
17	09/30	4.2, 4.3	Counting	Homework 2 due
18	10/02	4.4	Permutations and Combinations
19	10/04	4.4	Permutations and Combinations
20	10/07		Exam 1 - Chapters 1 & 2
21	10/09		Combinatorics continued
22	10/11	5.1	Relations
23	10/14	5.2	Relations and Topological Sorting
24	10/16	5.3	Relations and Databases
25	10/18	5.4	Functions
26	10/21	5.4	Functions	Homework 3 due
27	10/23	5.5	Functions and Order of Magnitude
28	10/25	5.7	Matrices
29	10/28	5.7	Matrices
30	10/30	6.1	Graphs
31	11/01	6.2	Trees
32	11/04	6.2	Trees	Homework 4 due
33	11/06	7.1	Directed Graphs
34	11/08	7.1	Directed Graphs
35	11/11		Exam 2 - Chapters 3 & 4
36	11/13	7.2, 7.3	Path Problems
37	11/15	7.4	Graph Traversal
38	11/18	7.4	Graph Traversal	Homework 5 due
39	11/20	7.4	Graph Traversal
40	11/22	8.1	Boolean Algebra
41	11/25	8.2	Logic Networks
	11/27		Thanksgiving - No Class
	11/29		Thanksgiving - No Class
42	12/02	8.3	Minimization	Homework 6 due
43	12/04		Conclusions and Review
44	TBD		Final Exam (TBD) - Covers all Course Material

This schedule is tentative and subject to change. If changes are necessary they will be announced and posted in the schedule on the course page.