M3011 - Set Theory and Mathematical Logic - 2001

Dr. R. Rosebrugh

General Information

The course meeting time is 11:30-12:30MWF in Dunn 104. For official detail see the Department Handbook. The prerequisite for this course is M2211.
Check this URL regularly for information about the course.

Text

Sets for Mathematics by F. W. Lawvere and R. Rosebrugh.

Test

The midterm test will be held in class on Monday, October 29.

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.

Assignment 1

From the text: 1.8, 1.9, 1.15, 1.16
Due Sept. 19

Assignment 2

From the text: 1.20, 1.31(a), 1.31(b), 2.5, 2.10, 2.12, 2.14
Due Sept. 28

Assignment 3

From the text: 2.17, 2.19, 2.25, 2.29 (a),(c), 2.34,
Due Oct. 5

Assignment 4

From the text: 2.40 (d), 2.43 (a), (c), 2.45 (a), (b), 3.7, 3.16
Be sure to look at and think about problems close by to the ones assigned.
Due Oct. 15

Assignment 5

From the text: 3.17, 3.26, 3.30, 3.38, 3.40.
Be sure to look at and think about problems close by to the ones assigned.

Due Oct. 24

Assignment 6

From the text: 3.44, 4.6, 4.16.

Due Nov. 2

There will be no class Nov. 5, 7, 9.

Assignment 7

From the text: 2.42 (see 1.30 c), 3.48 (note that b) => a)!), 3.51 (see 3.50), 4.48

Due Nov. 14

Assignment 8

From the text: 5.1, 5.3, 5.7, 5.17 a), c)

Due Nov. 28

Assignment 9

From the text: 6.6, 6.9, 6.12, 6.13

Due Dec. 5

Additional suggested exercises

From the text: 7.8, 7.9, 8.1, 8.3-5, 8.8, 9.1-3, 9.11, 9.14