M3011 - Set Theory and Mathematical Logic - 2011
Dr. R. Rosebrugh
Dunn 203
General Information
The course meeting time is 11:30-12:20MWF in Dunn 406.
For official detail see the
University Calendar.
The very firm prerequisite for this course is Math/CS 2211.
Office hours: 9:30-10:30 MW, or by appointment.
Check this URL regularly for updated information about the course.
Text
Sets for Mathematics
.
F. William Lawvere and Robert Rosebrugh.
We will cover Chapters 1-7, parts of Chapters 8, 9, 10 and of the
Appendices.
Test
The midterm test will be held in class on October 26, 2011.
Grades
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.
Assignments
The regular written assignments are an essential part of
the course; they will be listed here as assigned.
Be sure to attempt all problems in the text, not just the ones assigned to be handed in.
Short Assignments
S.1 1.7,1.9 Due: 9-12; S.2 1.15: 9-14; S.3 1.28 a), c): 9-19; S.4 1.32 b): 9-21;
S.5 2.40 a): 9-23; S.6 2.17: 9-28; S.7 2.30: 9-30; S.8 3.7: 10-5;
Assignment L.1
From the text: 1.20, 1.30(a),(c) (not the coseparator parts), 1.31 (b),
2.5, 2.8
Due September 26.
Assignment L.2
From the text: 2.9, 2.10, 2.21, 2.25, 2.29 (c), 2.30
Due October 7.