- Solutions to Workshop 6 problems are now posted.
- "Homework #6" (practice problems) solutions are now posted.
- We have posted practice problems for the last part of the course (Chapters 9 and 10). These are not to be handed in, but you should try them for your own practice. We will post the solutions at the end of the classes.
**The final exam (for both sections) is scheduled on Thursday, December 5, at 8:30 am in WESB 100.**Please note that attendance at the final exam is required. (Excuses such as travel plans will not be accepted.)- The final exam will cover all of the material from the midterm (see below; about 20%) as well as the
material we have covered since then (about 80%). The new topics are as follows:
- Chapter 4: 4.3-4.5
- Chapter 5: 5.1-5.4
- Chapter 6: 6.1-6.2
- Chapter 9: 9.1-9.7
- Chapter 10: 10.1-10.3

**The midterm exam on October 21**covered material up to (and including) Section 4.2 of the textbook:- Chapter 1: 1.1-1.6
- Chapter 2: 2.1-2.10 (we skipped Section 2.11)
- Chapter 3: 3.1-3.4 (Section 3.5 is mostly a review of the earlier material)
- Chapter 4: 4.1-4.2

- Midterm solutions are available here.
- A practice midterm is available here. It covers the same material, has about the same length and the same level of difficulty.
- Practice midterm solutions are available here.

- Section 101: Prof. I. Laba, MWF 12:00-12:50, MATX 1100
- Section 102: Prof. A. Nachmias, MWF 12:00-12:50, Buchanan B313

- Math Bldg 200, (604) 822 4457, ilaba@math.ubc.ca
- Office hours: Monday 2-3, Wednesday 1-2, Friday 11-12, in MATH 200. (This is a preliminary schedule and may change later.)
- 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 usually be accommodated.

- Math Annex 1220, (604) 822 6609, asafnach@math.ubc.ca
- Office hours: Monday 3-4, Wednesday 10-11, and by appointment, in MATX 1220.

- 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 relations (if time allows; Chapter 8)
- Functions: injective, surjective, bijective, inverses and compositions (Chapter 9)
- Cardinality of sets: finite sets and different types of infinite sets (Chapter 10)
- Elementary real analysis - limits of sequences and series, concept of supremums (if time allows; Chapter 12)

- Section 101: Fridays, September 13 and 27, October 11, November 1, 15 and 29
- Section 102: Wednesdays, September 11 and 25, October 9 and 30, November 13 and 27

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]