## 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)