Schedule
This is a tentative schedule as well as log of what was actually done.
Jan 12 Chapter I Sets: 1.1-1.3
Jan 14 1.4-1.8
Jan 15 1.9; Chater II Logic: 2.1 Fermat's last theorem
Jan 19 No class (holiday)
Jan 21 Chapter 2: Logic 2.2-2.4 HW 1 is DUE
Jan 23 Chapter 2: Logic 2.5-2.6 + CNF and DNF
Jan 26 Chapter 2: Logic 2.7 + Prenex Normal Form
Jan 28 Chapter 2: Logic 2.8-2.11 HW 2 is DUE
Jan 30 Chapter 4: Direct proof
Feb 2 Chapter 4: Direct proof
Feb 4 Chapter 5: Contrapositive proof HW 3 is DUE
Feb 6 Chapter 5: Contrapositive proof Quiz 1
Feb 9 Chapter 6: Contrapositive proof
Feb 11 review HW 4 is DUE Quiz 2
Feb 13 exam 1
Feb 16 Chapter 7: Non-conditional statements Ramsey Theory
Feb 18 Chapter 7: Non-conditional statements, exam 1 check HW 5 is DUE
Feb 20 Chapter 8: Proofs with sets
Feb 23 Chapter 8: Proofs with sets
Feb 25 Chapter 9: Disproof HW 6 is DUE
Feb 27 Chapter 10: Induction
Mar 2 Chapter 10: Induction
Mar 4 Chapter 10: Induction HW 7 is DUE
Mar 6 Chapter 10: Induction
Mar 9 Chapter 11
Mar 11 review HW 8 is DUE
Mar 13 exam 2
Mar 16-21 Spring break
Mar 23 Chapter 11
Mar 25 Chapter 12 HW 9 is DUE
Mar 27 Chapter 12
Mar 30 Chapter 13
Apr 1 Chapter 13 HW 10 is DUE
Apr 3 Chapter 2.1 (BA)
Apr 6 Chapter 2.1 (BA)
Apr 8 Chapter 2.2 (BA) HW 11 is DUE
Apr 10 Chapter 2.2 (BA)
Apr 13 Chapter 2.3 (BA)
Apr 15 Chapter 2.3, 2.4 (BA) HW 12 is DUE
Apr 17 review
Apr 20 exam 3
Apr 22 Chapter 3 (BA)
Apr 24
Apr 27
Apr 29 HW ? is DUE
May 1 review
May 6 2:15-4:15 p.m. FINAL EXAM (section D meeting at 1pm MWF)
May 7 9:45-11:45 a.m. FINAL EXAM (section B meeting at 10am MWF)