HomeworkLib
Question

Problem 4 (11 pts, 1 pt. for each condition): Forward reasoning Find the strongest postcondition of each code sequence by inserting the appropriate condition in each blank. The first condition in part (a) is supplied as an example Please simplify your answers as much as possible. Assume all variables are ints Copy all code to your answer file and fill in the blanks. Carry all variables forward. Show all work. fx> 0 ) x10 10 y 20 -xi x11 ) x=-x; x=x+1; 5 if (x > 0) )else ( y=x-1;

engineering   Computer-Science   
0 0
Add a comment Improve this question Transcribed image text
Next > < Previous
Sort answers by oldest

Homework Answers

Answer #1

1

a. y==10

b. z==14

c. y==0

2

a. |x|>11

b. x>121

c. x>122

3

a. x<5

b. y<7

c. x>-5

d. y>-6

e. |x|<5

0 0
Add a comment
Know the answer?
Add Answer to:
Problem 4 (11 pts, 1 pt. for each condition): Forward reasoning Find the strongest postcondition of...
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Log In

Sign Up

Not the answer you're looking for? Ask your own homework help question. Our experts will answer your question WITHIN MINUTES for Free.
Similar Homework Help Questions

  • PROB 4 Let Xi and X2 be independent exponential random variables each having parameter 1 i.e....

    PROB 4 Let Xi and X2 be independent exponential random variables each having parameter 1 i.e. fx(x) = le-21, x > 0, (i = 1,2). Let Y1 = X1 + X2 and Y2 = ex. Find the joint p.d.f of Yi and Y2.

  • Question 1 (8 points): Choose the Correct Answer (2 points for each question) 1. What are...

    Question 1 (8 points): Choose the Correct Answer (2 points for each question) 1. What are the values of the variables x and y after executing the following code? intx=0,y-2; if (x0) y-13 else y-2;) c, x = 1,y=1 d.x-1,y 2 of the following will output Yes only if the integer variable numis either 2.3, 4, or 5? a. if ((2--num) II (nurn<-5)) {cout << "Yes" << endl; } miT b. İfQ2(num) & (num >-5)) {cout << "Yes"くくendl; } c....

  • Problem 1 (20 pts) Global variables are declared outside any function and can be accessed by...

    Problem 1 (20 pts) Global variables are declared outside any function and can be accessed by any function in MATLAB. In contrast, local variables are declared inside a function, and can be used only inside that function. In this homework, you will create two global variables containing x and y coordinates of points to be plotted. You will also create a plotting function which will access the global variables. a) Create the function plotFunct with no inputs and no outputs....

  • For 1 through 11, create an expression using the relational operators, the logical operators, and variable...

    For 1 through 11, create an expression using the relational operators, the logical operators, and variable names of your own choosing, no if or variable declaration is necessary. 1. is a person's age equal to 30? 2. is a body temperature greater than 98.6? 3. is a person's height less than 6 feet? 4. is the current month 12? 5. check if the letter input is m 6. is a person's age equal to 30 and is the person taller...

  • Question 1 4 pts To find a power series solution about x = 0 to y...

    Question 1 4 pts To find a power series solution about x = 0 to y + 2xy = 0, which are procedures needed? Apply the Theorem 3 that all coefficients must be O to determine the coefficients an Show x = 0 is an ordinary point. Shift the indices so that the general term in each is a constant times ck and combined these power series as only one series. All of them Write the solution as a power...

  • Show all work for each problem. 1. (15 pts) y"-2y'+2y = 2x, y(0) = 4, y"0)...

    Show all work for each problem. 1. (15 pts) y"-2y'+2y = 2x, y(0) = 4, y"0) = 8, y, =ce" cosx+c,e' sin x, y, = x+1. Find a solution satisfying the given initial conditions.

  • Problem 1 (10 pts) (Matlab coding) In this problem you will be manipulating a sine wave...

    Problem 1 (10 pts) (Matlab coding) In this problem you will be manipulating a sine wave plot using a for loop and if statements. a) Create a vector x that goes from −4π to 4π with increments of π/10. b) Instead of using y = sin(x) on the entire array at once, use a for loop to calculate the sine of x for each value in the vector individually. Vector y should be the sine of vector x. Use the...

  • cannot figure out how to write the integrals for this problem #2 1. If glx) -2x and fx) - , find the area of the region enclosed by the two graphs. Show a work for full credit. (4 pts) 2. A:12-...

    cannot figure out how to write the integrals for this problem #2 1. If glx) -2x and fx) - , find the area of the region enclosed by the two graphs. Show a work for full credit. (4 pts) 2. A:12-80% 3 3 2 Let fix)-. Let R be the region in the first quadrant bounded by the gruph of y - f(x) and the vertical line x # l, as shown in the figure above. (a) Write but do...

  • Already posted and got parts 1-4. Need the test of the questions please!! 5) Iran an...

    Already posted and got parts 1-4. Need the test of the questions please!! 5) Iran an ANOVA for this test. When I printed out the Word Doc in Google Docs, it eliminated a few of the values I highlighted in the ANOVA table. Use your knowledge of the ANOVA table and fill in the blanks. In this test, there are 5 groups and each group consist of 20 samples (100 total). df MS ANOVA Source of Variation Between Groups Within...

  • LANGUAGE IS C++ Lab Ch14 Recursion In this lab, you are provided with startup code which...

    LANGUAGE IS C++ Lab Ch14 Recursion In this lab, you are provided with startup code which has six working functions that use looping (for, while, or do loops) to repeat the same set of statements multiple times. You will create six equivalent functions that use recursion instead of looping. Although looping and recursion can be interchanged, for many problems, recursion is easier and more elegant. Like loops, recursion must ALWAYS contain a condition; otherwise, you have an infinite recursion (or...

ADVERTISEMENT
Free Homework Help App
Download From Google Play
Scan Your Homework
to Get Instant Free Answers
Need Online Homework Help?
Ask a Question
Get Answers For Free
Most questions answered within 3 hours.
ADVERTISEMENT
ADVERTISEMENT