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.
Questions and Answers
- I have prepared a page with links.
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
If you want to set up an appointment at another time, or
simply ask a question,
send email to email@example.com.
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
- The course adheres to the university guideline on Academic Integrity
- Cheating is any action that violates university norms or
instructor's guidelines for the preparation and submission of
assignments. This includes but is not limited to unauthorized access to
examination materials prior to the examination itself; use or possession
of unauthorized materials during the examination or quiz; having someone
take an examination in one's place; copying from another student;
unauthorized assistance to another student; or acceptance of such
- Plagiarism is a major form of academic dishonesty involving the
presentation of the work of another as one's own. Plagiarism includes,
but is not limited to the following:
- The direct copying of any source, such as written and verbal
material, computer files, audio disks, video programs or musical
scores, whether published or unpublished, in whole or part, without
proper acknowledgment that it is someone else's.
- Copying of any source in whole or part with only minor changes in
wording or syntax, even with acknowledgment.
- Submitting as one's own work a report, examination paper, computer
file, lab report or other assignment that has been prepared by
someone else. This includes research papers purchased from any other
person or agency.
- The paraphrasing of another's work or ideas without proper
- A charge of cheating and/or plagiarism is always a serious matter.
If proven, it can result in an automatic F in the course and possible
- The use of others' web/publication content (text, graphics, codes) is
regarded as plagiarism without giving credit (see the above description of
- When you directly quote someone's work, you must put it in quotation
marks. Without such quotations and reference, it is regarded as an act of
plagiarism (see the above description of plagiarism).
- Using materials that the student prepared for other purposes (e.g.,
another course or for his/her work) needs the course instructor's prior
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.
Last updated: December 9th, 2003.