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