Spring 2008
Math 571, MW 10:30-12, DRL 3C6
Introduction to Logic and Computation II: Set Theory
Make-up classes on Mondays 1-2 in DRL 4E9, March 24, March 31, and
April 7
No class on Monday, March 17 nor on Monday, April 28
Office: Room 4E6 in David Rittenhouse Laboratory
Telephone: eight five nine eight three
( Math. Dept. Office: eight eight one seven eight )
Fax: three four zero six three
E-mail: lastname at math
Office Hours: By appointment
References
- Material distributed in class.
-
Yiannis N. Moschovakis. "Notes on Set Theory".
Undergraduate Texts in Mathematics, Springer-Verlag, 1994.
ISBN 0387941800.
Errors in this book [
ps ,
pdf ].
- Karel Hrbacek, Thomas J. Jech. "Introduction to Set Theory".
Marcel Dekker, 3-rd Revised and Extended Edition, 1999.
ISBN 0824779150.
- Joseph R. Shoenfield. "Mathematical Logic".
Association for Symbolic Logic, A K Peters, Ltd., reprinted 2001.
ISBN 1568811357.
- Thomas J. Jech. "Set Theory".
Springer Verlag, 3-rd Edition, 2003.
ISBN 3540440852.
Take-Home Midterm Due in Class in Hardcopy on Wednesday, April 9
- Moschovakis Problem x7.5 at the end of Chapter 7
- Moschovakis Problem x7.6 at the end of Chapter 7
- Moschovakis Problem x7.8 at the end of Chapter 7.
See Figure 7.7.
- Moschovakis Problem x7.10 at the end of Chapter 7.
- Moschovakis Problem x7.16 at the end of Chapter 7
(in the second edition this is Problem x7.18 at the end of Chapter 7)
- Moschovakis Problem x7.17 at the end of Chapter 7
(in the second edition this is Problem x7.19 at the end of Chapter 7)
- Moschovakis Problem x7.18 at the end of Chapter 7
(in the second edition this is Problem x7.20 at the end of Chapter 7)
- Moschovakis Problem x8.5 at the end of Chapter 8
- Moschovakis Problem x8.7 at the end of Chapter 8
This is a complete list of assignments due April 9, 2008.
The final exam will also be take-home and it will be due
on Monday, May 5 at 11 a.m. in Professor Scedrov's office DRL 4E6.
Take-Home Final Exam Due in Hardcopy in DRL 4E6 on Monday,
May 5 at 11 a.m.
- Moschovakis Problem x12.4 at the end of Chapter 12
- Moschovakis Problem x12.5 at the end of Chapter 12
- Moschovakis Problem x12.6 at the end of Chapter 12
- Moschovakis Problem x12.7 at the end of Chapter 12
- Moschovakis Problem x12.20 at the end of Chapter 12
- Moschovakis Problem xB.12 at the end of Appendix B
This is a complete list of assignments due May 5, 2008.