Week  Date  Lecture 
1 
08/23 
Using Mathematics 
2 
08/28 
Textual Substitution, Equality, and Assignment 

08/30 
Textual Substitution, Equality, and Assignment 

08/31 
Deadline for dropping classes 
3 
09/04 
Boolean Expressions 

09/06 
Boolean Expressions 
4 
09/11 
Propositional Calculus 

09/13 
REVIEW 
5 
09/18 
TEST 1: Chaps 1,2,3 (room ?) 

09/20 
Propositional Calculus 
6 
09/25 
Propositional Calculus 

09/27 
Propositional Calculus 
7 
10/02 
Propositional Calculus 

10/03 
Applications of Propositional Calculus 
8 
10/09 
Applications of Propositional Calculus 

10/10 
Quantification 
9 
10/16 
REVIEW 

10/17 
TEST 2: Chaps 3,5,8 (room ?) 
10 
10/23 
Predicate Calculus 

10/24 
Predicate Calculus 
11 
10/30 
Predicate Calculus 

11/01 
A Theory of Sets 
12 
11/06 
A Theory of Sets 

11/08 
REVIEW 

11/10 
Deadline for dropping classes with automatic "W" 
13 
11/13 
TEST 3: Chaps 9,11 (room ?) 

11/15 
Relations and Functions 
14 
11/20 
A Theory of Integers 

11/22 
Thanksgiving  No Class 
15 
11/27 
A Theory of Integers 

11/29 
Combinatorial Analysis 
16 
12/04 
Combinatorial Analysis 

12/06 
Modern Algebra 
17 
12/11 
REVIEW 

12/13 
TEST 4: Chaps 14,15,16,18 (room ?) Team Presentations 