Syllabus for CIS 301, Logical Foundations of Programming, Spring 2007

Professor: Rod Howell

Office: 227D Nichols
Email: rhowell@ksu.edu
Office Hours: 1:00-2:00 MWF, or by appointment

TA: Aaron Chavez

Office: Nichols 019, Desc CC
Email: mchav at ksu.edu
Office Hours: 3:00-4:00 TT

Textbook:

Logic in Computer Science: Modelling and Reasoning about Systems, Michael Huth and Mark Ryan, Cambridge University Press, 2nd Ed., 2004. Also see the textbook's home page.

Prerequisite:

CIS 200 Fundamentals of Software Design and Implementation.

Specifically, students are expected to have the following background:

Experience in C# or Java programming
Understanding of mathematical formalisms such as those used in algebra

Learning Outcomes:

Students should master the following knowledge and skills:

understanding the syntax and semantics of first-order logic and being able to translate simple English statements into first-order logic
understanding what it means for a statement to be a consequence of other statements
understanding what constitutes a logically valid argument, and understanding the notion of a counterexample
employing basic methods of proof, including proof by cases, proof by contradiction, and proof by induction
constructing proofs in the natural deduction calculus
writing specifications (pre- and postcondition) for simple programming problems
verifying the correctness of simple programs

In addition, students should have become familiar with the following:

appreciating issues that arise when attempting to translate natural language into first-order logic
realizing the significance of soundness and completeness of natural deduction for propositional logic and first-order logic
computing invariants for loops

Other Courses Building on This Material:

CIS 505, CIS 560, CIS 570, CIS 575, CIS 705, CIS 706, CIS 761, CIS 762, CIS 770, CIS 775

Grading:

Homework: 25%
Exam 1, Feb. 14: 15%
Exam 2, Mar. 14: 15%
Exam 3, Apr. 18: 15%
Final Exam,Thursday, May 10, 11:50 am: 30%

Homework will be assigned throughout the semester. Some assignments will require electronic submission through K-State Online, whereas others will require hard-copy submission. Hard-copy homework assignments may be submitted to either

Rod Howell; or
the homework tray in the CIS office, Nichols 234 (be sure to include your name, my name, and the course number).

Assignments submitted to any other person/location or after the due date will not be accepted.

The exams will be closed-book, though the use of a sheet of notes may be permitted. The final exam will be comprehensive.

Grades will be assigned according to the following grading scale:

90%-100%: A
80%-89%: B
70%-79%: C
60%-69%: D
0%-59%: F

Academic Honesty:

On all homework, projects, and exams, you will be expected to do your own work. According to the Undergraduate Honor System, on all assignments, examinations, or other course work undertaken by undergraduate students, the following pledge is implied, whether or not it is stated: "On my honor, as a student, I have neither given nor received unauthorized aid on this academic work."

For more information, please visit the Honor System web page at http://www.ksu.edu/honor.

K-State Online:

All assignments and other course materials will be distributed via K-State Online. Grade information may be accessed there, and announcements will be posted from time to time. Important class messages will be emailed to your KSU email accounts and posted as announcements. You must be enrolled in the course to access K-State Online.

Other:

College of Engineering Policies