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
Mice21 [21]
3 years ago
14

Which is not one of the four criteria for proving the correctness of a logical pretest loop construct of the form: while B do S

end? a. The loop terminates. b. {I and B} S {I} c. left curly bracket I space a n d space (n o t space B )right curly bracket space rightwards double arrow space Q d. I space rightwards double arrow space P e. P space rightwards double arrow space I
Computers and Technology
1 answer:
Paul [167]3 years ago
3 0

Answer: d. I space rightwards double arrow space P

Explanation:

The loop invariant must always satisfy a number of requirements for it to be considered useful. Another consideration is the complicating factor for loop termination. Any loop which cannot terminate would always not be correct, which tends to compute nothing. Below is a complete axiomatic illustration showing the construct required for it to be true, where I is the loop invariant:

P => I

{I and B} S {I}

(I and (not B)) => Q

the loop terminates

You might be interested in
What are the two basic windows 8 settings for network security?
maks197457 [2]

The two basic windows 8 setting for network security are Public and private network. The private network settings mean that you can link home group and make remote desktop connections. Public network settings entail the greatest privacy. You should make sure file or device sharing is disabled for having data copy.

<span> </span>

 

7 0
3 years ago
Anyone else getting 502 bad gateway on here?
Sever21 [200]
Nope I'm not having any trouble with this application try redownloading
7 0
3 years ago
Identify a characteristic of in-house hosting
zalisa [80]
<span>An identifying characteristic of in-house hosting is the ability to have total control of a data location. In-house hosting simply means that instead of relying on an outside or outsourced company to host your website, you do it yourself within your own company with your own employees.</span>
3 0
3 years ago
A speaker's interest in a topic corresponds to _____.
Sholpan [36]
Hello, Good Works!

-> Answer: <span>the speaker's level of enthusiasm

*A speaker's interest in a topic corresponds to the speaker's level of enthusiasm</span>
8 0
3 years ago
If you are in an earthquake situation which of the following should you do? A. All of the answers are correct B. If in a vehicle
Anika [276]
The answer is A but I don't see how this is suppose to be for Computers and tech ?
3 0
3 years ago
Read 2 more answers
Other questions:
  • The support group at Universal Containers wants agents to capture different information for product support and inquiry cases. I
    14·1 answer
  • When it comes to safety, the choice to be safe is often up to __________?
    8·1 answer
  • How can you take a picture of work on here?????
    9·1 answer
  • Research 3 distributions that utilize the big data file systems approaches, and summarize the characteristics and provided funct
    7·1 answer
  • Rewriting notes into complete sentences is unnecessary if you want to include the notes in your study guide. Truth or false?
    15·2 answers
  • Which of the following statements is true about a file stream?
    5·1 answer
  • Which type of security software prevents, detects, and removes the malware program that tries to collect personal information or
    8·2 answers
  • Which type of computer network ensures high security
    10·1 answer
  • What is another term used for next generation firewalls
    12·1 answer
  • Your browser has blocked your from your crucial secure intranet sites. What could be the problem?.
    11·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!