| 510-749 | COM S 400 |
The
Science of Programming
|
Fall 2004 |
| MWF 11:15 - 12:05 | Hollister 372 |
Instructor:
David Gries
|
3 credits |
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 |
Each day, after class, we will place here a short description of that
class.
Fri, 03 Sep.
Wed, 01 Sep. Calculational logic.
Mon. 30 Aug. Calculational logic.
Fri, 27 Aug. Introduction. Discussion of course objectives. Start on calculational logic.
