The goal is that you learn to read, understand, and construct coherent, logically correct proofs, so that you may more easily make the transition from calculus to the more theoretical junior-senior courses, especially abstract algebra and modern analysis. Starting with explicit axioms and precisely stated definitions, you will systematically develop basic propositions about integers and modular arithmetic, induction and recursion, real numbers, infinite sets, and such other topics as time may allow. You will be provided with the needed background about logic, sets, and functions. For nearly every class you will create written mathematical proofs. You are expected to participate actively in class, including at the co-seminar.Syllabus
We will cover Chapters 1--9 of the textbook.Class log
There will be weekly homework, due at the beginning of Wednesday's class. (First homework due Wednesday 9/20/17.)
No late homework will be accepted. Instead, your two lowest homework scores will be dropped.Homework sets
There will be two midterm exams and one final exam as follows:
Midterm 1: Wednesday 10/11/17, 7:00PM--8:30PM, LGRT 143.
The syllabus for Midterm 1 is Sections 2.1, 2.2, 2.3, 2.4, 3.1, 3.2, and 3.3 of Sundstrom.
There will be a review session for Midterm 1 on Tuesday 10/10/17, 7:00PM--8:30PM, in LGRT 143.
Please try the review problems here before the review session. Solutions pdf.
Midterm 2: Wednesday 11/15/17, 7:00PM--8:30PM, LGRT 143.
Final exam: Wednesday 12/20/17, 10:30AM--12:30PM in LGRT 121.
You are allowed one letter-size sheet of notes (both sides) for each exam. Calculators, additional notes, and the textbook are not allowed on exams and quizzes. You should bring your student ID (UCard) to each exam.Grading
Your course grade will be computed as follows: Homeworks and quizzes 30%, Midterm exams 20% each, Final exam 30%.