Prove whether or not the program segment x≔3 z≔x-y+2 if y>0 then z≔z+3 else z≔2 ...

Question

Question

x≔3

z≔x-y+2

if y>0 then

z≔z+3

else

z≔2

is partially correct with respect to the initial assertion y=4 and the final assertion z=6

Answer 1

Answer #1

x = 3 Z = X-Y+2 if yyo then Z: - Z+3 else Z=2 For Y=4 x - 3 Z:= X - Y + 2 - 3- 4+2 - since Y=470 Z: - Z+3 . Z= 1+3 = 476 The

Answer 2

Similar Homework Help Questions

C) Find the smallest ? so that ?(?) = 7?2(log ?)3 + 2?4 + 3(log ?)2...

C) Find the smallest ? so that ?(?) = 7?2(log ?)3 + 2?4 + 3(log ?)2 is ?(??) d)Prove whether or not the program segment ?≔3 ?≔?−?+2 ?? ? > 0 ???? ?≔?+3 ???? ?≔2 is partially correct with respect to the initial assertion ? = 4 and the final assertion ? = 6 e) Consider the following recurrence relation: What is ?(8)? f) Let ?(?) be the recurrence relation defined by ?(?)=?(?−1)2 +??(?−2)for?≥2 Find ?(3) ?(?) = 3? (?)...
16. Verify the correctness of the following program segment with the assertions shown. x=z+1 y=x+2 y-6) if y >0 then...

16. Verify the correctness of the following program segment with the assertions shown. x=z+1 y=x+2 y-6) if y >0 then z=y' + 1 else z=2*y end if (z = 7} 16. Verify the correctness of the following program segment with the assertions shown. x=z+1 y=x+2 y-6) if y >0 then z=y' + 1 else z=2*y end if (z = 7}
2. (15 marks) Consider the following program: >> Precondition: x and y E Z. Postcondition: Return...

2. (15 marks) Consider the following program: >> Precondition: x and y E Z. Postcondition: Return the sum x + y. add(x, y): 1. if x == 0: 2. return y 3. elif x > 0: 4. return add(x - 1, y) + 1 5. else: 6. return add(x + 1, y) - 1 Prove that this program is correct in terms of its specification.

using discrete structures 3. Consider the function F(x, y, z) for x, y, z z 0 defined as follows: a. F(x, y, 0)-y+1 b. F(x, 0, 1)-x c, F(x, 0, 2) = 0 d. F(x, 0, z+ 3)-1 e. F(x, y, z)-F(x, F(x, y-1, z...

using discrete structures 3. Consider the function F(x, y, z) for x, y, z z 0 defined as follows: a. F(x, y, 0)-y+1 b. F(x, 0, 1)-x c, F(x, 0, 2) = 0 d. F(x, 0, z+ 3)-1 e. F(x, y, z)-F(x, F(x, y-1, z), z-1) Using Induction, prove the following a. F(x, y, 1)-x +y b, F(x, y, 2) = xy c. F(x, y, 3)-xy 3. Consider the function F(x, y, z) for x, y, z z 0 defined...
7. Write the following code segment in MARIE's assembly language (If-Else): If x < Y Then...

7. Write the following code segment in MARIE's assembly language (If-Else): If x < Y Then X = Y - X; Y = Y + 1; Else X = Y; Y = 0; Endif;
You are given the following multivariate PDF (x, y, z) ES fxx.2(x, y, z) =- 0 else where S-((z, y...

You are given the following multivariate PDF (x, y, z) ES fxx.2(x, y, z) =- 0 else where S-((z, y, z) 1x2 + уг + z2 < 1} (a) (5 points) Let T be the set of all points that lie inside the largest cylinder by volume that can be inscribed in the region of S. Similarly let U be the set of all points that lie inside the largest cube that can be inscribed in the region of S....

. Given x-0, y = 0 and z-1, what is the value of x, y, z...

. Given x-0, y = 0 and z-1, what is the value of x, y, z after executing the following code? if(x) If(y) Z-3 else Z- 2
2. You are given the following multivariate PDF 3 (x, y, z) else s fxx.2(z, y, z)- I, 0 where S-(...

2. You are given the following multivariate PDF 3 (x, y, z) else s fxx.2(z, y, z)- I, 0 where S-((z, y,2)lr'ザ+8-1) (a) (5 points) Let T be the set of all points that lie inside the largest cylinder by volume that can be inscribed in the region of S. Similarly let U be the set of all points that lie inside the largest cube that can be inscribed in the region of S. What would the probabilities P(X,Y, Z)...
Problem 8)(Java code) Give the output of the following program segment if: (a) x=1 and y=1,...

Problem 8)(Java code) Give the output of the following program segment if: (a) x=1 and y=1, (b) x=2 and y=2. if (x > 1) if (y > 2) Sysytem.out.println(2*x-y); else Sysytem.out.println(2*x+y); else if (y > 2) Sysytem.out.println(x-y); else Sysytem.out.println(x+y);

Write a program that prompt the user to enter 3 integers: x,y and z. Your program...

Write a program that prompt the user to enter 3 integers: x,y and z. Your program should output the answer to the user based on the divisibility of x and y by z as follows: Input If both x and y are divisible by z Result X and y are both divisible by 2. X is divisible by z. Y is divisible by z. Both X and Y are not divisible by If x is only divisible by z If...