............Monday............  ...........Wednesday...........  ............Friday............ 

Aug. 27  Review of Logic  Aug. 29  Review of Logic  Aug. 31  Review of Logic
(HW #1 due) 
Sept. 3  No classes (Labor Day)
(Tues., Sept. 4  Last day to drop)  Sept. 5  What is proof?  Sept. 7  Direct Proof
(HW #2 due) 
Sept. 10  Direct Proof  Sept. 12  Proof by Cases  Sept. 14  Proof by Cases
(HW #3 due) 
Sept. 17  "Or conclusion" Proof  Sept. 19  Proof by Ctp  Sept. 21  Proof by Ctp; Biconditional Proof 
Sept. 24  Proof by Ctp; Biconditional Proof
(HW #4 due)  Sept. 26  Proof by Contradiction  Sept. 28 
Exam #1 (Click for Topics List  revised 9/24) 
Oct. 1  Proof by Contradiction  Oct. 3  Proof by Contradiction; Lemmas  Oct. 5  Proof by Contradiction
(HW #5 due) 
Oct. 8  No classes (Fall Break)  Oct. 10  Quantifier Proofs  Oct. 12  Quantifier Proofs 
Oct. 15  Quantifier Proofs
(HW #6 due)  Oct. 17  Counterexamples  Oct. 19  Uniqueness Proofs
(HW #7 due) 
Oct. 22  Synthesis and Review  Oct. 24  Set Proofs  Oct. 26  Set Proofs 
Oct. 29  Set Proofs  Oct. 31  Synthesis and Review  Nov. 2  Set Operation Proofs 
Nov. 5  Exam #2
(Here's the Topics List.)  Nov. 7  ChainStyle Proofs
(HW #8 due) (Weds., Nov. 7  Last day to withdraw)  Nov. 9  ChainStyle Proofs 
Nov. 12  PMI Proofs  Nov. 14  PMI Proofs
(HW #9 due)  Nov. 16  PMI Proofs 
Nov. 19  Indexed Families of Sets
(HW #10 due by 4pm Tuesday)  Nov. 21  No classes (Thanksgiving Break)  Nov. 23  No classes (Thanksgiving Break) 
Nov. 26  Functions
(HW #11 due Tuesday  subject to change)  Nov. 28  Functions  Nov. 30  Exam #3 or Functions

Dec. 3  Exam #3 or Functions  Dec. 5  Functions  Dec. 7  Relations
(HW #12 due  subject to change) 
Dec. 10  FTEqR 
WEDNESDAY, Dec. 12, 3:305:30

Exam #1: confirmed for Friday, Sept. 28
 Exam #2: confirmed for Friday, Nov. 2
 Exam #3: Friday, Nov. 30, or Monday, Dec. 3

