Schedule for weeks 1 through 16

Wk	Day	Date	Topic	Resources	Events

1	Mon	Aug 25	No classes yet		No class

	Wed	Aug 27	Introduction to the course Propositional Logic	Rosen 1.1 Intro to Logic Notes Truth Table Applet Truth Table Quiz Applet

2	Mon	Sep 01	Propositional Logic Propositional Equivalences	Rosen 1.1-1.2 Intro to Logic (Continued) Logical Equivalence List Logical Equivalence Applet Logical Equivalence Quiz

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

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

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

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

	Wed	Sep 17	Sets	Rosen 2.1	HW 4 due

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

	Wed	Sep 24	Functions	Rosen 2.3	HW 5 due

6	Mon	Sep 29	Sequences and Summations	Rosen 2.4

	Wed	Oct 01	CIS		No classes

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

	Wed	Oct 08	Recursive Definitions More Induction	Rosen 4.3

8	Mon	Oct 13	Fall Recess		No Class

	Wed	Oct 15	Catch-up/Review		HW 7 due

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

	Wed	Oct 22	Recurrence Relations	Rosen 7.1 Recurrence Relations Notes

10	Mon	Oct 27	Big-O Notation Master Method	Rosen 3.2 Rosen 7.3 Asymptotic Notation Notes Asymptotic Notation Handout

	Wed	Oct 29	Counting	Rosen 5.1	HW 8 due

11	Mon	Nov 03	Pigeonhole Principle	Rosen 5.2

	Wed	Nov 05	Permutations Combinations	Rosen 5.3	HW 9 due

12	Mon	Nov 10	Staying/Getting Healthy	Pillows Blankets Pills Soup	No Class

	Wed	Nov 12	Relations Representing Relations	Rosen 8.1, 8.3

13	Mon	Nov 17	Equivalence Relations	Rosen 8.5	HW 10 due

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

14	Mon	Nov 24	Logic Gates	Rosen 11.3

	Wed	Nov 26	Minimization of Circuits	Rosen 11.4	HW 12 due

15	Mon	Dec 01	Review		HW 13 due

	Wed	Dec 03	Review

Ex	Thu	Dec 11			Final Exam 9:00-11:00am