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