Schedule for weeks 1 through 16

Wk	Day	Date	Topic	Resources	Events

1	Mon	Aug 31	No classes yet		No class

	Wed	Sep 02	Introduction to the course Propositional Logic	Rosen 1.1 Truth Table Applet Truth Table Quiz Applet

2	Mon	Sep 07	Propositional Logic Propositional Equivalences	Rosen 1.1-1.2 Intro to Logic Logical Equivalence List Logical Equivalence Applet Logical Equivalence Quiz

	Wed	Sep 09	Predicates and Quantifiers	Rosen 1.3 Predicates and Quantifiers	HW 1 due

3	Mon	Sep 14	Rules of Inference Proofs	Rosen 1.5 Proofs Notes Rules of Inference List

	Wed	Sep 16	Proofs	Rosen 1.6 Proof Examples Proofs Notes (Continued) Rules of Inference List	HW 2 due

4	Mon	Sep 21	More Proofs!	Rosen 1.7 Guide to Writing Proofs	HW 3 due

	Wed	Sep 23	Sets	Rosen 2.1	HW 4 due

5	Mon	Sep 28	Set Operations	Rosen 2.2 Set Operations Applet Venn Diagram Applet

	Wed	Sep 30	Functions	Rosen 2.3	HW 5 due

6	Mon	Oct 05	Sequences and Summations	Rosen 2.4

	Wed	Oct 07	CIS		No classes

7	Mon	Oct 12	Mathematical Induction	Rosen 4.1 Induction Notes	HW 6 due

	Wed	Oct 14	Recursive Definitions More Induction	Rosen 4.3

8	Mon	Oct 19	Fall Recess		No Class

	Wed	Oct 21	Catch-up/Review		HW 7 due

9	Mon	Oct 26	Rosen Chapters 1, 2, and 4	Paper Brain	Midterm Exam

	Wed	Oct 28	Counting	Rosen 5.1

10	Mon	Nov 02	Pigeonhole Principle	Rosen 5.2

	Wed	Nov 04	Permutations Combinations	Rosen 5.3	HW 8 due

11	Mon	Nov 09	Recurrence Relations	Rosen 7.1 Recurrence Relations Notes

	Wed	Nov 11	Catch up		HW 9 due

12	Mon	Nov 16	Big-O Notation Master Method	Rosen 3.2 Rosen 7.3 Asymptotic Notation Notes Asymptotic Notation Handout

	Wed	Nov 18	Relations Representing Relations	Rosen 8.1, 8.3

13	Mon	Nov 23	Equivalence Relations	Rosen 8.5	HW 10 due

	Wed	Nov 25	Boolean Functions Representing Boolean Functions	Rosen 11.1-11.2	HW 11 due

14	Mon	Nov 30	Logic Gates	Rosen 11.3

	Wed	Dec 02	Minimization of Circuits	Rosen 11.4	HW 12 due

15	Mon	Dec 07	?		HW 13 due

	Wed	Dec 09	Review

Ex	Thu	Dec 17			Final Exam 3:00-5:00pm