Question: Question 1. [7 MARKS] This question concerns the following code. def mys (n): , 'Pre: n is an integer >0,, m=0 while not(n==0) : n=n/2#

Question 1. [7 MARKS] This question concerns the following code. def

Question 1. [7 MARKS] This question concerns the following code. def mys (n): , 'Pre: n is an integer >0,", m=0 while not(n==0) : n=n/2# This is integer division m=m+1 return m A. Part (a) [3 MARKs] Prove that the code establishes and maintains the following loop invariant: I(n):n is integer. B. Part (b) [2 MARKS] Is n a variant for the loop? Your answer must be one of the following: Yes: (Write your explanation why yes) No: (Write your explanation why no) C. Part (c) [2 MARKS] State the postcondition of this function

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Question 1. [7 MARKS] This question concerns the following code. defmys(n): , , Pre:n is an integer >0,, m=0 while not (n==0): n=n/2 This is integer division m=m+1 return m A. Part (a) [3 MARKS ]...

This question concerns the following code. def mys (n) : "'Pre: n is an integer >0 ", m=0 while not(n==0) : n=n/2# This is integer division m=m+1 return m A. Part (a) [3 MARKs] Prove that the code...

Question 1 Consider the following function: 1. def mystery(n, m) : 2. if n == 0 : # special case 1 3. return 0 4. if n == 1 : # special case 2 5. return m 6. return m + mystery(n - 1), m) What will...

Consider the trigonometric series a0 2 + X r=1 (ar cos rx + br sin rx) where a0, a1, a2, . . . and b1, b2, . . . are constants and suppose that f(x) is a periodic function of x with period 2. (a)...

In this question you will be asked to reflect on a project you have been involved in or observed, in which a design evolved, or could have evolved, through applying a theory of user behaviour. You...

ANSI-SPARC6 Programming Language Compilation Write notes on each of the following topics: (a) the implementation of labels and jumps in a recursive, block structured programming language [7 marks]...

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

In a Hopfield neural network configured as an associative memory, with all of its weights trained and fixed, what three possible behaviours may occur over time in configuration space as the net...

Prolog You are approached to compose a Prolog program to work with twofold trees. Your code shouldn't depend on any library predicates and you ought to expect that the mediator is running without...

Let i and j be positive integers. (i) Prove that there exist natural numbers a and b such that ai = bj+gcd(i, j). You may use standard results provided that you state them clearly. [4 marks] (ii) Let...

Suppose you programmed a computer to do the following: Step 1: Randomly choose a number from 0, 3, 6, 9, or 12 (with equal proba-e bility of choosing each value). Do this 200 times to get a sample of...

Water enters a 2.00-m3 tank at a rate of 6.00 kg/s and is withdrawn at a rate of 3.00 kg/s. The tank initially half full. (a) Is this process continuous, batch, or semi batch? Is it transient or...

E9.10 (LO 2) (Capitalization of Borrowing Costs) The following two situations involve the capitalization of borrowing costs. Situation I: On January 1, 2025, Columbia Outfitters signed a fixed-price...

Compared with half a century ago, adoption has become _ _ _ _ _ _ _ _ _ common, but it is more open and acceptabl e , so we probably discuss it _ _ _ _ _ _ _ . fill in the blanks more or much less or...

=+impact member states and MNEs?

=+2 How do European Union directives (such as those developed in the area of HR)

=+Can healthy employee relations be fostered in a union-free environment?