510-749 COM S  400
The Science of Programming
 Fall 2004
MWF 11:15 - 12:05 Hollister 372
Instructor: David Gries
 3 credits
Prerequisite: COM S 211. The practical development of correct programs based on the conscious application of
principles that are derived from a mathematical notion of program correctness. In addition, related ideas in
"algorithmic problem solving" are explored.
Home
Contact info
Objectives,
topics, outcomes
DrJava
Lec/Rec schedule
Text / handouts
Assignments
Exams and grades


Text: Science of Programming, by David Gries. Springer Verlag, 1981. Available in the Cornell book store.

Theorems of calculational logic (to be handed out first day of the class). This proof strategies and principles as well as theorems for propositional calculus, general quantification, predicate calculus, set theory, and mathematical induction.