Instructor: Alvaro Pelayo, firstname.lastname@example.org
Office Hours: Tu 3pm-4pm and Th 12:30pm-1:30pm, APM 7444
Joseph Palmer, email@example.com (office hours: W 9:30am-10:30am and W 2-3pm, APM 6343)
Peter Wear, firstname.lastname@example.org (office hours: W 1pm-2pm, W 3pm-5pm, Th 11am-12pm, APM 6446)
Meetings: TuTh 9:30am-10:50am, room CSB 001
Required Text: Peter J. Eccles, "An Introduction to Mathematical Reasoning", Cambridge University Press, 1997.
Rod Haggerty, "Fundamentals of Mathematical Analysis", Addison-Wesley Second Edition 1993
David M. Burton, "Elementary Number Theory", Allyn and Bacon 1976
Keith Devlin, "Sets, functions and logic, an introduction to advanced mathematics", Princeton University Press, 1993
Daniel J. Velleman, "How to prove it, a structured approach", Cambridge University Press 1994
Grading: homework (15%), Midterm Exam 1 on Thursday April 21, 2016 (25%), Midterm Exam 2 on Thursday May 12, 2016 (25%), cumulative Final Exam (35%) on Tuesday June 7, 2016. Exams will consist of a few theory questions, including definitions and proofs, and some problems involving computations and proofs. All exams are closed book and closed notes, no calculators or electronic devices are allowed. There will be no make-up exams. If you miss one midterm, the final exam counts 60%. If you take both midterms and your grade in the final is greater than your lowest midterm grade, then the grade in the midterm gets replaced by the grade in the final. For example, if midterm 1 score is 80/100, midterm 2 score is 50/100 and final score is 70/100, your score in the second midterm gets replaced by 70/100. If you choose to be graded "Pass/Fail", a "Pass" grade reqires a grade of C- or higher.
Homework: Assignments can be downloaded from this website, no paper copy will be given in class. A grader will grade selected problems. Discussing homework with others is ok. It is expected that everyone writes in his/her own words the homework solutions. Homework must be placed before 4:00pm on the due date in the drop-box in the basement of APM. No late homework is accepted and the two lowest homework grades will be dropped (which can also count for missing assignments).
Prerequisites: Math 20F or Math 31AH.
Syllabus (approximate): "This course uses a variety of topics in mathematics to introduce the students to rigorous mathematical proof, emphasizing quantifiers, induction, negation, proof by contradiction, naive set theory, equivalence relations and epsilon-delta proofs" - as in (parts of) chapters 1-22 of the book.
Tentative course content: we will cover parts of Eccles' book. There will be no time to cover all of the sections in each chapter of Eccles' book and not all sections will be covered in the same depth. Class time is for the fundamental concepts of each chapter. Eccles' book (and also the other books) are sources for further explanations and examples. The following is an approximate plan. Content covered will be added/updated below as the course progresses (numbers refer to sections in Eccles' book).
Lecture 1 (Tu March 29): Section 1 Homework 1 (due Thursday April 7)
Lecture 2 (Th March 31): Section 2
Lecture 3 (Tu April 5): Section 3 Homework 2 (due Thursday April 14)
Lecture 4 (Th April 7): Section 4, Section 5
Lecture 5 (Tu April 12): Section 6 Homework 3 (due Tuesday April 26)
Lecture 6 (Th April 14): Section 6
Lecture 7 (Tu April 19): Review
Lecture 8 (Th April 21): Midterm Exam 1
Lecture 9 (Tu April 26): Section 7 Homework 4 (due Thursday May 5)
Lecture 10 (Th April 28): Section 8
Lecture 11 (Tu May 3): Section 9 Homework 5 (due Monday May 16)
Lecture 12 (Th May 5): Section 9, Section 10
Lecture 13 (Tu May 10): Section 10
Lecture 14 (Th May 12): Midterm Exam 2
Lecture 15 (Tu May 17): Section 11 Homework 6 (due Thursday May 26)
Lecture 16 (Th May 19): Section 10
Lecture 17 (Tu May 24): Section 10 Homework 7 (due Thursday June 2)
Lecture 18 (Th May 26): Section 12
Lecture 15 (Tu May 31): Section 12
Lecture 16 (Th June 2): Section 14
FINAL EXAM ON TUESDAY JUNE 7, 2016.