Schedule for weeks 1 through 16

Wk	Day	Date	Topic	Resources	Events

1	Mon	Jan 10	No classes yet		No class

	Wed	Jan 12	Introduction to the course Propositional Logic	Rosen 1.1 Truth Table Applet Truth Table Quiz Applet

2	Mon	Jan 17	Propositional Logic Propositional Equivalences	Rosen 1.1-1.2 Intro to Logic Logical Equivalence List Logical Equivalence Applet Logical Equivalence Quiz	HW 1 due

	Wed	Jan 19	Predicates and Quantifiers	Rosen 1.3 Predicates and Quantifiers	HW 2 due

3	Mon	Jan 24	Rules of Inference Proofs	Rosen 1.5 Proofs Notes Rules of Inference List

	Wed	Jan 26	Proofs	Rosen 1.6 Proof Examples Proofs Notes (Continued) Rules of Inference List	HW 3 due

4	Mon	Jan 31	More Proofs!	Rosen 1.7 Guide to Writing Proofs	HW 4 due

	Wed	Feb 02	Snow	Snow	Snow day!

5	Mon	Feb 07	Sets Set Operations	Rosen 2.1-2.2 Set Operations Applet Venn Diagram Applet	HW 5 due

	Mon	Feb 07	Functions Sequences and Summations	Rosen 2.3-2.4	HW 6 due

6	Mon	Feb 14	Winter Break		No classes

	Wed	Feb 16	Review		HW 7 due

7	Mon	Feb 21	Chapters 1-2		Exam 1

	Wed	Feb 23	Integers and Division	Rosen 3.4	HW 8 due

8	Mon	Feb 28	Primes GCD	Rosen 3.5

	Wed	Mar 02	Matrices	Rosen 3.8	HW 9 due

9	Mon	Mar 07	Mathematical Induction	Rosen 4.1 Induction Notes	HW 10 due

	Wed	Mar 09	Recursive Definitions More Induction	Rosen 4.3

10	Mon	Mar 14	Catch up/review		HW 11 due

	Wed	Mar 16	Chapters 1-4		Exam 2

Spring Break Week

11	Mon	Mar 28	Counting Pigeonhole Principle	Rosen 5.1-5.2

	Wed	Mar 30	Permutations Combinations	Rosen 5.3	HW 12 due

12	Mon	Apr 04	Binomial Coefficients	Rosen 5.4 Pascal's Triangle Interface Pascal's Triangle Stuff

	Wed	Apr 06	Catch up

13	Mon	Apr 11	Relations Representing Relations	Rosen 8.1, 8.3	HW 13 due

	Wed	Apr 13	Equivalence Relations	Rosen 8.5	HW 14 due

14	Mon	Apr 18	Boolean Functions Representing Boolean Functions	Rosen 11.1-11.2	HW 15 due

	Wed	Apr 20	Catch up

15	Mon	Apr 25	Generating Permutations and Combinations	Rosen 5.6	HW 16 due

	Wed	Apr 27	Review

Ex	Thu	May 05			Final Exam 9:00-11:00am