Date: Wed, 20 Nov 1996 22:39:35 GMT Server: NCSA/1.5.1 Last-modified: Thu, 18 Jan 1996 21:53:17 GMT Content-type: text/html Content-length: 2024 CIS 301 Syllabus Autumn 1994

CIS301: Logical Foundations for Programming

Spring 1996

MWF 10:30 N122
Dave Schmidt, Instructor
Office: N219A, 532-6350.

Course materials:

Objectives

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

Lectures (topic/#weeks)

Grading

Roughly two-thirds of the course grade will be based on in-class exams. (There will be at least three exams.) The remainder of the grade will be based on the weekly homework exercises.

The fine print section

Prerequisite policy: The prerequisite for this course is CIS200. If you have not taken CIS200, you must see the instructor. (The Engineering College may choose to drop you from this course without notice if you do not have the prerequisite course.)

Drop policy: It is your responsibility to drop the course if you are enrolled but decide not to complete the course. There are no ``automatic'' drops due to nonattendance.

Cheating policy: The department head requires that I include in this syllabus my policy on cheating. My policy is that you are expected to do your own work on the homeworks and exams.


Dave Schmidt (schmidt@cis.ksu.edu)