Algoritmos Quiz 1
Algoritmos Quiz 1
Algoritmos Quiz 1
Quiz 1 - Semana 3
Instrucciones
Historial de intentos
https://poli.instructure.com/courses/10545/quizzes/38671 1/10
11/11/2019 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
¡Correcto!
Partiendo de cualquier estado de la precondición, después de las
instrucciónes, se cumple la postcondición.
https://poli.instructure.com/courses/10545/quizzes/38671 2/10
11/11/2019 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
¡Correcto!
Una afirmación o condición que debe ser cierta después de ejecutarse el
programa
Un programa que valida que las salidas de otro programa sean válidas.
x=1
https://poli.instructure.com/courses/10545/quizzes/38671 3/10
11/11/2019 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
k := k + 1
n−1
x = Π b[i]
i=0
¡Correcto!
k = n
¡Correcto! k−1
x = Π b[i]
i=0
x := x·b[k]
¡Correcto!
k in [0,n]
¡Correcto!
Una afirmación o condición que debe ser cierta antes de ejecutarse el
programa
Un programa que valida que las entradas de otro programa sean válidas.
https://poli.instructure.com/courses/10545/quizzes/38671 4/10
11/11/2019 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
{Pre: P}
S0
{Inv: R}
do B1 →if B2 then S1
else S2 fi
od
{Post: Q}
De los siguientes pasos, cuáles son necesarios para verificar que el
programa es correcto?
¡Correcto!
{P} S0 {R}
(P, ¬B1) → Q
espuesta correcta
{R, B1, B2} S1 {R}
¡Correcto!
El ciclo do termina
¡Correcto!
{R, ¬B1} → Q
¡Correcto!
{R, B1, ¬B2} S2 {R}
{P} S1 {R}
P→ WP(Q, S1)
https://poli.instructure.com/courses/10545/quizzes/38671 5/10
11/11/2019 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
¡Correcto! k−1
x = Π b[i]
i=0
¡Correcto! k in [0,n]
k=0
n−1
x = Π b[i]
i=0
k := k + 1
¡Correcto!
k ≠ n
k = n
x := x·b[k]
https://poli.instructure.com/courses/10545/quizzes/38671 6/10
11/11/2019 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
¡Correcto!
F)
¡Correcto!
B)
E)
A)
¡Correcto! C)
D)
https://poli.instructure.com/courses/10545/quizzes/38671 7/10
11/11/2019 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
¡Correcto!
Cualquier combinación de valores en que b ≥ a, y que ambos sean pares
o ambos impares.
La combinación a = 10, b = 11
La combinación a = 10, b = 8
https://poli.instructure.com/courses/10545/quizzes/38671 8/10
11/11/2019 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
{x-y>0}
z=0
z=z+x
z=z*z
z=z-y
{z > 0}
La combinación x = 2, y = 1
La combinación x = 1, y = 3
¡Correcto!
La combinación x = 0.5, y = 0.4
¡Correcto!
A)
D)
C)
F)
B)
¡Correcto! E)
https://poli.instructure.com/courses/10545/quizzes/38671 10/10