CIS 301. Logical Foundations of Programming

Spring 1995 Syllabus

Location:

127 Nichols Hall, TT 12:30

Instructor:

Brian Howard (bhoward@cis)

Office:

212 Nichols Hall, ph. 532-6350

Office Hours:

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

Texts:

E. J. Lemmon, Beginning Logic, Hackett, 1978.

Dave Schmidt, Supplemental Notes, available at K-State Union Copy Center.

Objectives:

We will study the fundamentals of symbolic logic, learn how to write proofs, and learn how to apply logic to computer programming.

Topics:

• Propositional logic (Lemmon, Chs. 1 & 2: 5 weeks)
• Elementary number theory and mathematical induction (Schmidt, Ch. 5: 2 weeks)
• Basics of program verification (Schmidt, Ch. 6: 2 weeks)
• Predicate logic (Lemmon, Ch. 3: 4 weeks)
• Program verification with arrays (2 weeks)

Prerequisites:

CIS 200 and CIS 203. If you have not taken these courses, you must see the instructor---the Engineering College may choose to drop you from this course without notice if you do not have the prerequisites.

Grading:

• weekly homeworks: 50%
• two or three in-class exams (including the final): 50%

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 starts on page 98 of the 1994-95 Campus Phone Book.

I will accept late homeworks (at a significant penalty) up until the graded assignments are returned to the rest of the class; after that point, the grade will be a zero. If you decide not to complete the course, it is your responsibility to drop---there are no ``automatic'' drops due to nonattendance.