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.

###

###