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


The final is scheduled for ?

However, if there are few enough students, the final may be an oral exam.

There will be weekly or biweekly assignments and two in-class prelims. The prelims are expected to be on:

Monday, 11 October
Friday, 12 November.