CIS 604. Set Theory and Logic for Computer Science

Fall 1995 Syllabus

Location:

127 Nichols Hall, MWF 3:30

Instructor:

Brian Howard (bhoward@cis)

Office:

212 Nichols Hall, ph. 532-6350

Office Hours:

MW 1:30-3, Th 10-11:30, or by appointment

Texts:

Paul R. Halmos, Naive Set Theory, Springer-Verlag, 1974

Dirk van Dalen, Logic and Structure (third edition), Springer-Verlag, 1994

Topics:

Informal and axiomatic set theory, propositional and predicate logic, proof techniques. If time permits, we may explore one or more of the following special topics:

• logic programming
• relational databases
• intuitionistic logic
• connections with type theory
• transfinite ordinals

Grading:

• homeworks - 40%
• take-home midterm (or possibly student presentations) - 25%
• take-home final (due Wednesday, December 13) - 35%

Policy Statements:

You will be expected to do your own work on the homeworks and exams. Plagiarism and cheating are serious offenses, and may be punished by a zero grade on the assignment or exam, a failing grade in the course, or suspension or dismissal from the University. For more information, refer to the ``Academic Conduct'' section of the Student Life Handbook, which may be found in the front section of the Campus Phone Book.

I will accept late homeworks (at a significant penalty) up until the time that graded assignments are returned to the rest of the class; after that point, the grade will be a zero.