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 WellOrdering  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:0011:00 am 