Math 307
Introduction to Proof

"A mathematician, like a painter or a poet, is a maker of patterns. If his patterns are more permanent than theirs, it is because they are made with ideas."
-- G. H. Hardy

Syllabus

Corrections to the textbook

Midterm: October 28

Topics covered: chapters 1-3 (excluding completeness axiom) and base q representations from chapter 4

To prepare for the exam go over lecture notes and old homeworks. In addition, here are some review problems.

Here are solutions of selected homework problems.

Some more solutions

Homework assignments

Assignment #1 (due October 5)

Assignment #2 (due October 12)

Assignment #3 (due October 19)

Assignment #4 (due October 26)

Assignment #5 (due November 2)

Assignment #6 (due November 9)

Note: 5.10 replaced by 5.22

Assignment #7 (due November 16)

Note: 6.9cd added recently

Assignment #8 (due November 23)

Assignment #9 (due November 30)

Additional review problems (for the final exam): 4.29ab, 4.32, 4.36, 4.37, 5.18, 5.30, 5.39, 5.45, 5.48, 6.22, 6.38, 6.40, 6.42, 6.48, 6.49, 7.18, 7.23, 7.30bc, 7.32, 7.35