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.
NOTE: Midterm Exam 2 was postponed to Friday November 4.
- 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.
Here are some course materials.
I have taught Math 557 several times before. Some old
course materials are available.
- 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.
#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
- Final Exam: PDF, PS, DVI.
Also of interest is the Penn State
firstname.lastname@example.org / 15 December 2005