Schedule for weeks 1 through 16

Wk	Day	Date	Topic	Resources	Events

1	Mon	Jan 07	No classes yet		No class

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

2	Mon	Jan 14	Propositional Logic	Rosen 1.1 Rosen 1.2 Intro to Logic HW1 Answers	HW 1 due

	Wed	Jan 16	Propositional Equivalences	Rosen 1.3 Logical Equivalence List Logical Equivalence Applet Logical Equivalence Quiz

3	Mon	Jan 21	Predicates and Quantifiers	Rosen 1.4 Rosen 1.6 Predicates and Quantifiers Logic in the Bible Rules of Inference List	HW 2 due

	Wed	Jan 23	Proofs	Rosen 1.7 Guide to Writing Proofs	HW 3 due

4	Mon	Jan 28	More Proofs!	Proof Examples Proofs Notes

	Wed	Jan 30	Sets Set Operations	Rosen 2.1 Rosen 2.2 Set Operations Applet Venn Diagram Applet	HW 4 due

5	Mon	Feb 04	Set Operations	Rosen 2.2

	Wed	Feb 06	Sequences and Summations	Rosen 2.4	HW 5 due

6	Mon	Feb 11	Winter Break		No class

	Wed	Feb 13	Matrices	Rosen 2.6 Matrix Tutorial

7	Mon	Feb 18	Review		HW 6 due

	Wed	Feb 20	Chapters 1 and 2		Midterm Exam

8	Mon	Feb 25	Number Theory	Rosen 4.1 Rosen 4.2

	Wed	Feb 27	Primes GCD	Rosen 4.3 Sieve of Eratosthenes Demo

9	Mon	Mar 04	Applications of Congruences	Rosen 4.5 ISBN Numbers (Wikipedia) Check Digits	HW 7 due

	Wed	Mar 06	Cryptography	Rosen 4.6

10	Mon	Mar 11	Catch up

	Wed	Mar 13	Mathematical Induction	Rosen 5.1 Induction Notes	HW 8 due

Spring Break Week

11	Mon	Mar 25	More Induction

	Wed	Mar 27	Recursive Definitions and Structural Induction	Rosen 5.3

12	Mon	Apr 01	More Recursive Definitions

	Wed	Apr 03	The Basics of Counting	Rosen 6.1 Counting Tutorial	HW 9 due

13	Mon	Apr 08	The Pigeonhole Principle	Rosen 6.2

	Wed	Apr 10	Permutations and Combinations	Rosen 6.3 Permutations and Combinations Tutorial	HW 10 due

14	Mon	Apr 15	Binomial Coefficients and Identities	Rosen 6.4 Pascal's Triangle Interface Pascal's Triangle Stuff

	Wed	Apr 17	Stuff	?

15	Mon	Apr 22	More counting		HW 11 due

	Wed	Apr 24	Review

Ex	Thu	May 02	Everything	Nothing	Final Exam 9:00-11:00 am