Logic and Set Theory
MAT 372

Marcus Schaefer

Latest additions

Homeworks and Examples

Assignments will be available through this webpage. Homeworks are due on the day of class. If you hand in the homework late 10% will be taken off the score for each day.

Homework due

Questions and Answers


Classes and office hours

The class meets TuTh 3:10-4:40 in Lewis 1208. 

My office hours are Tu 1:30-3:00, Tu 5-5:30, and Th 2:00-3:00. 


During that time you can find me in the CS&T building, room 749.

If you want to set up an appointment at another time, or simply ask a question,

send email to mschaefer@cdm.depaul.edu.


We will be using Peter J. Cameron's Sets, Logic and Categories, Springer, 1998.


The following is a very rough schedule.

Week 1-2 Naive Set Theory


Week 3 Ordinal Arithmetic


Week 4-6 Propositional and First-Order Logic


Week 7-8 Model Theory


Week 9-10 Axiomatic Set Theory


General Policies

Academic Honesty


An incomplete grade is given only for an exceptional reason such as a death in the family, a serious illness, etc. Any such reason must be documented. Any incomplete request must be made at least two weeks before the final, and approved by the Dean of the School of Computer Science, Telecommunications and Information Systems. Any consequences resulting from a poor grade for the course will not be considered as valid reasons for such a request.

Marcus Schaefer
Last updated: December 9th, 2003.