Spring 2012

Classes: Mondays, Wednesdays, and Fridays, 12:20PM - 1:10PM, in LGRT 119.

Coseminar: Tuesdays, 4PM-4:50PM/5:05-5:55PM/6:10-7PM in LGRT 1322.

Office hours: Mondays 4-5PM and Tuesdays 3-4PM in LGRT 1235H (Paul Hacking); Thursdays 1:15-2:15PM and Fridays 2:30-3:30PM in LGRT 1117 (Nate Harman).

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.

We will cover Chapters 1-6 and 8 of the textbook.

Class logThere will be weekly homework, due at the beginning of Wednesday's class. (First homework due Wednesday 2/1/12.)

Homework setsThere 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.

Your course grade will be computed as follows: Homeworks and quizzes 30%, Midterm exams 20% each, Final exam 30%.