Announcements
- The final exam will be on Wednesday, December 16, 8:30 am, in
SWNG 122.
-
Homework assignment #11 (for your own practice - not to be handed in) is now posted. Solutions to all homeworks are
also available.
- A sample final exam, with solutions, is also posted on the course web page.
Additionally, here is the December 2013 final exam, with
solutions. The material is essentially the same,
except that sequences and series are not included.
- Office hours during the exam break:
- Monday Dec 7, 1-2, and Wednesday Dec 9, 12-2 (priority given to MATH 420/507 students)
- Monday Dec 14, 1-2, and Tuesday Dec 15, 12-2 (for MATH 220 students)
If you cannot attend during those times, please email me for an appointment.
- The midterm exam was on Friday, October 16, 12-12:50,
and covered Chapters 1-4 of the textbook. Solutions are posted here.
- Sample midterms (from past years) are available:
Sample Midterm 1,
Sample Midterm 2. They cover the same material and have
roughly the same level of difficulty as the upcoming midterm. Solutions are now available on the main course web page.
- The plan for the last part of the course is to cover the following material:
- Chapter 9: 9.1-9.6 (skip 9.7)
- Chapter 10: 10.1-10.3
- Chapter 12: 12.1-12.2
Here is also a list of all previously covered topics:
- Chapter 1: 1.1-1.6
- Chapter 2: 2.1-2.10 (2.11 just explains a convention used in mathematical writing)
- Chapter 3: 3.1-3.4 (3.5 is a review)
- Chapter 4: 4.1-4.6
- Chapter 5: 5.1-5.5
- Chapter 6: 6.1-6.2
- Chapter 7: we skipped it, but if you feel you need more practice with operations (such as negation)
on quantified statements, there are examples in Section 7.2
- Chapter 8: 8.1-8.5
Mathematics 220 (Mathematical Proof), Winter/Spring 2015
Section 101: Prof. I. Laba, MWF 12:00-12:50, MATX 1100
- Instructor contact information: Math Bldg 200, (604) 822 4457, ilaba@math.ubc.ca
- Office hours: M 1-2, W 10-11, Fri 11-12
- The best way to contact the instructor is by email. Please note that email received on evenings and weekends
will be answered on the next business day.
If you cannot attend regular office hours due to schedule conflict, please make an appointment in advance.
Drop-ins and same-day requests for appointments cannot always be accommodated.
Textbook: Gary Chartrand, Albert D. Polimeni and Ping Zhang: "Mathematical Proofs - A Transition to Advanced Mathematics",
3rd ed., Pearson / Addison Wesley, 2013. ISBN 978-0-321-79709-4. Please note that homework problems will be assigned from the 3rd edition of the book.
Course web pages:
Syllabus, grading scheme, homework assignments: these will be common for all
sections of the course, see the
PDF outline here.
This is a supplementary webpage for Section 101. Occasional information specific to this
section will be posted here.
Additional course related resources:
- Tim Gowers has a series of blog posts on mathematical logic. Highly recommended as supplementary reading for Chapter 2. (Update: the link has been fixed to point only
to the subcategory of posts on logic, not to the larger "teaching" category.)
See in particular:
- Robert Talbert's videos on set theory,
logic and proof techniques. They are paired with a different textbook, but cover roughly the same material
as this course and are identified by topic, so you should have no trouble finding the videos you need.
- "Dangerous Knowledge", a BBC documentary featuring the mathematicians Georg Cantor, Ludwig Boltzmann, Kurt Godel, and Alan Turing.
The first part talks about Cantor and his discovery of infinities of different sizes, something that
we plan to cover near the end of the course. The documentary is a bit overwrought and sensationalized at times, but
it does a good job conveying both the general thrust of Cantor's work and the impact it had on the development of mathematics.
General links:
- Please read the UBC
policy on Student Conduct and Discipline.
- Mathematics Learning Centre:
The Math Department runs a drop-in tutorial centre for undergraduate
Math courses, staffed by Graduate Teaching Assistants. This centre is
located in Rooms 300, 301, and 302 in the Leonard S. Klinck (LSK)
Building, and is open Monday through Friday, 9:00am to 7:00pm. Check
the website above for any changes to hours and announcements. All
tutors provide assistance with first- and second-year calculus and
linear algebra and will attempt to help with any undergraduate Math
course. In addition to regular assistance, the MLC offers Quick Help
for students who are looking for fast support for minor snags. There
is no charge for the services MLC provides.
-
Past final exam database
- UBC Math Club,
located in Math Annex 1119, sells
math exam packages (old exams together with solution sets)
for a nominal price before each final exam session.
[Mathematics Department]
[University of British Columbia]