Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-... https://poli.instructure.

com/courses/40121/quizzes/81220

Actividad de puntos evaluables - Escenario 2

Fecha de entrega 9 de nov en 23:55 Puntos 50 Preguntas 5
Disponible 6 de nov en 0:00 - 9 de nov en 23:55 4 días Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

1 de 6 9/11/2021, 12:09 p. m.
Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-... https://poli.instructure.com/courses/40121/quizzes/81220

Volver a realizar el examen

Historial de intentos
Intento Hora Puntaje
MÁS RECIENTE Intento 1 6 minutos 50 de 50

Puntaje para este intento: 50 de 50

Entregado el 9 de nov en 12:08
Este intento tuvo una duración de 6 minutos.

Pregunta 1 10 / 10 pts

¿Es la siguiente tripla válida?

{Pre Q: a = A /\ b = B}

program mistery

input: a:R , b:R

a := 12

b := 10

return a, b

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

Verdadero

¡Correcto!
Falso

Pregunta 2 10 / 10 pts

2 de 6 9/11/2021, 12:09 p. m.
Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-... https://poli.instructure.com/courses/40121/quizzes/81220

¿Cuál es el predicado más débil Q que hace la siguiente tripla válida?

{Pre Q: ___________________}

program mistery

input: a:Z , b:Z

var: r:boolean

if (a + b) mod 2 = 0 then

r := true

else

r := false

return r

{Pos R: r ≡ (a mod 2 = b mod 2)}

¡Correcto!
true

a mod 2 = b mod 2

false

a = A /\ b = B

(a + b) mod 2 = 0

Pregunta 3 10 / 10 pts

Para demostrar que la tripla siguiente es válida, se debe demostrar

que:

{Pre Q: a = b = B}

program mistery input: a:R , b:R

3 de 6 9/11/2021, 12:09 p. m.
Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-... https://poli.instructure.com/courses/40121/quizzes/81220

var: c:R

if a > b then

c := a

else

c := b

return r

{Pos R: (c = A ∨ c = B) ∧ c >= A ∧ c >= B}

a = A /\ b = B /\ a > b --> (a = A \/ a = B) /\ a >= A /\ a >= B

¡Correcto!
(a = A /\ b = B /\ a > b --> (a = A \/ a = B) /\ a >= A /\ a >= B) /\ (a = A /\ b
= B /\ ¬(a > b) --> (b = A \/ b = B) /\ b >= A /\ b >= B)

La tripla no es válida.

a = A /\ b = B /\ ¬(a > b) --> (b = A \/ b = B) /\ b >= A /\ b >= B

a = A /\ b = B --> (a = A \/ b = B) /\ a >= A /\ b >= B

Pregunta 4 10 / 10 pts

Complete Q, el predicado más débil que hace la tripla válida.

{Pre Q: a = A /\ a ≠ 0 }

program mistery

input: a:R

var: b:R

b := 1 / a

4 de 6 9/11/2021, 12:09 p. m.
Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-... https://poli.instructure.com/courses/40121/quizzes/81220

return b

{Pos R: A*b = 1}

Respuesta 1:

¡Correcto! A

Respuesta 2:

¡Correcto! 0

Pregunta 5 10 / 10 pts

Complete el siguiente programa de manera que la tripla resultante sea

válida:

{Pre Q: a = A ∧ b = B ∧ a > b}

program mistery

input: a:Z , b:Z

a := a + b

b := ______________

return a, b

{Pos R: a = A + B ∧ b = A}

a+b

5 de 6 9/11/2021, 12:09 p. m.
Actividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-... https://poli.instructure.com/courses/40121/quizzes/81220

¡Correcto!
a-b

Puntaje del examen: 50 de 50

6 de 6 9/11/2021, 12:09 p. m.