9 September 2008

• Assignments are to be handed in on the third floor of G block under the Mathematics reception counter
• Chapters 4.1, 4.2 and 4.3 of the text book will be covered
• The rest of the paper will cover logical & algebraic methods for reasoning about (the correctness of) programs