This is Mathematics 39.

We use the text "A Mathematical Introduction to Logic" by Herbert Enderton. This is the first time in 30 years that he has produced a new edition. We hope it will be exciting.


The course will be arranged as follows: We expect two midterm exams (given in "Take-Home" form) and a final exam, also given in "Take-Home" form. There will be frequent homework assignments, but these will not count for the grade. It is important, however, for each student to attempt the homework.


A syllabus for the course is roughly as follows. The first chapter of the book is on set theory, but we will cover this material gradually, as it arises in the course. The next chapter, Chapter 1, deals with Sentential Logic. We will go through this fairly fast, omitting only sections 1.3 and 1.6. Chapter 2 is on First-order logic, and this where we will spend most of out time. We do not expect to cover 2.3, and we may well add some material on the right way to approach calculus, We may also find some further applications of the logic presented in the text.


Instructor: Jim Baumgartner

Time: Mondays, Wednesdays and Fridays 8:45 - 9:50

Room: 103 Bradley

The room is air-conditioned, and sometimes this may make it rather cold. Be prepared to wear a sweater if necessary.

Office Hours: Tuesdays and Thursdays 4-5

I will also be in my office at various random times, and I will be happy to speak with you as long as nothing else interferes.

x-period Thursday 9-9:50.

Please save this period. We will use one to make up for the class missed October 19.

Homework Assignments

The first assignment is 2 and 5 on p.19. It would be nice if you could turn this in on Wednesday, Oct. 2.

Next is 3, 6, and 11 on p. 27. Turn it in as soon as you can.

New Assignment: p. 52   3 ,4 ,5 ,7. Due on Friday.

Take-home exam Monday to Wednesday starting Oct. 14

The next assignment is p. 99,   2, 8, 9 to be turned in on Monday, October 28.

The next assignment is p. 146,   4, 5, 6, and 7. Due Wednesday. November 13.

The next hour exam goes November 18 to November 20.