Prove that the program segment y: = 1 z: = x + y is correct with respect

Question:

Prove that the program segment
y: = 1
z: = x + y
is correct with respect to the initial assertion x = 0 and the final assertion z = 1.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For book-img-for-question

Discrete Mathematics and Its Applications

ISBN: 978-0073383095

7th edition

Authors: Kenneth H. Rosen

See More Books

Question Posted: May 02, 2016 12:31 PM

See More Questions

Verify that the program segment x := 2 z := x + y if y > 0 then z := z + 1 else z := 0 is correct with respect to the initial assertion y = 3 and the final assertion z = 6.
Use a loop invariant to verify that the Euclidean algorithm (Algorithm 1 in Section 4.3) is partially correct with respect to the initial assertion "a and b are positive integers" and the final...
Prove that the midpoint of the line segment joining P(x 1 , y 1 , z 1 ) and Q(x 2 , y 2 , z 2 ) is X1 + x2 y1 + y2 Z1 + Z2 2
Evaluate and simplify the following derivatives. d (4u + u du 8u+ 1/
Describe the principal steps in the design phase. What are the major deliverables?
Circuit Masters, Inc. (CMI), is presently operating at 80% of capacity and manufacturing 120,000 units of a patented electronic component. The cost structure of the component is as follows: Raw...
A thin-walled tube with a diameter of $12 \mathrm{~mm}$ and length of $25 \mathrm{~m}$ is used to carry exhaust gas from a smoke stack to the laboratory in a nearby building for analysis. The gas...
Lindas Foods produces frozen meals that it sells for $ 6 each. The company computes a new monthly fixed manufacturing overhead rate based on the planned number of meals to be produced that month. All...
What are the key considerations in the design and optimization of extraction processes for the recovery of valuable metals from ores and industrial waste streams, with a focus on factors affecting...
The proposed rates were not in the range the CEO expected given the pricing analysis. The CEO has asked the pricing actuary to verify the total projected loss cost excluding potential large storm...
Give a recursive algorithm for finding the sum of the first n odd positive integers.
Suppose that both the program assertion p{S}q0 and the conditional statement q0 q1 are true. Show that p{S}q1 also must be true.
How would the budget surplus be affected if Hong Kongs central bank decreased interest rates? In 2017, Hong Kongs government debt was 43.9 percent of its nominal GDP. In the same year, it witnessed a...
Fred Graf, owner of Graf Interiors, is negotiating for the purchase of Terrell Galleries. The statement of financial position of Terrell is given in an abbreviated form below. Graf and Terrell agree...
Describe the main issues that arise when conducting historical analysis of real estate returns.
Identify risks faced by investors in emerging market equities over and above those that are faced by fixed-income investors in such markets.
A client has asked his adviser to explain the key considerations in forecasting exchange rates. The advisers firm uses two broad complementary approaches when setting expectations for exchange rate...
Given the Martins risk and tax preferences, the taxable portfolio should be rebalanced: A. less often than the tax-deferred portfolio. B. as often as the tax-deferred portfolio. C. more often than...
For the function, f , in Example 4.26 perform Shannons expansion with respect to variables w 1 and w 2 , rather than w 1 and w 4 . How does the resulting circuit compare with the circuit in Figure...
A stock has had returns of 8 percent, 26 percent, 14 percent, 17 percent, 31 percent, and 1 percent over the last six years. What are the arithmetic and geometric average returns for the stock?
Determine the covariance and correlation for the following joint probability distribution: x 1 1 2 4 y 3 4 5 6 fXY (x, y) 1/8 1/4 1/2 1/8
Determine the covariance and correlation for the following joint probability distribution: x 1 0.5 0.5 1 y 2 1 1 2 fXY (x, y) 1/8 1/8
Determine the value for c and the covariance and correlation for the joint probability mass function fXY (x, y) = c(x + y) for x = 1, 2, 3 and y = 1, 2, 3.
A restaurant has fixed costs of $ 1 3 2 . 5 0 per day and an average unit cost of $ 4 . 7 5 for each meal served. If a typical meal costs $ 6 , how many customers must eat at the restaurant each day...
A machine to manufacture fasteners has a setup cost of $ 1 , 4 0 0 and a unit cost of $ 0 . 0 0 3 for each fastener manufactured. A newer machine has a setup cost of $ 1 , 7 5 0 but a unit cost of...
K Tom owns a four-sided lot that lies between two parallel streets. If the lot is 120,000-ft2 and has 500 ft frontage on one street and 300 ft frontage on the other, then how far apart are the...

Prove that the program segment y: = 1 z: = x + y is correct with respect

Question:

Step by Step Answer:

We suppose that initially x 0 The segment causes two ...View the full answer

Discrete Mathematics and Its Applications

Students also viewed these Statistics questions