Math 557: Mathematical Logic

I am Stephen G. Simpson, a Professor of Mathematics at Penn State University.

Math 557 is an introductory graduate-level course on mathematical logic. It is suitable for all mathematics graduate students. It is part of our first-year graduate sequence, Math 557-558, which prepares Ph.D. students for the logic qualifying exam.

I taught Math 557 in Fall 2005. We met Mon-Wed-Fri 9:05-9:55 in 216 McAllister. My office hours were Mon-Wed 2:00-3:00. Grades were based on homework, two in-class midterm exams, and a final exam.

Midterm Exam 1: Friday September 30, covering Chapters 1 and 2 of the lecture notes.
Midterm Exam 2: Monday October 31, covering Chapters 3 and 4 of the lecture notes.
Final Exam: Wednesday December 14, 12:20-2:10, 106 AG SC IN, covering Chapters 5 and 6 of the lecture notes.

NOTE: Midterm Exam 2 was postponed to Friday November 4.

Here are some course materials.

Course announcement: PDF, PS, DVI, plain text.
Incomplete set of lecture notes: PDF, PS, DVI.
Supplementary textbooks on reserve in the PAMS Library, 201 Davey Laboratory: plain text.
Homework #1: PDF, PS, DVI.
Homework #2: PDF, PS, DVI.
Midterm Exam #1: PDF, PS, DVI.
Partial Solutions for Homework #2 and Midterm #1: PDF, PS, DVI.
Homework #3: PDF, PS, DVI.
Homework #4: PDF, PS, DVI.
Solutions for Homework #4: PDF, PS, DVI.
Midterm Exam #2: PDF, PS, DVI.
Solutions for Midterm Exam #2: PDF, PS, DVI.
Homework #5: PDF, PS, DVI.
Note: Homework #5 consisted of exercises from Chapter 5 of the lecture notes. Chapter 5 now contains solutions of most of these exercises.
Final Exam: PDF, PS, DVI.

I have taught Math 557 several times before. Some old course materials are available.

Also of interest is the Penn State Logic Seminar.

simpson@math.psu.edu / 15 December 2005