principles that are derived from a mathematical notion of program correctness. In addition, related ideas in "algorithmic problem solving" are explored. |
||||||||||
|
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
|
|||||||||