Wk  Date  Unit: Topic  Review reading (text sections, handouts)  Exercises 
1  8/26  Introduction  Syllabus (this),
Course Handbook  00 
Module A: Informal Analysis 
 
 

8/29  A1: Mathematical Modeling (logic and structure)  lecture notes  A1  
2 
9/2 
no class (Monday schedule) 
 
 
9/5  A2: Sets, Relations, Functions (preview)  lecture notes  A2  
3  9/9  A3: Structures (preview)  lecture notes  A3 
9/12  A4: Logic (preview)  lecture notes, Project page, Module A Supplement  Comp, ExEval  
4 
9/16 
Module A Evaluation Workshop 
Scope: everything covered by this time 
CompEval, B0 
Module B: Formal Representation      
9/19 
Canceled due to power outage 
 
 

5 
9/23 
B1: Sets 
1.21.2.3 
B1 
9/26 
B2: Relations 
1.31.3.1, 1.3.4, p. 194 (properties) 
B2  
6  9/30 
B3: Functions 
2.1, 2.32.3.2 
B3, supp 
10/3 
B4: Structures 
10.1 
B4  
7  10/7 
B5: Propositional Logic 
6.1, 6.26.2.2, (6.3.16.3.2), 1.1, supp 
B5 
10/10 
B6: FirstOrder Logic 
7.17.1.2, supp 
B6, sol  
8 
10/14 
B7: Logic and Structures 
7.17.1.2, lecture notes, supplemental exercises w/sol 
Comp, ExEval 
10/17 
Module B Evaluation Workshop 
Scope: everything covered by this time 
CompEval 

Module C: Mathematical Structures 
 
 

9 
10/21 
no class (fall break) 
 
 
10/24 
C1: Operational/Relational Structures 
1.3.21.3.3, 10.310.3.2, 4.14.1.1, 4.34.3.1 
C1 

10  10/28 
C2: Boolean Algebra 
10.2.1, (10.2.2) 
C2 
10/31

C3: Ordered Structures 
4.34.3.1 
C3  
11 
11/4 
C4: Graphs/Trees 
1.41.4.4 
C4 
11/7 
C5: Languages/Automata 
1.3.3, 3.33.3.3, lecture notes 
C5, sol 

12 
11/11 
C6: Counting/Probability 
5.3, 2.3.3, lecture notes, supp 
Comp, ExEval 
11/14 
Module C Evaluation Workshop 
Scope: everything covered by this time 
CompEval 

Module D: Logical Reasoning 
 
  
13  11/18  D1: Sets (including inductive definition) 
1.21.2.3, 3.13.1.3 
D1 
11/21  D2: Relations (including equivalence relation) 
1.31.3.1, 1.3.4, 4.2 
D2, supp  
14  11/25  D3: Functions (including recursion) 
2.1, 2.22.2.1, 2.32.3.2, 3.23.2.3 
D3 
11/28 
no class (Thanksgiving break) 
 
 

15 
12/2 
D4: Logic (including mathematical induction) 
4.4.1 
D4, sol 
12/5 
ZZ: Review; Conclusion 
lecture notes 
Comp, ExEval 

Fin  12/12  Final Evaluation Workshop Sec 1: 8:0010:00 a.m. in HH253 Sec 2: 11:00 a.m.1:00 p.m. in HH253  Scope: comprehensive  CompEval 