principles that are derived from a mathematical notion of program correctness. In addition, related ideas in "algorithmic problem solving" are explored. |
||||||||||
|
David Gries 167 Olin Hall, (607) 255-0393 (I am usually here) email: gries at cs.cornell.edu I will arrange office hours once the course starts. I answer email quickly, when it is possible. For an appointment, please call Cindy Pakkala at 255-8240. My office door is open. If I am in and not talking to someone else, I am happy to talk to you. |
|||||||||