b=(a+4)/2
c=2*b-5
d=3*c+7
Substitute the right hand side of the d=3*c+7 in the postcondition given(d>=4) to get a postcondition for the assignment (c=2*b+5) then substitute the right hand side of the assignment(c=2*b+5) in that postcondition to get the precondition
Repeat this for every statement in the sequence.The final precondition is the weakest precondition for the sequence.
substitute d>=4 we get
3*c+7>=4
=>3*c>=-3
=>c>=-1
substitute c>=-1
=>2*b-5>=-1
=>2*b>=4
=>b>=2
now substitute b>=2
(a+4)/2>=2
a+4>=4
a>=0
hence preconditions of each statements are
b=(a+4)/2=>{a>=0}
{b>=2}
c=2*b-5
{c>=-1}
d=3*c+7
{d>=4}
Therefore the weakest precondition of the total sequence is a>=0
if u understand this upvote else post a comment
2. (8 points) A sequence of statements is listed below: b = (a+4)/2 c=2* b-5 d...
3. Find the weakest precondition for the following sequence of statements and its post-condition: a-2b + 1; b = a - 3; {b > 2)
how do you solve this? em sets: Compute the weakest precondition for the following sequence of assignment statements and their postconditions (3pts]: a = 3 * (2 * b + a); b = 2 * a - 1 {b > 5}
Lesson 2: Financial Statements 1) What is the proper sequence for accounts listed in the chart of accounts? Put them in order. Revenue, Assets, Expenses, Equity, Liabilities 9.09 Points Saved 1. Liabilities 2. Revenue 3. Expenses 4. Assets 5. Equity Current Assets $1020834 Total Assets $1867680 Current Liabilities $ 376178 Total Liabilites $527216 Net Income $400019 Net Cash Provided by Operating Activities $464270 Capital Expenditures $250407 Dividends paid on Common Stock $80796 Weighted Avg shares Outstanding $216119 Please use the...
4. 5. 6 7 8. Find the 8th term of the geometric sequence whose common ratio is 3 2 and whose first term is 7. 8 х 5 ? For a given geometric sequence, the 3 term, as, is equal to write your answer as a fraction. 11 81 and the 8th term, ay, is equal to - 33. Find the value of the 12th term, aiz. If applicable, 음 X 5 Suppose that a sequence is defined as follows....
2. (8 points) Let {fn}n>ı be a sequence of functions that are defined on R by fn(x):= e-nx. Does {{n}n>1 converge uniformly on [0, 1]? Does it converge uniformly on (a, 1) with 0 <a<1? Does it converge uniformly on (0, 1)?
Write an equation of the line below. 7 6- 5 -8 -7 -6 -5-4 -3 2 3 6 7 S 2- Next >> re
Problem 4: (20 Points) X is a uniform random variable with parameters -5 and 5. Given the event B-VI > 3) 1. (5 points) What is the probability of the event B, P(B)? 2. (5 points) What is the conditional PDF, fxB()7 3. (5 points) Find the conditional expected value, E[X |B]. 4. (5 points) Find the conditional variance, var[X]B].
4. 5. 6. 7. 8 Find the 15th term of the arithmetic sequence whose common difference is d=9 and whose first term is a, = 2. 8 Х 5 ? 3 4 5 6 For a given arithmetic sequence, the 89th term, agg, is equal to – 233, and the 9th term, do, is equal to 7. Find the value of the 33' term, 233- 0 433 X ? Check 2020 Merwe 2 # 3 $ 4 % 5 8...
005 10.0 points Determine whether the sequence {an} con- verges or diverges when en = (-1)" (5n+) (5n+7) (5n+4) and if it does, find its limit. 1. sequence diverges 2. limit = 0 3. limit = +1 4. limit 5. limit = 1 006 10.0 points Which of the following sequences converge? A. _2n | 3n +4J 4en +6) 5n+6 C. {_3en1 C. (4+2en) 1. A and C only 2. B only 3. none of them 4. A, B, and...
4. (8 points) Provide the structures of the products (A, B, C, D) and full mechanisms for each reaction in the following sequence. 1. 0 Η΄ HBr A Mg/ether Na2Cr2O7 H2SO4 D 2. HO