Home | | Schedule | | Assignments | | Lecture Notes
Due: Wednesday, April 24 in class.
Complete the following problems in chapter 10 of your text:
10.1 a, b, c, e, k
10.8 with the following modification:
{wp?} x := x + y; y := x - y; x := x - y { x = X AND y = Y}
do
{wp?} x := x + y; y := x - y; x := x - y { x = C AND y = D}
Use theorem (3.84a) substitution to simplify as much as possible.
10.13
Constance Royden--croyden@mathcs.holycross.edu
Computer Science 135--Discrete Structures
Last Modified: April 15, 2013
Page Expires: January 8, 2014