M3011 - Set Theory and Mathematical Logic - 2013
Dr. R. Rosebrugh
The course meeting time is 1:30-2:20MWF in Flemington 103.
For official detail see the
The very firm prerequisite for this course is Math/CS 2211.
Office hours: 2:30-4:00 M, or by appointment.
Check this URL regularly for updated information about the course.
Sets for Mathematics
F. William Lawvere and Robert Rosebrugh.
We will cover Chapters 1-7, parts of Chapters 8, 9, 10 and of the
The midterm test will be held in class on October 23, 2013.
The final grade will be based on the assignments, the
mid-term test and a final examination. The weights will
be approximately 20%, 20% and 60% respectively.
The regular written assignments are an essential part of
the course; they will be listed here as assigned. Short Assignments are
due at the class after they are assigned and solutions will be discussed immediately, so
clearly there are no extensions. The Long
Assignments will have due dates about every two-three weeks. No extensions for
Long Assignments except as agreed in advance for medical or compassionate reasons.
Solutions will be provided for all assignments.
Be sure to attempt all problems in the text, not just the ones assigned to be handed in.
S.1 1.7,1.9 Due: 9-12; S.2 1.15: 9-13; S.3 1.28 a), c): 9-16; S.4 1.32 c): 9-20;
S.5 3.7: 10-2; S.6 3.17: 10-7; S.7 3.22: 10-21; S.8 2.47: 10-28; S.9 3.44: 11-1
From the text: 1.20, 1.30 a), c) (not the coseparator parts), 1.31 (b),
Due September 27.
From the text: 2.10, 2.17, 2.21, 2.29 (c), 2.30, 2.40 a)
Due October 9.
From the text:
3.16, 3.28, 3.30, 3.38
Due October 30
From the text:
3.40, 3.45 (Use Theorem 3.41!), 3.48 a), 4.3, 4.23
Due November 8