MATH 3040: Prove It!

MATH 3040 is a course that is an introduction to mathematical proof. Emphasis is placed on clear, concise exposition and presentation in both written and verbal form. This class will follow an inquiry-based learning (IBL) format.

Textbooks

As a reference, we use The Art of Proof by Matthias Beck and Ross Geoghegan. An electronic copy of the book is free to Cornell students, via the Cornell library. However, be aware that much of the material that you will be responsible for will not be directly from the textbook, and will only be available in class.

Announcements

• The final exam will take place on Thursday, December 7 from 7:00-9:30pm in 128 Rockefeller Hall (RCK128).
• Here is the syllabus, the questionnaire, and the student contract. If you were not present for the first class, please fill them out and return them to me in person as soon as possible.
• The first class takes place on Wednesday, August 23.

Sheets

• Numbers
• Logic
• Induction
• Sets
• Functions and Cardinality
• Affine and Projective Planes
• Infinities
• Relations
• Graphs

Homeworks

All homeworks should be submitted through Gradescope. If you are enrolled in the class and do not have the necessary login information, please email me.

• Homework 1, due Wednesday, August 30. [template.tex]
• Homework 2, due Wednesday, September 6. [hw_template.tex], [groupwork_template.tex]
• Homework 3, due Wednesday, September 13. [hw3_template.tex]
• Homework 4, due Wednesday, September 20. [hw4.tex]
• Homework 5, due Wednesday, September 27. [hw5.tex]
• Homework 6, due Wednesday, October 4.
• Prelim Exam I (Take-Home Part), due Sunday, October 8. [prelim1_pt2.tex]
• Proof Portfolio, Draft 1 due Wednesday, October 11.
• Homework 7, due Wednesday, October 18. [hw7.tex]
• Homework 8, due Wednesday, October 25. [hw8.tex]
• Revisions, due Monday, October 30.
• Homework 9, due Wednesday, November 1. [hw9.tex]
• Homework 10, due Wednesday, November 8.
• Prelim Exam II (Take-Home Part), due Sunday, November 12. [prelim2_pt2.tex]
• Proof Portfolio, Draft 2 due Wednesday, November 15.
• Homework 11, due Monday, November 27. [hw11.tex]
• Proof Portfolio, Final Submission due Friday, December 1.