UBC

                    MATH 220.2018

                    Mathematical Proofs


UBC


Home
Syllabus, Assignments, and Exams

Link to section 201: http://www.math.ubc.ca/~ksankar/Math220.html

Prof. Sankar's office hours: Tues 12:30-1:30 Wed 1pm-2pm Thur 12:30-1:30 (LSK 300)
Prof. Khosravi's office hours: Wed 12pm-1pm   Thur 10am-11am   Fri 12pm-1pm  (MATH 219)

Please note that independent of your section number you can use either of the instructor's office hours.

There will be three boxes by Dr. Khosravi's office Math219 for three sections, please put your hw in the
proper box for your section by Friday 3pm.


The main aim of the course is to learn how write clear and correct mathematical proofs. It provides the gateway to more advanced mathematics. A little more precisely (though this is provisional) we cover subjects from:

  •         Sets - definitions, set operations
  •        Logic - logical connectives, quantifiers
  •        Proofs - direct and contrapositive.
  •        Proofs - existence and contradiction.
  •        Induction
  •        Equivalence realtions
  •        Functions - injective, surjective, bijective, inverses and compositions.
  •        Cardinality of sets - finite sets and different types of infinite sets.
  •        Elementary real analysis - limits of sequences and series, concept of supremums.



Announcements:


07/01/2018 - Lecture notes 1 posted.
04/01/2018 - HW 1 posted. 
01/01/2018- Website Created.




Instructor:                                                



Prof. Mahta Khosravi

           
Office
MATH 219
Home page
http://www.math.ubc.ca/~khosravi/
Email
khosravi |AT| math.ubc.ca
Phone
822-2615
Office Hours
W12pm - 1pm   R 10am -11am   F 12pm - 1pm  (MATH 219)
or  make an appointment by email.




Time and Location:


     Section 202 TR 11:00am - 12:30pm (LSK 460)
     Section 203 MWF 1:00pm - 2:00pm (Mathematics Annex 1100)


Drop-In Tutorials:



     http://www.math.ubc.ca/Ugrad/ugradTutorials.shtml


Text:


Gary Chartrand, Albert D. Polimeni and Ping Zhang: Mathematical Proofs - A Transition to Advanced Mathematics (Third Edition). Pearson / Addison Wesley, 2013. ISBN 978-0321797094




Prerequisites:

You must have either a score of 64% or higher in one of MATH 101, MATH 103, MATH 105,
SCIE 001, or one of MATH 121, MATH 200, MATH 217, MATH 253, MATH 263.
If you do not have these prerequisites then you must see your lecturer as soon as possible.




Exams:


There will be two Midterm Exams common between all sections on Friday Feb 2nd  5pm--7pm and Friday March 9th  5pm--7pm (locations to be announced) . No make-up midterm exam will be given.

The date of the final examination will be announced by the Registrar later in the term.





Homework
Assignments:


On this web-page you will find the sections from the text that you should be reading before to come to class. The instructor will try to observe this predetermined schedule. It is important that you check regularly this course webpage.

Homework assignments will be posted weekly on this course website. Homework assignments should be placed in the proper section box by Math219 by each Friday 3pm (or handed in to the instructor in class before the deadline).  Homework is the essential educational part of this course. You cannot expect to work problems on the exams if you have not worked lots of homework problems. Therefore, it is important that you spend an adequate time on homework regularly, each week. Late homework will not be accepted. You can work together on the homework, but you should always write up your own homework solutions in your own words.  There is 2 points bonus to the final grade if all except at most one homework has been typed in LaTex.




Grading Policy:



The higher of the two grading schemes: 10% homework + 40% midterm + 50% final exam  or  10% homework + 30% midterm + 60% final exam.




Getting Started on TeX:


TeX is a powerful typesetting program which allows you to create beautiful mathematical expressions, diagrams, pictures, etc. You need two things: to download and install a set of packages on your computer, and then to get an editor (easy). The nice thing is that this is all totally open-source and so all of the resources are out there. But that also means you'll have to do a bit of digging around to understand what's going on. 


TeX Distribution: Go here and follow the directions corresponding to the operating system you use. Another option given is to use an online service like Overleaf or ShareLaTeX to write your documents. While you can do this, it will make things a bit harder down the line. These options are really best if you want to write collaborative LaTeX documents with others in real-time (as opposed to using git). 

Editor: I personally recommend TeXMaker. (Technically any preferred txt file editor will do, but then you have to compile files from the command line. TeXMaker has all the relevant functionality nicely built in and displayed.) Note that if you chose to write your documents in an online service, you don't need to download an editor.   source tex file


Policy on missed assignments and the midterm exam:


Students who are unable to hand in a homework due to a medical or equivalent excuse may have that homework not count towards their final grade. Missing a midterm exam or a homework normally results in a mark of zero. Exceptions are granted only with prior consent of the instructor or due to a medical emergency. In the latter case, the instructor must be notified within two working days of the missed exam and presented with a doctor’s note immediately upon the students return to UBC. If an exception is granted for a missed test, the final exam will be used to make up that portion of the grade.