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.


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.


The midterm test will be held in class on October 26, 2011.


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.
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.