
MATH
220.2018
Mathematical
Proofs


Link to section 201: http://www.math.ubc.ca/~ksankar/Math220.html
Prof. Sankar's office hours: Tues 12:301:30 Wed 1pm2pm Thur 12:301:30 (LSK 300) Prof. Khosravi's office hours: Wed 12pm1pm Thur 10am11am Fri 12pm1pm (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.
 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

8222615

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)


DropIn 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 9780321797094


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 5pm7pm and Friday March 9th 5pm7pm (locations to be announced) . No makeup midterm exam will
be given.
MT 1 for section 201 on Friday February 2nd from 57pm in HENN 201 MT 1 for sections 202, and 203 on Friday February 2nd from 57pm in ESB 1013 MT 2 for section 201 on Friday March 9th from 57pm in HENN 201 MT 2 for sections 202, and 203 on Friday March 9th from 57pm in ESB 1013
The date of the ﬁnal examination will be
announced by the Registrar later in the term.


Homework
Assignments:

On this webpage 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 opensource 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 realtime (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.


