Actividad n 6

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.

Siendo el dividendo menor que el divisor y el resultado =1, el programa no es correcto.

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.

Siendo x=0 e y distinto de 0, el programa no ser correcto

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.

Cuando se realiza una suma e i es menor o igual que N, es verdad.
Si i es mayor o igual que N, se llega al resultado deseado.