CPSC 333: Lectures for 1996

Location: [CPSC 333] [Lecture Notes] Lectures for 1996

This page was most recently modified on January 14, 1996

The 1996 lectures are available as plain text (unformatted) files.

In 1996, more time was spent on structured development (and less on object-oriented development) than is planned for 1997. However, no other major changes are planned. Thus these notes may be a useful reference, but will match the material covered in this year's lectures exactly.

The final few CPSC 333 lectures in Winter, 1996 introduced a method for proving correctness of programs written in a simple procedural programming language. This was considered to be ``optional'' material (that is, it was not tested), and the notes for these lectures are not currently available online.

Location: [CPSC 333] [Lecture Notes] [Lectures for 1996]

Department of Computer Science
University of Calgary

Office: (403) 220-5073
Fax: (403) 284-4707