The schedule below is a record of what we have actually done as well as an approximate projection of what we will do. Homework assignments, worksheets, quizzes, and exams will be posted as they come up. You should read the relevant sections of The Book of Proof before class (e.g., read sections 1.1 and 1.2 before class on Friday, January 16).

- Week 1
- 1/14: discuss the syllabus and some questions.
- 1/16: 1.1 and 1.2. Principia Mathematica.

- Week 2
- 1/21: 1.3-5. Homework (due Monday 1/26):
- 1.1: 13, 14, 29, 30, 43, 44;
- 1.2: 1 (make use of ellipses and note the cardinality of each), 6, 11, 14;
- 1.3: 2, 4, 5, 9, 10, 13, 14;
- 1.4: 4, 5, 13, 15, 16.

- 1/23: 1.6-8.

- 1/21: 1.3-5. Homework (due Monday 1/26):
- Week 3
- 1/26: 2.1-3.
**Homework due.** - 1/28: 2.4-6 and a worksheet. Homework (due Monday 2/2):
- 1.5: 1, 4;
- 1.6: 1;
- 1.7: 5, 6;
- 1.8: 3, 4, 5, 6, 8, 9;
- 2.1: 8, 9;
- 2.2: 7, 8;
- 2.3:1, 2;
- 2.4: 2;
- 2.5: 10;
- 2.6: 1, 2, 4, 9, 12.

- 1/30: 2.7-9.

- 1/26: 2.1-3.
- Week 4
- 2/2: 2.10-12 and introduction to LaTeX (skip chapter 3 for now).
**Homework due.** - Getting started with LaTeX. You really should start here.
- Texmaker, a free and full-featured LaTeX editor.
- Short Math Guide with all the symbols you'll need.
- template.tex and template.pdf
- 2/4: Finish chapter 2 and start chapter 4. Homework (due Monday 2/9):
- 2.7: 3-6
- 2.9: 3, 4, 6, 7
- 2.10: 3-6
- 4: 2, 5, 6, 7

- 2/6: 4.1-3. A worksheet and its solutions. Email a compiled template.pdf with your name in place of "Your Name Here". Please include "LaTeX assignment" in the subject line.

- 2/2: 2.10-12 and introduction to LaTeX (skip chapter 3 for now).
- Week 5
- 2/9: 4.4 and 5.1.
**Homework due.** - 2/11: Review
- 2/13: Exam on chapters 1, 2, and 4

- 2/9: 4.4 and 5.1.
- Week 6
- 2/16: President's Day
- 2/18: Chapter 5.
- 2/20: Discuss the portfolio (examples PDF and LaTeX). Return exams. And homework assigned (due 2/27).

- Week 7
- 2/23: Chapter 6. Read sections 6.1 and 6.2. Turn in edited portfolio examples.
- 2/25: Chapter 6. Read sections 6.3 and 6.4. A worksheet.
**First portfolio entries due.**- Rewrite 2 proofs (from homework, worksheets, the exam, or exam practice problems) nicely using LaTeX.
- Turn in both pdf and tex versions by email (with "Portfolio 1" in the subject line).

- 2/27: Chapter 7. Read sections 7.1 and 7.2. Homework due.

- Week 8
- 3/2: Continue chapter 7. Read 7.3 and 7.4 before class. Homework (due Friday 3/6):
- Chapter 6: 6, 11, 12
- Chapter 7: 7, 8, 10, 12, 15, 18

- 3/4: Chapter 8. Read 8.1 and 8.2 before class.
- 3/6: Chapter 8. Read 8.3 before class. Colbert interviews Terrence Tao.

- 3/2: Continue chapter 7. Read 7.3 and 7.4 before class. Homework (due Friday 3/6):
- Week 9
- Week 10
- 3/23: Chapter 10. Homework due today and a worksheet/homework due Wednesday.
- 3/25: Chapter 10. Read 10.1 Proof by Strong Induction.
- 3/27: Chapter 10. Read 10.2 Proof by Smallest Counterexample. A worksheet on induction to be turned in on April 1. Solutions to the worksheet.

- Week 11
- 3/30: Review. An excerpt from another book and last semester's exam on chapters 6-9.
- 4/1: Exam on chapters 5-10 (proofs of all kinds).

- Week 12
- 4/8: Begin chapter 11 and discuss the next installment of the portfolio. Take home portion of the exam due.
- 4/10: Chapter 11. Read sections 1 and 2. A worksheet on equivalence relations.

- Week 13
- 4/13: Chapter 11. Read sections 2 and 3.
- 4/15: Chapter 12.
**Second portfolio entry due**. The following .tex files may be useful.- Worksheets: ws-0128.tex, ws-0206.tex, ws-0206-solutions.tex, ws-0225.tex, ws-0318.tex, ws-0318-solutions.tex, ws-0327.tex, and ws-0327-solutions.tex.
- Exams: exam-1.tex and exam-2.tex.

- 4/17: Chapter 12. And
**homework due Friday**:- 11.0: 2, 5, 9, 14, 15;
- 11.1: 3, 9, 10, 13;
- 11.2: 10, 11;
- 12.1: 1, 3, 5;
- 12.2: 3, 4, 5, 14.

- Week 14
- 4/20: Continue chapter 12. A worksheet on the pigeonhole principle and composition of functions. Its solutions.
- 4/22: Chapter 12.
- 4/24: Chapter 12.

- Week 15
- 4/27: Final portfolio problems (and the .tex file).
- 4/29: Chapter 13.
- 5/1: General review and course evaluations.

- Finals week
- Finals week office hours:
- Monday 2-3;
- Tuesday 3-4;
- Wednesday 2-3;
- By appointment.

- 5/7 Wednesday 8:00 to 10:00 Final exam for the 9:00 section.
- 5/8 Thursday 8:00 to 10:00 Final exam for the 10:00 section.

- Finals week office hours:

## Links and class resources

- The syllabus (pdf)
- The Book of Proof (our textbook)
- Math 301 Fall 2014
- Final Exam Schedule
- SageMathCloud
- WolframAlpha
- Logan Axon's home page.

## Office hours

- MWF 3:30-4:30 in Herak 221, Tu 3:00-4:00 in the Math Lab (Herak 224), or by appointment