Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Quiz 1 - Semana 3
Instrucciones
https://poli.instructure.com/courses/13149/quizzes/46725 1/10
2/6/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
Historial de intentos
Las respuestas correctas estarán disponibles del 3 de jun en 23:55 al 4 de jun en 23:55.
Un programa que valida que las entradas de otro programa sean válidas.
https://poli.instructure.com/courses/13149/quizzes/46725 2/10
2/6/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
La combinación a = 10, b = 11
La combinación a = 10, b = 8
https://poli.instructure.com/courses/13149/quizzes/46725 3/10
2/6/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
k=0
x := x·b[k]
k in [0,n]
k := k + 1
https://poli.instructure.com/courses/13149/quizzes/46725 4/10
2/6/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
k in [0,n]
x=1
k := k + 1
x := x·b[k]
https://poli.instructure.com/courses/13149/quizzes/46725 5/10
2/6/2020 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}
https://poli.instructure.com/courses/13149/quizzes/46725 6/10
2/6/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
La combinación x = 1, y = 3
La combinación x = 2, y = 1
Un programa que valida que las salidas de otro programa sean válidas.
https://poli.instructure.com/courses/13149/quizzes/46725 7/10
2/6/2020 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?
{P} S1 {R}
(P, ¬B1) Q
{R, ¬B1} Q
P WP(Q, S1)
{P} S0 {R}
El ciclo do termina
https://poli.instructure.com/courses/13149/quizzes/46725 8/10
2/6/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
a+b
https://poli.instructure.com/courses/13149/quizzes/46725 9/10
2/6/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
B)
A)
C)
F)
D)
E)
https://poli.instructure.com/courses/13149/quizzes/46725 10/10