Schedule for weeks 1 through 16

Wk	Day	Date	Topic	Resources	Events

1	Mon	Jan 09	No classes yet		No class

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

2	Mon	Jan 16	Propositional Logic	Rosen 1.1 Rosen 1.2 Intro to Logic	HW 1 due

	Wed	Jan 18	Propositional Equivalences	Rosen 1.3 Logical Equivalence List Logical Equivalence Applet Logical Equivalence Quiz	HW 2 due

3	Mon	Jan 23	Predicates and Quantifiers	Rosen 1.4 Predicates and Quantifiers Logic in the Bible	HW 3 due

	Wed	Jan 25	Rules of Inference	Rosen 1.6 Rules of Inference List	HW 4 due

4	Mon	Jan 30	Proofs	Rosen 1.7 Guide to Writing Proofs	HW 5 due

	Wed	Feb 01	More Proofs!	Rosen 1.8 Proof Examples Proofs Notes	HW 6 due

5	Mon	Feb 06	Even More Proofs!		HW 7 due

	Mon	Feb 06	Sets Set Operations	Rosen 2.1 Rosen 2.2 Set Operations Applet Venn Diagram Applet	HW 8 due

6	Mon	Feb 13	Winter Break		No class

	Wed	Feb 15	Set Operations Functions	Rosen 2.2 Rosen 2.3	HW 9 due

7	Mon	Feb 20	Sequences and Summations	Rosen 2.4	HW 10 due

	Wed	Feb 22	Chapters 1 and 2		HW 11 due

8	Mon	Feb 27	Chapters 1 and 2		Midterm Exam

	Wed	Feb 29	Mathematical Induction	Rosen 5.1 Induction Notes	HW 12 due

9	Mon	Mar 05	Strong Induction and Well-Ordering	Rosen 5.2	HW 13 due

	Wed	Mar 07	More Induction		HW 14 due

10	Mon	Mar 12	Recursive Definitions and Structural Induction	Rosen 5.3	HW 15 due

	Wed	Mar 14	The Basics of Counting	Rosen 6.1 Rosen 8.5	HW 16 due

Spring Break Week

11	Mon	Mar 26	The Pigeonhole Principle	Rosen 6.2	HW 17 due

	Wed	Mar 28	Permutations and Combinations	Rosen 6.3	HW 18 due

12	Mon	Apr 02	Binomial Coefficients and Identities	Rosen 6.4 Pascal's Triangle Interface Pascal's Triangle Stuff	HW 19 due

	Wed	Apr 04	More Counting		HW 20 due

13	Mon	Apr 09	Relations	Rosen 9.1	HW 21 due

	Wed	Apr 11	Representing Relations	Rosen 9.3	HW 22 due

14	Mon	Apr 16	Equivalence Relations	Rosen 9.5 Equivalence Relation Notes Relation Examples	HW 23 due

	Wed	Apr 18	Boolean Functions	Rosen 12.1	HW 24 due

15	Mon	Apr 23	Representing Boolean Functions	Rosen 12.2	HW 25 due

	Wed	Apr 25	Everything		HW 26 due

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