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.

Questions and Answers

• I have prepared a page with links.

Schedule

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.

Literature

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

Syllabus

The following is a very rough schedule.

General Policies

Academic Honesty

• The course adheres to the university guideline on Academic Integrity Policy (http://www.depaul.edu/~handbook/code17.html):
  • 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 assistance.
  • 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 acknowledgment.
• 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 expulsion.
• The use of others' web/publication content (text, graphics, codes) is regarded as plagiarism without giving credit (see the above description of plagiarism). 
• 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 permission.

Incomplete

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.