............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  PMI Proofs
(HW #7 due) 
Oct. 22  PMI Proofs  Oct. 24  Uniqueness Proofs  Oct. 26  Uniqueness Proofs 
Oct. 29  Set Proofs  Oct. 31  Exam #2 +/ 2 class days
(Here's the Topics List.)  Nov. 2  Set Proofs
(HW #8 due  subject to change) 
Nov. 5  Set Proofs  Nov. 7  Set Proofs
(Weds., Nov. 7  Last day to withdraw)  Nov. 9  Set Proofs
(HW #9 due  subject to change) 
Nov. 12  Relations  Nov. 14  Relations  Nov. 16  Relations
(HW #10 due  subject to change) 
Nov. 19  Relations  Nov. 21  No classes (Thanksgiving Break)  Nov. 23  No classes (Thanksgiving Break) 
Nov. 26  FTEqR
(HW #11 due Tuesday  subject to change)  Nov. 28  FTEqR  Nov. 30  Functions 
Dec. 3  Exam #3 +/ 1 class day
 Dec. 5  Functions  Dec. 7  Functions
(HW #12 due  subject to change) 
Dec. 10  Functions 
WEDNESDAY, Dec. 12, 3:305:30

Exam #1: confirmed for Friday, Sept. 28
 Exam #2: Wednesday, Oct. 31 +/ 2 class days  Exam #3: Monday, Dec. 3 +/ ONE class day 
