Information: - Quicksort (sometimes called partition-exchange sort) is an efficient sorting algorithm, serving as a systematic method for placing the elements of an array in order. Developed by Tony Hoare in 1959, with his work published in 1961, it is still a commonly used algorithm for sorting. When implemented well, it can be about two or three times faster than its main competitors, merge sort and heapsort. - In mathematics and computer science, an algorithm is a self-contained sequence of actions to be performed. Algorithms perform calculation, data processing, and/or automated reasoning tasks. - Robert W (Bob) Floyd (June 8, 1936 September 25, 2001) was an eminent computer scientist. - Mathematics (from Greek "mathma", knowledge, study, learning) is the study of topics such as quantity (numbers), structure, space, and change. There is a range of views among mathematicians and philosophers as to the exact scope and definition of mathematics. - Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1959/1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language. - Hoare logic ( also known as Floyd -- Hoare logic or Hoare rules ) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs . It was proposed in 1969 by the British computer scientist and logician Tony Hoare , and subsequently refined by Hoare and other researchers . The original ideas were seeded by the work of Robert W. Floyd , who had published a similar system for flowcharts . - In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels. CSP was highly influential in the design of the occam programming language, and also influenced the design of programming languages such as Limbo, RaftLib, Go, and Crystal. - A formal system or logical calculus is any well-defined system of abstract thought based on the model of mathematics. A formal system need not be mathematical as such; for example, Spinoza's "Ethics" imitates the form of Euclid's "Elements".. Spinoza employed Euclidiean elements such as "axioms" or "primitive truths", rules of inferences etc. so that a calculus can be build using these. For nature of such primitive truths, one can consult Tarski's "Concept of truth for a formalized language". - A sorting algorithm is an algorithm that puts elements of a list in a certain order. The most-used orders are numerical order and lexicographical order. Efficient sorting is important for optimizing the use of other algorithms (such as search and merge algorithms) which require input data to be in sorted lists; it is also often useful for canonicalizing data and for producing human-readable output. More formally, the output must satisfy two conditions: - An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Greek "axima" 'that which is thought worthy or fit' or 'that which commends itself as evident.' What object entity has the relation of 'named after' with the subject 'hoare logic'? Choices: - 11 - 2001 - charles - charles antony richard hoare - euclid - family - human - main - mathematics - point - robert
charles antony richard hoare
Ques:Information: - Digital distribution (also called content delivery, online distribution, or electronic software distribution (ESD), among others) is the delivery or distribution of media content such as audio, video, software and video games. The term is generally used to describe distribution over an online delivery medium, such as the Internet, thus bypassing physical distribution methods, such as paper, compact discs, and VHS videocassettes. The term online distribution is typically applied to freestanding products; downloadable add-ons for other products are more commonly known as downloadable content. With the advancement of network bandwidth capabilities, online distribution became prominent in the 21st century. - Half-Life 2 (stylized as HLF-LIFE) is a first-person shooter video game developed and published by Valve Corporation. The sequel to 1998's "Half-Life", it was released in November 2004, following a five-year, $40 million development phase, during which a substantial part of the project was leaked and distributed on the Internet. The game was developed alongside Valve's Steam software and the Source engine. - Left 4 Dead is a cooperative first-person shooter video game with survival horror elements, developed by Valve South and published by Valve Corporation. The game uses Valve's proprietary Source engine, and is available for Microsoft Windows, Xbox 360 and OS X. Development on the game was completed on November 13, 2008, and two versions were released digitally: A downloadable digital version, released on November 17, 2008, and a digital retail disc version, with a release date determined by region. The digital retail disc version was released in North America and Australia on November 18, 2008; and in Europe on November 21, 2008. - Age of Chivalry is a multiplayer video game , created as a total conversion modification for the Valve Corporation 's Half - Life 2 using the Source engine . Founded by Rikard Lindgren and Scott Chipman , and developed by third - party developer Team Chivalry , the game consists of a medieval theme and aims to provide enjoyable close - combat battles . - Valve Corporation (commonly referred to as Valve) is an American video game developer and digital distribution company headquartered in Bellevue, Washington. The company is known for the "Half-Life", "Counter-Strike", "Portal", "Day of Defeat", "Team Fortress", and "Left 4 Dead" series, "Dota 2", and its software distribution platform Steam. What object entity has the relation of 'platform' with the subject 'age of chivalry'? Choices: - internet - microsoft windows - steam - windows - xbox

Ans:
microsoft windows