## M3011 - Set Theory and Mathematical Logic - 2009

Dr. R. Rosebrugh

Dunn 203

####
General Information

The course meeting time is 11:30-12:20MWF in Dunn 108.
For official detail see the
University Calendar.
The **prerequisite** for this course is **Math 2211**.
Office hours: by appointment.
**
Check this URL regularly for 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 21, 2009.
####
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.**
####
Assignment 1

1.15, 1.28(a),(b), 1.30(a),(c) (not the coseparator parts)

Due September 18.

Be sure to attempt all problems in the text, not just the ones assigned to
be handed in.

####
Assignment 2

From the text: 1.31, 2.10, 2.12 (tricky), 2.14, 2.40 a), b)

Due September 30

####
Assignment 3

From the text:
2.23; 2.29 (c), (d); 2.38, 2.45 (b) (this requires considering 2.43, 2.44)

Due October 9

####
Assignment 4

From the text:
3.17, 3.22, 3.31, 3.34, 3.38, 3.40

Due October 19

####
Assignment 5

From the text: 3.46 (a), 3.48 (a) - you may do this for X = 2 only ( and recall 2.45 b), 3.52, 4.2 (the question should read
"...colimit of data for a data type"), 4.7.

Due October 30

####
Assignment 6

From the text:
4.18,
4.27,
4.40,
4.52 (you need first to characterize epis in S/X - you may take X = 2),
5.1

Due November 9

####
Assignment 7

From the text:
5.3
5.15
6.2
6.6
6.12 c) - you may assume 6.12 a)

Due November 20

####
Assignment 8

From the text:
6.13,
7.9,
7.17,
7.20 (you may assume the distributive law for S),
8.1

Due December 2.