20/5/23, 23:01 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGOR…

Actividad de puntos evaluables - Escenario 2

Fecha de entrega 23 de mayo en 23:55 Puntos 50 Preguntas 5

Disponible 20 de mayo en 0:00 - 23 de mayo en 23:55 Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

Historial de intentos

https://poli.instructure.com/courses/52528/quizzes/121319 1/5
20/5/23, 23:01 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGOR…

Intento Hora Puntaje

MANTENER Intento 2 16 minutos 40 de 50

MÁS RECIENTE Intento 2 16 minutos 40 de 50

Intento 1 9 minutos 30 de 50

 Las respuestas correctas estarán disponibles del 23 de mayo en 23:55 al 24 de mayo en 23:55.

Puntaje para este intento: 40 de 50

Entregado el 20 de mayo en 23:01
Este intento tuvo una duración de 16 minutos.

Pregunta 1 10 / 10 pts

De acuerdo al material del curso, la precondición de un programa es:

 
Un programa que valida que las entradas de otro programa sean válidas.

  Una pregunta que debe hacerse al iniciar a programar.

  Un estado posterior a la ejecución del programa.

 
Una afirmación o condición que debe ser cierta antes de ejecutarse el
programa

  Una condición sin la cual no se pueden escribir programas correctos.

Pregunta 2 10 / 10 pts

De acuerdo al material del curso, la postcondición de un programa es:

  Una pregunta que debe hacerse al iniciar a programar.

https://poli.instructure.com/courses/52528/quizzes/121319 2/5
20/5/23, 23:01 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGOR…

 
Un programa que valida que las salidas de otro programa sean válidas.

 
Una afirmación o condición que debe ser cierta después de ejecutarse el
programa

  Un estado anterior a la ejecución del programa.

  Una condición sin la cuál no se pueden escribir programas correctos.

Incorrecto Pregunta 3 0 / 10 pts

El siguiente programa es incorrecto con respecto a su especificación:

{Pre Q: a > 0 b>0 a mod 2 = b mod 2}

program ejercicio

input: a, b: Z

var: c: Z

c := 0
c := c + a
c := c - b

return c
{Pos R: c > 0 c mod 2 = 0}

Usted debe mostrar que efectivamente el programa es incorrecto. ¿Qué

valores elegiría para las variables de entrada?

  Cualquier combinación de valores en que b >= a.

 
El programa es correcto! Se puede demostrar con la combinación a = 4, b
=2

https://poli.instructure.com/courses/52528/quizzes/121319 3/5
20/5/23, 23:01 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGOR…

  La combinación a = 10, b = 12 ó la combinación a = 9, b = 7

 
Cualquier combinación de valores en que b ≥ a, y que uno de los dos sea
impar y el otro par.

  La combinación a = 10, b = 8

 
Cualquier combinación de valores en que a ≥ b, y que ambos sean pares
o ambos impares.

  Cualquier combinación de valores en que b ≥ a, y que a+b sea impar.

  La combinación a = 10, b = 11

Pregunta 4 10 / 10 pts

Para completar Q, el predicado más débil que hace la tripla válida, debe
rellenarse los espacios en blanco con los valores:

{Pre Q: a = _________ /\ b = _________}

program mistery

  input: a: , b:

  a := a + b

  b := a - b

  a := a - b

  return a, b

{Pos R: a = 10 /\ b = 12}

  12 y 20

  20 y 12
https://poli.instructure.com/courses/52528/quizzes/121319 4/5
20/5/23, 23:01 Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANÁLISIS Y VERIFICACIÓN DE ALGOR…

  20 y 24

  10 y 24

  12 y 10

Pregunta 5 10 / 10 pts

Observe el siguiente programa:

{Pre Q: a = X  b = Y a > b > 0}

k := b ;
b := ? ;
a := k 
{Pos R: a < X b<Y a>0 b>0 MCD(a,b) = MCD(X,Y) }

¿Por cuál expresión debe ser reemplazado el símbolo '?' para que el programa sea
correcto?

Nota: MCD(p, q) representa el máximo común divisor entre p y q.

 k-a

 a

 a-b

 b-a

  b := a

Puntaje del examen: 40 de 50

https://poli.instructure.com/courses/52528/quizzes/121319 5/5