MATH 220: Mathematical Proof, Winter term II, 2015/2016.
Text: Mathematical proofs, a transition to advanced mathematics, by G.
Chartland, A. Polimeni, P. Zhang, Second or third edition.
The main aim of the course is to learn how write clear and correct mathematical proofs. In particular, this involves learning some of the language of mathematics, and also honing your precise reasoning skills. This course
provides the gateway to more advanced mathematics.
Tentatively, the course will cover the following topics: (chapter numbers refer to the textbook).
- Sets - definitions, set operations (chapter 1)
- Logic - logical connectives, quantifiers (chapter 2)
- Proofs - direct and contrapositive. (chapters 3 and 4)
- Proofs - existence and contradiction (chapter 5)
- Induction (chapter 6)
- Equivalence realtions (chapter 8)
- Functions - injective, surjective, bijective, inverses and compositions (chapter 9)
- Cardinality of sets - finite sets and different types of infinite sets (chapter 10)
- Applications of what we have learned, either to beginnings of real analysis - limits
of sequences and series (chapter 12), or to combinatorics and graph theory (notes will be
Midterm 1 locations:
Midterm 1 will take place on Friday February 5, 5:15-6:45pm, at the
following locations (by Section number):
If you have a valid conflict with the midterm time and have not yet
received an email from Julia Gordon about the alternate midterm, please
e-mail: gor "at" math.ubc.ca .
- Section 201 (Prof. Julia Gordon) MCML 166. map
- Sections 202 and 204 (Prof. Mahta Khosravi) WESB 100.
- Section 203 (Prof. Maxime Bergeron) CHEM B 150.
Homework and quizzes
- All homework assignments will be posted here
on Saturdays and collected on the first class (i.e., Monday or Tuesday depending on your section)
of the following week.
- You are strongly encouraged (and will receive a 2 points bonus at the end of the term if you do it) to type all your homework solutions using LaTeX.
Here are some LaTeX
- Every other week on the last class (that is, Thursday or Friday),
the classes will be organized as workshops in which
students in small groups will work problems.
There will be a short quiz at the end.
The Homework assignments:
- If you are using LaTeX, it is fine to draw pictures and diagrams by
hand. A useful command \vskip1in produces a vertical space of specified
length (in this example, 1 inch).
- Homework 1 . Due January 11 or 12.
Solutions . (Marking: Q3 out of 9, Q5 out of
11; 20 total).
- Homework 2 . Due January 18 or 19.
Solutions (Marking: Q2 out of 4, Q3 and Q4
out of 5 each, Q7 out of 3: 17 total).
- Homework 3 . Due January 28 or 29
(Thursday/Friday). Will be back to the usual schedule next week.
Marking: Question 2 (a, b -- 2 points each, c) -- 4 points (because it has
2 questions); Question 3 (1 point each), Question 8 (1 each), for the
total of 20.
- Homework 4
. Due Monday February 1/Tuesday February 2.
The LaTeX file with questions that you can
and use as a template for your solutions.
(Marking: Question 2: 1 each (3 total); Question 4 (1 points for
target statement correctly,and then 1 point each -- 5 total) Question 5 (2
each), Question 6(2 each).
Total: 20 points.)
- Homework 5
. Due February 10th/11th.
The LaTeX source .
Review materials for Midterm 1
Marking scheme and course policies
- Your mark will be based on Homework, workshop quizzes, two midterms, and the final exam:
- Weekly Homeworks (posted on Section webpage): 10%
- Workshop Quizzes (approximately once in two weeks, schedule to be announced): 5%
- Two midterms: 35%
- Final Exam: 50%.
The midterms will be common between all sections,
and are tentatively scheduled in the evenings (outside class time!) on
Friday February 5 and Friday March 11, 5-7pm.
This is to be confirmed but do not make any plans for these two evenings!
Missed midterm policy: if you have a legitimate conflict with the midterm time
please inform your instructor as early as possible, and at least 3 days in advance.
One alternate sitting will be scheduled for each midterm; you need to have a valid documented
conflict or a doctor's note to qualify to take the midterm at the alternate time.
Not appearing for a midterm in the absence of such documented excuse will result in a score of zero.
- No late homework's will be accepted under any circumstances.
It is likely that only a subset of the questions on each HW will be graded by the TA.
Students who are unable to hand in a homework or quiz due to a medical or equivalent excuse may have that homework/quiz not count towards their final grade.
- Collaboration on homework: You are allowed to discuss homework with
other students, but you have to first think about it yourself, and then
write it alone in your own words.
If you discussed homework solutions with someone, please acknowledge this on your submitted work, that is, put "discussed with Jane Smith" next to your name (and Jane Smith then has to put the similar acknowledgment of collaboration with you on her work).
Please also see the notes on academic integrity .
The final exam will be scheduled by the Registrar. Please do NOT make travel plans before the schedule is released later in the term.
- Other Resources:
Drop-in tutorials begin during the second week of term. The schedule is available