Actividad de proceso N6 de la unidad 4

1. El segmento de programa siguiente es un intento de calcular el cociente

(olvidndonos del residuo) de dos enteros positivos contando el nmero de veces
que se puede restar el divisor al dividendo antes de que lo que nos quede sea menor
que el divisor. Por ejemplo, 7/3 debe producir 2 porque podemos restarle 3 dos
veces a 7. Es correcto el programa? Justifique su respuesta.

1. No. Si el dividendo es menor que el divisor, como en 2/5, la respuesta dada es 1, aunque
debiera ser cero. Porque no podemos dividir un numero mas chico en otro mas grande por lo
que la respuesta es 0.

2. El segmento de programa siguiente est diseado para calcular el producto de dos enteros
no negativos X y Y acumulando la suma de X copias de Y; esto es 3 por 4 se calcula
acumulando la suma de tres cuartos. Es correcto el programa? Justifique su respuesta.

2. No. Si el valor de X es igual cero y el de Y es no es cero, la respuesta no ser correcta.

3. Suponiendo la condicin previa de que el valor asociado a N es un entero positivo,

establezca un invariante de ciclo que conduzca a la conclusin de que si la rutina siguiente
termina, se asigna a Suma el valor 0 + 1 + ... + N.

Proporcione un argumento para apoyar la tesis de que la rutina s termina.

3. Cada vez que se realiza la prueba, Suma = 1 + 2 + ...+ I e I menor o igual que N, es
verdadero. Si combinamos esto con la condicin de terminacin I mayor o igual que N,
obtenemos la conclusin deseada Suma = 1 + 2 + ... + N. Puesto que I se inicia en cero ,su
valor debe llegar en algn momento al de N.