## M3011 - Set Theory and Mathematical Logic - 2013

Dr. R. Rosebrugh

Dunn 203

####
General Information

The course meeting time is 1:30-2:20MWF in Flemington 103.
For official detail see the
University Calendar.
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.
**

####
Text

*Sets for Mathematics*
by
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 23, 2013.
####
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. 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.**
####
Short Assignments

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

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

####
Assignment L.2

From the text: 2.10, 2.17, 2.21, 2.29 (c), 2.30, 2.40 a)
Due October 9.

####
Assignment L.3

From the text:
3.16, 3.28, 3.30, 3.38

Due October 30

####
Assignment L.4

From the text:
3.40, 3.45 (Use Theorem 3.41!), 3.48 a), 4.3, 4.23

Due November 8