MATH 201 - Introduction to Proofs

Schedule

This is a tentative schedule as well as log of what was actually done.
  1. Jan 12 Chapter I Sets: 1.1-1.3
  2. Jan 14 1.4-1.8
  3. Jan 15 1.9; Chater II Logic: 2.1 Fermat's last theorem

  4. Jan 19 No class (holiday)
  5. Jan 21 Chapter 2: Logic 2.2-2.4 HW 1 is DUE
  6. Jan 23 Chapter 2: Logic 2.5-2.6 + CNF and DNF

  7. Jan 26 Chapter 2: Logic 2.7 + Prenex Normal Form
  8. Jan 28 Chapter 2: Logic 2.8-2.11 HW 2 is DUE
  9. Jan 30 Chapter 4: Direct proof

  10. Feb 2 Chapter 4: Direct proof
  11. Feb 4 Chapter 5: Contrapositive proof HW 3 is DUE
  12. Feb 6 Chapter 5: Contrapositive proof Quiz 1

  13. Feb 9 Chapter 6: Contrapositive proof
  14. Feb 11 review HW 4 is DUE Quiz 2
  15. Feb 13 exam 1

  16. Feb 16 Chapter 7: Non-conditional statements Ramsey Theory
  17. Feb 18 Chapter 7: Non-conditional statements, exam 1 check HW 5 is DUE
  18. Feb 20 Chapter 8: Proofs with sets

  19. Feb 23 Chapter 8: Proofs with sets
  20. Feb 25 Chapter 9: Disproof HW 6 is DUE
  21. Feb 27 Chapter 10: Induction

  22. Mar 2 Chapter 10: Induction
  23. Mar 4 Chapter 10: Induction HW 7 is DUE
  24. Mar 6 Chapter 10: Induction

  25. Mar 9 Chapter 11
  26. Mar 11 review HW 8 is DUE
  27. Mar 13 exam 2

  28. Mar 16-21 Spring break

  29. Mar 23 Chapter 11
  30. Mar 25 Chapter 12 HW 9 is DUE
  31. Mar 27 Chapter 12

  32. Mar 30 Chapter 13
  33. Apr 1 Chapter 13 HW 10 is DUE
  34. Apr 3 Chapter 2.1 (BA)

  35. Apr 6 Chapter 2.1 (BA)
  36. Apr 8 Chapter 2.2 (BA) HW 11 is DUE
  37. Apr 10 Chapter 2.2 (BA)

  38. Apr 13 Chapter 2.3 (BA)
  39. Apr 15 Chapter 2.3, 2.4 (BA) HW 12 is DUE
  40. Apr 17 review

  41. Apr 20 exam 3
  42. Apr 22 Chapter 3 (BA)
  43. Apr 24

  44. Apr 27
  45. Apr 29 HW ? is DUE
  46. May 1 review

  47. May 6 2:15-4:15 p.m. FINAL EXAM (section D meeting at 1pm MWF)
  48. May 7 9:45-11:45 a.m. FINAL EXAM (section B meeting at 10am MWF)