1answer.
Ask question
Login Signup
Ask question
All categories
  • English
  • Mathematics
  • Social Studies
  • Business
  • History
  • Health
  • Geography
  • Biology
  • Physics
  • Chemistry
  • Computers and Technology
  • Arts
  • World Languages
  • Spanish
  • French
  • German
  • Advanced Placement (AP)
  • SAT
  • Medicine
  • Law
  • Engineering
Svetllana [295]
3 years ago
12

Explain the four criteria for proving the correctness of a logical pretest loop construct of the form "while B do S end". And pr

ove the correctness of the following:
while B do S end
Engineering
1 answer:
evablogger [386]3 years ago
6 0

Answer:

Check the explanation

Explanation:

The loop invariant has to satisfy some amount of requirements to be of good use. Another complex factor as to why a loop is the question of loop termination. A loop that doesn’t terminate can’t invariably be correct, and in fact the computation in whatever form amounts to nothing. The total axiomatic description of a while construct will have to involve all of the following to be true, in which I is the loop invariant:

P => I

{I and B} S {I}

(I and (not B)) => Q

Then the loop terminates

You might be interested in
A 0.9% solution of NaCl is considered isotonic to mammalian cells. what molar concentration is this?
natka813 [3]

Answer:

58.44 g/mol The Molarity of this concentration is 0.154 molar

Explanation:

the molar mass of NaCl is 58.44 g/mol,

0.9 % is the same thing as 0.9g of NaCl , so this means that 100 ml's of physiological saline contains 0.9 g of NaCl.  One liter of physiological saline must contain 9 g of NaCl.  We can determine the molarity of a physiological saline solution by dividing 9 g by 58 g... since we have 9 g of NaCl in a liter of physiological saline, but we have 58 grams of NaCl in a mole of NaCl.  When we divide 9 g by 58 g, we find that physiological saline contains 0.154 moles of NaCl per liter.  That means that physiological saline (0.9% NaCl) has a molarity of 0.154 molar.  We can either express this as 0.154 M or 154 millimolar (154 mM).

3 0
3 years ago
Water flows around a 6-ft diameter bridge pier with a velocity of 12 ft/s. Estimate the force (per unit length) that the water e
jolli1 [7]

Answer: hello the diagram related to your question is missing please the third image is the missing part of the question

Fx = 977.76 Ib/ft

Explanation:

<u>Estimate the force that water exerts on the pier </u>

V = 12 ft/s

D( diameter ) = 6 ft

first express the force  on the first half of the cylinder  as

Fx1 =  - -2\int\limits^\pi _\frac{\pi }{2}   {Ps*cos\beta *a} \, d\beta   ---------------- ( 1 )

where ; Fy = 0

Ps = Po + 1/2 Pv^2 ( 1 - 4 sin^2β )  ------------- ( 2 )

Input equation (2)  into equation ( 1 )         (note :  assuming Po = 0 )

attached below is the remaining part of the solution

3 0
3 years ago
PythonA group of statisticians at a local college has asked you to create a set of functionsthat compute the median and mode of
skelet666 [1.2K]

Answer:

  1. def median(l):
  2.    if(len(l) == 0):
  3.       return 0
  4.    else:
  5.        l.sort()
  6.        if(len(l)%2 == 0):
  7.            index = int(len(l)/2)
  8.            mid = (l[index-1] + l[index]) / 2
  9.        else:
  10.            mid = l[len(l)//2]  
  11.        return mid  
  12. def mode(l):
  13.    if(len(l)==0):
  14.        return 0
  15.    mode = max(set(l), key=l.count)
  16.    return mode  
  17. def mean(l):
  18.    if(len(l)==0):
  19.        return 0
  20.    sum = 0
  21.    for x in l:
  22.        sum += x
  23.    mean = sum / len(l)
  24.    return mean
  25. lst = [5, 7, 10, 11, 12, 12, 13, 15, 25, 30, 45, 61]
  26. print(mean(lst))
  27. print(median(lst))
  28. print(mode(lst))

Explanation:

Firstly, we create a median function (Line 1). This function will check if the the length of list is zero and also if it is an even number. If the length is zero (empty list), it return zero (Line 2-3). If it is an even number, it will calculate the median by summing up two middle index values and divide them by two (Line 6-8). Or if the length is an odd, it will simply take the middle index value and return it as output (Line 9-10).

In mode function, after checking the length of list, we use the max function to estimate the maximum count of the item in list (Line 17) and use it as mode.

In mean function,  after checking the length of list,  we create a sum variable and then use a loop to add the item of list to sum (Line 23-25). After the loop, divide sum by the length of list to get the mean (Line 26).

In the main program, we test the three functions using a sample list and we shall get

20.5

12.5

12

3 0
3 years ago
How are project deliverables determined?
Greeley [361]

Answer:

The essence including its problem is listed throughout the clarification section following.

Explanation:

Projects build deliverable that seem to be the products of the venture or indeed the implementation of the project. This ensures that perhaps the agile methodology may be as broad as either the goal of the study itself as well as the coverage that would be part of a much larger venture.

For every other production to have been marked as "deliverable" within the same project, this should satisfy a few eligibility requirements:

  • It should be within the development of the work.
  • The interested parties-external or internal-must consent to the above. This is perhaps the product of hard effort.

So that the above seems to be the right answer.

7 0
3 years ago
Read 2 more answers
What factors are likely to promote the formation of stress corrosion cracks?
Naddika [18.5K]

Answer:

Stress corrosion cracking

Explanation:

This occurs when susceptible materials subjected to an environment that causes cracking effect by the production of folds and tensile stress. This also depends upon the nature of the corrosive environment.

Factors like high-temperature water, along with Carbonization and chlorination, static stress, and material properties.

7 0
3 years ago
Other questions:
  • Select the material used to clean a prototype board before soldering.
    5·1 answer
  • For a copper-silver alloy of composition 25 wt% Ag-75 wt% Cu and at 775°C (1425°F) do the following:
    15·1 answer
  • The spring has a stiffness k = 200 N&gt;m and an unstretched length of 0.5 m. If it is attached to the 3-kg smooth collar and th
    12·1 answer
  • An inventor claims to have developed a heat engine that produces work at 10 kW, while absorbing heat at 10 kW. Evaluate such a c
    12·1 answer
  • The purpose of the __________ algorithm is to enable two users to exchange a secret key securely that can then be used for subse
    8·1 answer
  • What are two reasons why Hunter edjucation is important?<br><br><br> 30 pts
    12·1 answer
  • 2.(10 pts)A proposed engine cycle employs an ideal gas and consists of the following sequence of transformations; a) Isothermal
    12·1 answer
  • You must yield the right-of-way to all of the following EXCEPT:
    8·1 answer
  • WILL MARK BRAINLIST I need help on this asap thanks
    15·1 answer
  • If you’re still enrolled in school, but are looking for a job, on your resume you should highlight:
    15·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!