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-6 and 8 of the textbook.Class log
There will be weekly homework, due at the beginning of Wednesday's class. (First homework due Wednesday 2/1/12.)Homework sets
There will be two midterm exams and one final exam as follows: Midterm 1 Wednesday 2/29/12, 7-8:30PM, in LGRT 119; Midterm 2 Wednesday 4/11/12, 7-8:30PM, in LGRT 119; Final exam Tuesday 5/8/12, 10:30AM-12:30PM, in LGRC A301.
The syllabus for Midterm 1 is Chapters 1, 4, and 2 of the textbook. The review questions for Midterm 1 are here. The first midterm exam is here.
Midterm 2 will cover the material up to and including cardinality, with a strong emphasis on the material covered since Midterm 1, that is, congruence, equivalence relations, functions, and cardinality (corresponding to Homeworks 5,6,7,8 and the review questions, and roughly corresponding to Chapters 3,5,6 of the textbook). The review questions for Midterm 2 are here. The second midterm exam is here.
The final exam will cover the whole course, corresponding to Chapters 1,2,3,4,5,6, and 8 of the textbook. The review questions for the final exam are here.
Calculators, 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%.