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:
-
1. ``Beginning Logic,'' by E.J. Lemmon, available at the book stores
-
2. supplemental notes, available from K-State Union copy center later in the semester
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)
-
Propositional logic (Lemmon, Ch. 1) 3
-
More about propositional logic (parts of Lemmon, Ch. 2) 2
-
Elementary number theory, mathematical induction
(supplemental notes, Ch. 5) 2
-
Basics of program verification (Floyd-Hoare logic)
(supplemental notes, Ch. 6) 2
-
Predicate logic (Lemmon, Ch. 3) 4
-
Program verification with arrays 2
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)