The next 3 questions concern the program below: X <-- 0; I <-- 0; while I < 10 d

Question

The next 3 questions concern the program below:

X <-- 0;

I <-- 0;

while I < 10 do

X <-- X + (3 * (I ** 2)) + (3 * I) + 1;

I <-- I + 1;

end while;

4. Consider the while loop of Program A. Show that assertion P == {X = I ** 3} holds at the beginning of the loop, i.e., just before the "while" statement. (I**3 is I*I*I.) (1 pt.)

5. Show that P is a loop invariant; i.e., if P holds at the bottom of the loop, then P holds at the top of the loop. (1.5 pts.)

6. What do we know at the end of the program? (1 pt.)

Explanation / Answer

Dear, 1. X

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.