7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Quiz 1 - Semana 3

Fecha de entrega 10 de nov en 23:55 Puntos 75 Preguntas 10

Disponible 7 de nov en 0:00 - 10 de nov en 23:55 4 días Límite de tiempo 90 minutos

Intentos permitidos 2

Instrucciones

https://poli.instructure.com/courses/17142/quizzes/57973 1/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Volver a realizar el examen

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 17 minutos 75 de 75

 Las respuestas correctas estarán disponibles del 11 de nov en 23:55 al 12 de nov en 23:55.

Puntaje para este intento: 75 de 75

Entregado el 7 de nov en 9:56

https://poli.instructure.com/courses/17142/quizzes/57973 2/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Este intento tuvo una duración de 17 minutos.

Pregunta 1 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a
su especificación. En todos las variables a, b y c son enteras, la
variable p es booleana.

A) {b > a > 0} B) {b > a > 0}

c := a - b c := a - b
{c > 0} {c < 0}
C) {a > b > 0} D) {a > b > 0}
c := a - b c := a - b
{c > 0} {c < 0}
E) {a < b < 0} F) {a < b < 0}
c := a - b c := a - b
{c > 0} {c < 0}

C)

B)

A)

F)

E)

D)

Pregunta 2 7.5 / 7.5 pts

https://poli.instructure.com/courses/17142/quizzes/57973 3/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

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

Variables Entrada: int a, b
Variable Salida: int c

{a > 0, b > 0, a mod 2 = b mod 2 }

c=0
c=c+a
c=c-b
{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, y que ambos sean

pares o ambos impares.

Cualquier combinación de valores en que a ≥ b, y que ambos sean

pares o ambos impares

La combinación a = 10, b = 8

El programa es correcto! Se puede demostrar con la combinación a =

4, b = 2

La combinación a = 10, b = 11

Cualquier combinación de valores en que b ≥ a, y que la suma sea

impar

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

https://poli.instructure.com/courses/17142/quizzes/57973 4/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Cualquier combinación de valores en que b ≥ a, y que uno de los dos

sea impar y el otro par

Pregunta 3 7.5 / 7.5 pts

Observe el siguiente programa:

{Pre Q: a = Fib(n) , b = Fib(n-1), n > 1}

k := a ;
a := ? ;
b := k ;
n:=n + 1
{Pos R: a = Fib(n) , b = Fib(n-1) }

¿Qué expresión reemplaza el símbolo '?' de manera que el programa

es correcto con respecto a su especificación? (No use espacios).

Pregunta 4 7.5 / 7.5 pts

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

es:

Una pregunta que debe hacerse al iniciar a programar.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

https://poli.instructure.com/courses/17142/quizzes/57973 5/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

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.

Pregunta 5 7.5 / 7.5 pts

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

Un estado posterior a la ejecución del programa.

Un programa que valida que las entradas de otro programa sean

válidas.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

Una pregunta que debe hacerse al iniciar a programar.

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

programa

https://poli.instructure.com/courses/17142/quizzes/57973 6/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

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

Pregunta 6 7.5 / 7.5 pts

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

Variables Entrada: float x, y
Variable Salida: float z

{x-y>0}
z=0
z=z+x
z=z*z
z=z-y
{z > 0}

Usted debe mostrar que efectivamente el programa es incorrecto.

¿Qué valores elegiría para las variables de entrada?

La combinación x = 1, y = 3

La combinación x = 2, y = 1

La combinación x = 0.5, y = 0.4

El programa es correcto! Se puede demostrar que lo es con la

combinación de valores x = 3, y = 2

La combinación x = 0.6, y = 0.6

https://poli.instructure.com/courses/17142/quizzes/57973 7/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Pregunta 7 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que el predicado invariante R se mantiene,

cuáles de las siguientes hipótesis debe utilizar?

k=0

x := x·b[k]

k in [0,n]

k := k + 1

https://poli.instructure.com/courses/17142/quizzes/57973 8/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Pregunta 8 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se

cumple, cuáles de las siguientes hipótesis debe utilizar?

x=1

k := k + 1

x := x·b[k]

k in [0,n]

Pregunta 9 7.5 / 7.5 pts

https://poli.instructure.com/courses/17142/quizzes/57973 9/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Se dice que un programa es correcto de acuerdo a su especificación

si:

Cumple la precondición y la postcondición durante todas las

instrucciones del programa.

Partiendo de cualquier estado de la precondición, después de las

instrucciónes, se cumple la postcondición.

Compila perfectamente de acuerdo a la plataforma escogida de

desarrollo

No tiene errores de sintaxis y compila perfectamente.

No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado

Pregunta 10 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a
su especificación. En todos las variables a, b y c son enteras, la
variable p es booleana.

A) {a > 0, b > 0} B) {a < 0, b > 0}

c := a + b c := a + b

{c > 0} {c > 0}
https://poli.instructure.com/courses/17142/quizzes/57973 10/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

C) {a > 0, b < 0} D) {a < 0, b > 0}

c := a + b c := a + b
{c > 0} {c < 0}
E) {a < 0, b < 0} F) {a > 0, b < 0}
c := a + b c := a + b
{c < 0} {c < 0}

F)

A)

E)

D)

C)

B)

Puntaje del examen: 75 de 75

https://poli.instructure.com/courses/17142/quizzes/57973 11/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

Quiz 1 - Semana 3

Fecha de entrega 10 de nov en 23:55 Puntos 75 Preguntas 10

Disponible 7 de nov en 0:00 - 10 de nov en 23:55 4 días Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

https://poli.instructure.com/courses/17143/quizzes/57982 1/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

Volver a realizar el examen

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 16 minutos 75 de 75

 Las respuestas correctas estarán disponibles del 11 de nov en 23:55 al 12 de nov en 23:55.

Puntaje para este intento: 75 de 75

Entregado el 7 de nov en 10:34
Este intento tuvo una duración de 16 minutos.

Pregunta 1 7.5 / 7.5 pts

https://poli.instructure.com/courses/17143/quizzes/57982 2/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

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

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

programa

Una pregunta que debe hacerse al iniciar a programar.

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

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

Un estado anterior a la ejecución del programa.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

Pregunta 2 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.

A) {a > 0, b > 0} B) {a < 0, b > 0}

c := a + b c := a + b
{c > 0} {c > 0}
C) {a > 0, b < 0} D) {a < 0, b > 0}
c := a + b c := a + b
{c > 0} {c < 0}
E) {a < 0, b < 0} F) {a > 0, b < 0}

c := a + b c := a + b
https://poli.instructure.com/courses/17143/quizzes/57982 3/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]
{c < 0} {c < 0}

D)

A)

E)

F)

C)

B)

Pregunta 3 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.

A) {b > a > 0} B) {b > a > 0}

c := a - b c := a - b
{c > 0} {c < 0}
C) {a > b > 0} D) {a > b > 0}
c := a - b c := a - b
{c > 0} {c < 0}
E) {a < b < 0} F) {a < b < 0}
c := a - b c := a - b
{c > 0} {c < 0}

https://poli.instructure.com/courses/17143/quizzes/57982 4/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

B)

E)

A)

C)

D)

F)

Pregunta 4 7.5 / 7.5 pts

Se dice que un programa es correcto de acuerdo a su especificación si:

Partiendo de cualquier estado de la precondición, después de las

instrucciónes, se cumple la postcondición.

Cumple la precondición y la postcondición durante todas las instrucciones

del programa.

No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado

No tiene errores de sintaxis y compila perfectamente.

Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

https://poli.instructure.com/courses/17143/quizzes/57982 5/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

Pregunta 5 7.5 / 7.5 pts

Usted tiene el siguiente programa en GCL:

{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?

{R, B1, B2} S2 {R}

{P} S1 {R}

(P, ¬B1) Q

P WP(Q, S1)

{R, ¬B1, B2} S1 {R}

{P} S0 {R}

{R, B1, ¬B2} S1 {R}

{R, B1, B2} S1 {R}

El ciclo do termina

{R, ¬B1, ¬B2} Q

{R, B1, ¬B2} S2 {R}

https://poli.instructure.com/courses/17143/quizzes/57982 6/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

{R, ¬B1} Q

Pregunta 6 7.5 / 7.5 pts

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

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

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

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

programa

Una pregunta que debe hacerse al iniciar a programar.

Un estado posterior a la ejecución del programa.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

Pregunta 7 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
https://poli.instructure.com/courses/17143/quizzes/57982 7/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

od
{Q: }

Usted quiere demostrar que el predicado invariante R se mantiene,

cuáles de las siguientes hipótesis debe utilizar?

k in [0,n]

x := x·b[k]

k=0

k := k + 1

Pregunta 8 7.5 / 7.5 pts

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

Variables Entrada: float x, y
Variable Salida: float z

{x-y>0}
z=0

https://poli.instructure.com/courses/17143/quizzes/57982 8/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

z=z+x
z=z*z
z=z-y
{z > 0}

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

valores elegiría para las variables de entrada?

El programa es correcto! Se puede demostrar que lo es con la

combinación de valores x = 3, y = 2

La combinación x = 2, y = 1

La combinación x = 0.6, y = 0.6

La combinación x = 0.5, y = 0.4

La combinación x = 1, y = 3

Pregunta 9 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se

cumple, cuáles de las siguientes hipótesis debe utilizar?

https://poli.instructure.com/courses/17143/quizzes/57982 9/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

x=1

k in [0,n]

x := x·b[k]

k := k + 1

Pregunta 10 7.5 / 7.5 pts

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

Variables Entrada: int a, b
Variable Salida: int c

{a > 0, b > 0, a mod 2 = b mod 2 }

c=0
c=c+a
c=c-b
{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 a ≥ b, y que ambos sean pares

o ambos impares

https://poli.instructure.com/courses/17143/quizzes/57982 10/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

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

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

=2

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 ambos sean pares

o ambos impares.

La combinación a = 10, b = 11

Cualquier combinación de valores en que b ≥ a, y que la suma sea impar

Puntaje del examen: 75 de 75

https://poli.instructure.com/courses/17143/quizzes/57982 11/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

Quiz 1 - Semana 3

Fecha de entrega 10 de nov en 23:55 Puntos 75 Preguntas 10

Disponible 7 de nov en 0:00 - 10 de nov en 23:55 4 días Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

https://poli.instructure.com/courses/17143/quizzes/57982 1/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

Volver a realizar el examen

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 16 minutos 75 de 75

 Las respuestas correctas estarán disponibles del 11 de nov en 23:55 al 12 de nov en 23:55.

Puntaje para este intento: 75 de 75

Entregado el 7 de nov en 10:34
Este intento tuvo una duración de 16 minutos.

Pregunta 1 7.5 / 7.5 pts

https://poli.instructure.com/courses/17143/quizzes/57982 2/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

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

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

programa

Una pregunta que debe hacerse al iniciar a programar.

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

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

Un estado anterior a la ejecución del programa.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

Pregunta 2 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.

A) {a > 0, b > 0} B) {a < 0, b > 0}

c := a + b c := a + b
{c > 0} {c > 0}
C) {a > 0, b < 0} D) {a < 0, b > 0}
c := a + b c := a + b
{c > 0} {c < 0}
E) {a < 0, b < 0} F) {a > 0, b < 0}

c := a + b c := a + b
https://poli.instructure.com/courses/17143/quizzes/57982 3/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]
{c < 0} {c < 0}

D)

A)

E)

F)

C)

B)

Pregunta 3 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.

A) {b > a > 0} B) {b > a > 0}

c := a - b c := a - b
{c > 0} {c < 0}
C) {a > b > 0} D) {a > b > 0}
c := a - b c := a - b
{c > 0} {c < 0}
E) {a < b < 0} F) {a < b < 0}
c := a - b c := a - b
{c > 0} {c < 0}

https://poli.instructure.com/courses/17143/quizzes/57982 4/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

B)

E)

A)

C)

D)

F)

Pregunta 4 7.5 / 7.5 pts

Se dice que un programa es correcto de acuerdo a su especificación si:

Partiendo de cualquier estado de la precondición, después de las

instrucciónes, se cumple la postcondición.

Cumple la precondición y la postcondición durante todas las instrucciones

del programa.

No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado

No tiene errores de sintaxis y compila perfectamente.

Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

https://poli.instructure.com/courses/17143/quizzes/57982 5/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

Pregunta 5 7.5 / 7.5 pts

Usted tiene el siguiente programa en GCL:

{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?

{R, B1, B2} S2 {R}

{P} S1 {R}

(P, ¬B1) Q

P WP(Q, S1)

{R, ¬B1, B2} S1 {R}

{P} S0 {R}

{R, B1, ¬B2} S1 {R}

{R, B1, B2} S1 {R}

El ciclo do termina

{R, ¬B1, ¬B2} Q

{R, B1, ¬B2} S2 {R}

https://poli.instructure.com/courses/17143/quizzes/57982 6/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

{R, ¬B1} Q

Pregunta 6 7.5 / 7.5 pts

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

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

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

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

programa

Una pregunta que debe hacerse al iniciar a programar.

Un estado posterior a la ejecución del programa.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

Pregunta 7 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
https://poli.instructure.com/courses/17143/quizzes/57982 7/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

od
{Q: }

Usted quiere demostrar que el predicado invariante R se mantiene,

cuáles de las siguientes hipótesis debe utilizar?

k in [0,n]

x := x·b[k]

k=0

k := k + 1

Pregunta 8 7.5 / 7.5 pts

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

Variables Entrada: float x, y
Variable Salida: float z

{x-y>0}
z=0

https://poli.instructure.com/courses/17143/quizzes/57982 8/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

z=z+x
z=z*z
z=z-y
{z > 0}

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

valores elegiría para las variables de entrada?

El programa es correcto! Se puede demostrar que lo es con la

combinación de valores x = 3, y = 2

La combinación x = 2, y = 1

La combinación x = 0.6, y = 0.6

La combinación x = 0.5, y = 0.4

La combinación x = 1, y = 3

Pregunta 9 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se

cumple, cuáles de las siguientes hipótesis debe utilizar?

https://poli.instructure.com/courses/17143/quizzes/57982 9/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

x=1

k in [0,n]

x := x·b[k]

k := k + 1

Pregunta 10 7.5 / 7.5 pts

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

Variables Entrada: int a, b
Variable Salida: int c

{a > 0, b > 0, a mod 2 = b mod 2 }

c=0
c=c+a
c=c-b
{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 a ≥ b, y que ambos sean pares

o ambos impares

https://poli.instructure.com/courses/17143/quizzes/57982 10/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

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

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

=2

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 ambos sean pares

o ambos impares.

La combinación a = 10, b = 11

Cualquier combinación de valores en que b ≥ a, y que la suma sea impar

Puntaje del examen: 75 de 75

https://poli.instructure.com/courses/17143/quizzes/57982 11/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Quiz 1 - Semana 3

Fecha de entrega 10 de nov en 23:55 Puntos 75 Preguntas 10

Disponible 7 de nov en 0:00 - 10 de nov en 23:55 4 días Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

https://poli.instructure.com/courses/17142/quizzes/57973 1/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Volver a realizar el examen

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 33 minutos 70 de 75

 Las respuestas correctas estarán disponibles del 11 de nov en 23:55 al 12 de nov en 23:55.

Puntaje para este intento: 70 de 75

Entregado el 7 de nov en 9:35

https://poli.instructure.com/courses/17142/quizzes/57973 2/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Este intento tuvo una duración de 33 minutos.

Pregunta 1 7.5 / 7.5 pts

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

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

Una pregunta que debe hacerse al iniciar a programar.

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

Un estado anterior a la ejecución del programa.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

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

programa

Pregunta 2 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.

A) {a > 0, b > 0} B) {a < 0, b > 0}

c := a + b c := a + b
{c > 0} {c > 0}
C) {a > 0, b < 0} D) {a < 0, b > 0}
https://poli.instructure.com/courses/17142/quizzes/57973 3/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]
c := a + b c := a + b
{c > 0} {c < 0}
E) {a < 0, b < 0} F) {a > 0, b < 0}
c := a + b c := a + b
{c < 0} {c < 0}

F)

E)

C)

A)

B)

D)

Pregunta 3 7.5 / 7.5 pts

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

Variables Entrada: float x, y
Variable Salida: float z

{x-y>0}
z=0
z=z+x
z=z*z
z=z-y
{z > 0}

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

valores elegiría para las variables de entrada?

https://poli.instructure.com/courses/17142/quizzes/57973 4/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

La combinación x = 2, y = 1

La combinación x = 0.5, y = 0.4

La combinación x = 1, y = 3

La combinación x = 0.6, y = 0.6

El programa es correcto! Se puede demostrar que lo es con la

combinación de valores x = 3, y = 2

Pregunta 4 7.5 / 7.5 pts

Se dice que un programa es correcto de acuerdo a su especificación si:

Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

No tiene errores de sintaxis y compila perfectamente.

No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado

Partiendo de cualquier estado de la precondición, después de las

instrucciónes, se cumple la postcondición.

Cumple la precondición y la postcondición durante todas las instrucciones

del programa.

https://poli.instructure.com/courses/17142/quizzes/57973 5/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Pregunta 5 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se

cumple, cuáles de las siguientes hipótesis debe utilizar?

x := x·b[k]

x=1

k := k + 1

k in [0,n]

Pregunta 6 7.5 / 7.5 pts

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

Variables Entrada: int a, b
Variable Salida: int c
https://poli.instructure.com/courses/17142/quizzes/57973 6/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

{a > 0, b > 0, a mod 2 = b mod 2 }

c=0
c=c+a
c=c-b
{c > 0, c mod 2 = 0}

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

valores elegiría para las variables de entrada?

La combinación a = 10, b = 8

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

o ambos impares.

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

La combinación a = 10, b = 11

Cualquier combinación de valores en que b ≥ a, y que la suma sea impar

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

=2

Cualquier combinación de valores en que b ≥ a, y que uno de los dos sea

impar y el otro par

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

o ambos impares

https://poli.instructure.com/courses/17142/quizzes/57973 7/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Parcial Pregunta 7 2.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que el predicado invariante R se mantiene,

cuáles de las siguientes hipótesis debe utilizar?

x := x·b[k]

k=0

k := k + 1

k in [0,n]

Pregunta 8 7.5 / 7.5 pts

https://poli.instructure.com/courses/17142/quizzes/57973 8/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

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

Un estado posterior a la ejecución del programa.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

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

programa

Una pregunta que debe hacerse al iniciar a programar.

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

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

Pregunta 9 7.5 / 7.5 pts

Usted tiene el siguiente programa en GCL:

{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?

https://poli.instructure.com/courses/17142/quizzes/57973 9/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

{R, B1, B2} S1 {R}

P WP(Q, S1)

{R, ¬B1, B2} S1 {R}

{R, B1, B2} S2 {R}

{R, B1, ¬B2} S2 {R}

{P} S0 {R}

{R, ¬B1, ¬B2} Q

El ciclo do termina

{P} S1 {R}

{R, ¬B1} Q

{R, B1, ¬B2} S1 {R}

(P, ¬B1) Q

Pregunta 10 7.5 / 7.5 pts

Observe el siguiente programa:

{Pre Q: a = Fib(n) , b = Fib(n-1), n > 1}

k := a ;
a := ? ;
b := k ;
n:=n + 1
{Pos R: a = Fib(n) , b = Fib(n-1) }

¿Qué expresión reemplaza el símbolo '?' de manera que el programa es

correcto con respecto a su especificación? (No use espacios).
https://poli.instructure.com/courses/17142/quizzes/57973 10/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Puntaje del examen: 70 de 75

https://poli.instructure.com/courses/17142/quizzes/57973 11/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Quiz 1 - Semana 3

Fecha de entrega 10 de nov en 23:55 Puntos 75 Preguntas 10

Disponible 7 de nov en 0:00 - 10 de nov en 23:55 4 días Límite de tiempo 90 minutos

Intentos permitidos 2

Instrucciones

https://poli.instructure.com/courses/17142/quizzes/57973 1/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Volver a realizar el examen

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 17 minutos 75 de 75

 Las respuestas correctas estarán disponibles del 11 de nov en 23:55 al 12 de nov en 23:55.

Puntaje para este intento: 75 de 75

Entregado el 7 de nov en 9:56

https://poli.instructure.com/courses/17142/quizzes/57973 2/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Este intento tuvo una duración de 17 minutos.

Pregunta 1 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a
su especificación. En todos las variables a, b y c son enteras, la
variable p es booleana.

A) {b > a > 0} B) {b > a > 0}

c := a - b c := a - b
{c > 0} {c < 0}
C) {a > b > 0} D) {a > b > 0}
c := a - b c := a - b
{c > 0} {c < 0}
E) {a < b < 0} F) {a < b < 0}
c := a - b c := a - b
{c > 0} {c < 0}

C)

B)

A)

F)

E)

D)

Pregunta 2 7.5 / 7.5 pts

https://poli.instructure.com/courses/17142/quizzes/57973 3/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

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

Variables Entrada: int a, b
Variable Salida: int c

{a > 0, b > 0, a mod 2 = b mod 2 }

c=0
c=c+a
c=c-b
{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, y que ambos sean

pares o ambos impares.

Cualquier combinación de valores en que a ≥ b, y que ambos sean

pares o ambos impares

La combinación a = 10, b = 8

El programa es correcto! Se puede demostrar con la combinación a =

4, b = 2

La combinación a = 10, b = 11

Cualquier combinación de valores en que b ≥ a, y que la suma sea

impar

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

https://poli.instructure.com/courses/17142/quizzes/57973 4/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Cualquier combinación de valores en que b ≥ a, y que uno de los dos

sea impar y el otro par

Pregunta 3 7.5 / 7.5 pts

Observe el siguiente programa:

{Pre Q: a = Fib(n) , b = Fib(n-1), n > 1}

k := a ;
a := ? ;
b := k ;
n:=n + 1
{Pos R: a = Fib(n) , b = Fib(n-1) }

¿Qué expresión reemplaza el símbolo '?' de manera que el programa

es correcto con respecto a su especificación? (No use espacios).

Pregunta 4 7.5 / 7.5 pts

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

es:

Una pregunta que debe hacerse al iniciar a programar.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

https://poli.instructure.com/courses/17142/quizzes/57973 5/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

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.

Pregunta 5 7.5 / 7.5 pts

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

Un estado posterior a la ejecución del programa.

Un programa que valida que las entradas de otro programa sean

válidas.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

Una pregunta que debe hacerse al iniciar a programar.

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

programa

https://poli.instructure.com/courses/17142/quizzes/57973 6/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

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

Pregunta 6 7.5 / 7.5 pts

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

Variables Entrada: float x, y
Variable Salida: float z

{x-y>0}
z=0
z=z+x
z=z*z
z=z-y
{z > 0}

Usted debe mostrar que efectivamente el programa es incorrecto.

¿Qué valores elegiría para las variables de entrada?

La combinación x = 1, y = 3

La combinación x = 2, y = 1

La combinación x = 0.5, y = 0.4

El programa es correcto! Se puede demostrar que lo es con la

combinación de valores x = 3, y = 2

La combinación x = 0.6, y = 0.6

https://poli.instructure.com/courses/17142/quizzes/57973 7/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Pregunta 7 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que el predicado invariante R se mantiene,

cuáles de las siguientes hipótesis debe utilizar?

k=0

x := x·b[k]

k in [0,n]

k := k + 1

https://poli.instructure.com/courses/17142/quizzes/57973 8/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Pregunta 8 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se

cumple, cuáles de las siguientes hipótesis debe utilizar?

x=1

k := k + 1

x := x·b[k]

k in [0,n]

Pregunta 9 7.5 / 7.5 pts

https://poli.instructure.com/courses/17142/quizzes/57973 9/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Se dice que un programa es correcto de acuerdo a su especificación

si:

Cumple la precondición y la postcondición durante todas las

instrucciones del programa.

Partiendo de cualquier estado de la precondición, después de las

instrucciónes, se cumple la postcondición.

Compila perfectamente de acuerdo a la plataforma escogida de

desarrollo

No tiene errores de sintaxis y compila perfectamente.

No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado

Pregunta 10 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a
su especificación. En todos las variables a, b y c son enteras, la
variable p es booleana.

A) {a > 0, b > 0} B) {a < 0, b > 0}

c := a + b c := a + b

{c > 0} {c > 0}
https://poli.instructure.com/courses/17142/quizzes/57973 10/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

C) {a > 0, b < 0} D) {a < 0, b > 0}

c := a + b c := a + b
{c > 0} {c < 0}
E) {a < 0, b < 0} F) {a > 0, b < 0}
c := a + b c := a + b
{c < 0} {c < 0}

F)

A)

E)

D)

C)

B)

Puntaje del examen: 75 de 75

https://poli.instructure.com/courses/17142/quizzes/57973 11/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Este intento tuvo una duración de 19 minutos.

Pregunta 1 7.5 / 7.5 pts

Se dice que un programa es correcto de acuerdo a su especificación si:

No tiene errores de sintaxis y compila perfectamente.

Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

Cumple la precondición y la postcondición durante todas las instrucciones

del programa.

Partiendo de cualquier estado de la precondición, después de las

instrucciónes, se cumple la postcondición.

No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado

Pregunta 2 7.5 / 7.5 pts

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

Variables Entrada: float x, y
Variable Salida: float z

{x-y>0}
z=0
z=z+x
z=z*z

https://poli.instructure.com/courses/17142/quizzes/57973 3/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

z=z-y
{z > 0}

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

valores elegiría para las variables de entrada?

La combinación x = 1, y = 3

La combinación x = 2, y = 1

La combinación x = 0.5, y = 0.4

El programa es correcto! Se puede demostrar que lo es con la

combinación de valores x = 3, y = 2

La combinación x = 0.6, y = 0.6

Pregunta 3 7.5 / 7.5 pts

Observe el siguiente programa:

{Pre Q: a = Fib(n) , b = Fib(n-1), n > 1}

k := a ;
a := ? ;
b := k ;
n:=n + 1
{Pos R: a = Fib(n) , b = Fib(n-1) }

¿Qué expresión reemplaza el símbolo '?' de manera que el programa es

correcto con respecto a su especificación? (No use espacios).

https://poli.instructure.com/courses/17142/quizzes/57973 4/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Pregunta 4 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se

cumple, cuáles de las siguientes hipótesis debe utilizar?

x=1

x := x·b[k]

k := k + 1

k in [0,n]

Pregunta 5 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

https://poli.instructure.com/courses/17142/quizzes/57973 5/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que el predicado invariante R se mantiene,

cuáles de las siguientes hipótesis debe utilizar?

x := x·b[k]

k=0

k := k + 1

k in [0,n]

Pregunta 6 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su

especificación. En todos las variables a, b y c son enteras, la variable p

https://poli.instructure.com/courses/17142/quizzes/57973 6/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

es booleana.

A) {b > a > 0} B) {b > a > 0}

c := a - b c := a - b
{c > 0} {c < 0}
C) {a > b > 0} D) {a > b > 0}
c := a - b c := a - b
{c > 0} {c < 0}
E) {a < b < 0} F) {a < b < 0}
c := a - b c := a - b
{c > 0} {c < 0}

A)

F)

C)

E)

B)

D)

Pregunta 7 7.5 / 7.5 pts

Usted tiene el siguiente programa en GCL:

{Pre: P}
S0
{Inv: R}
do B1 →if B2 then S1

else S2 fi

https://poli.instructure.com/courses/17142/quizzes/57973 7/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

od
{Post: Q}
De los siguientes pasos, cuáles son necesarios para verificar que el
programa es correcto?

El ciclo do termina

{R, ¬B1} Q

{R, ¬B1, B2} S1 {R}

{R, B1, ¬B2} S2 {R}

{R, B1, ¬B2} S1 {R}

{P} S0 {R}

{R, B1, B2} S1 {R}

P WP(Q, S1)

{R, B1, B2} S2 {R}

{P} S1 {R}

{R, ¬B1, ¬B2} Q

(P, ¬B1) Q

Pregunta 8 7.5 / 7.5 pts

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

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

https://poli.instructure.com/courses/17142/quizzes/57973 8/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Una pregunta que debe hacerse al iniciar a programar.

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

programa

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

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

Un estado anterior a la ejecución del programa.

Pregunta 9 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.

A) {a > 0, b > 0} B) {a < 0, b > 0}

c := a + b c := a + b
{c > 0} {c > 0}
C) {a > 0, b < 0} D) {a < 0, b > 0}
c := a + b c := a + b
{c > 0} {c < 0}
E) {a < 0, b < 0} F) {a > 0, b < 0}
c := a + b c := a + b
{c < 0} {c < 0}

F)

https://poli.instructure.com/courses/17142/quizzes/57973 9/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

D)

A)

C)

B)

E)

Pregunta 10 7.5 / 7.5 pts

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

Variables Entrada: int a, b
Variable Salida: int c

{a > 0, b > 0, a mod 2 = b mod 2 }

c=0
c=c+a
c=c-b
{c > 0, c mod 2 = 0}

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

valores elegiría para las variables de entrada?

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

=2

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 la suma sea impar

https://poli.instructure.com/courses/17142/quizzes/57973 10/11
7/11/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 = 12 ó la combinación a = 9, b = 7

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

o ambos impares.

La combinación a = 10, b = 8

Cualquier combinación de valores en que b ≥ a, y que uno de los dos sea

impar y el otro par

Puntaje del examen: 75 de 75

https://poli.instructure.com/courses/17142/quizzes/57973 11/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

Quiz 1 - Semana 3

Fecha de entrega 10 de nov en 23:55 Puntos 75 Preguntas 10

Disponible 7 de nov en 0:00 - 10 de nov en 23:55 4 días Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

https://poli.instructure.com/courses/17143/quizzes/57982 1/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

Volver a realizar el examen

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 16 minutos 75 de 75

 Las respuestas correctas estarán disponibles del 11 de nov en 23:55 al 12 de nov en 23:55.

Puntaje para este intento: 75 de 75

Entregado el 7 de nov en 10:34
Este intento tuvo una duración de 16 minutos.

Pregunta 1 7.5 / 7.5 pts

https://poli.instructure.com/courses/17143/quizzes/57982 2/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

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

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

programa

Una pregunta que debe hacerse al iniciar a programar.

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

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

Un estado anterior a la ejecución del programa.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

Pregunta 2 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.

A) {a > 0, b > 0} B) {a < 0, b > 0}

c := a + b c := a + b
{c > 0} {c > 0}
C) {a > 0, b < 0} D) {a < 0, b > 0}
c := a + b c := a + b
{c > 0} {c < 0}
E) {a < 0, b < 0} F) {a > 0, b < 0}

c := a + b c := a + b
https://poli.instructure.com/courses/17143/quizzes/57982 3/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]
{c < 0} {c < 0}

D)

A)

E)

F)

C)

B)

Pregunta 3 7.5 / 7.5 pts

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.

A) {b > a > 0} B) {b > a > 0}

c := a - b c := a - b
{c > 0} {c < 0}
C) {a > b > 0} D) {a > b > 0}
c := a - b c := a - b
{c > 0} {c < 0}
E) {a < b < 0} F) {a < b < 0}
c := a - b c := a - b
{c > 0} {c < 0}

https://poli.instructure.com/courses/17143/quizzes/57982 4/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

B)

E)

A)

C)

D)

F)

Pregunta 4 7.5 / 7.5 pts

Se dice que un programa es correcto de acuerdo a su especificación si:

Partiendo de cualquier estado de la precondición, después de las

instrucciónes, se cumple la postcondición.

Cumple la precondición y la postcondición durante todas las instrucciones

del programa.

No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado

No tiene errores de sintaxis y compila perfectamente.

Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

https://poli.instructure.com/courses/17143/quizzes/57982 5/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

Pregunta 5 7.5 / 7.5 pts

Usted tiene el siguiente programa en GCL:

{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?

{R, B1, B2} S2 {R}

{P} S1 {R}

(P, ¬B1) Q

P WP(Q, S1)

{R, ¬B1, B2} S1 {R}

{P} S0 {R}

{R, B1, ¬B2} S1 {R}

{R, B1, B2} S1 {R}

El ciclo do termina

{R, ¬B1, ¬B2} Q

{R, B1, ¬B2} S2 {R}

https://poli.instructure.com/courses/17143/quizzes/57982 6/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

{R, ¬B1} Q

Pregunta 6 7.5 / 7.5 pts

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

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

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

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

programa

Una pregunta que debe hacerse al iniciar a programar.

Un estado posterior a la ejecución del programa.

Una serie de condiciones físicas y mentales que debe tener un

programador a la hora de escribir un código.

Pregunta 7 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
https://poli.instructure.com/courses/17143/quizzes/57982 7/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

od
{Q: }

Usted quiere demostrar que el predicado invariante R se mantiene,

cuáles de las siguientes hipótesis debe utilizar?

k in [0,n]

x := x·b[k]

k=0

k := k + 1

Pregunta 8 7.5 / 7.5 pts

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

Variables Entrada: float x, y
Variable Salida: float z

{x-y>0}
z=0

https://poli.instructure.com/courses/17143/quizzes/57982 8/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

z=z+x
z=z*z
z=z-y
{z > 0}

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

valores elegiría para las variables de entrada?

El programa es correcto! Se puede demostrar que lo es con la

combinación de valores x = 3, y = 2

La combinación x = 2, y = 1

La combinación x = 0.6, y = 0.6

La combinación x = 0.5, y = 0.4

La combinación x = 1, y = 3

Pregunta 9 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se

cumple, cuáles de las siguientes hipótesis debe utilizar?

https://poli.instructure.com/courses/17143/quizzes/57982 9/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

x=1

k in [0,n]

x := x·b[k]

k := k + 1

Pregunta 10 7.5 / 7.5 pts

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

Variables Entrada: int a, b
Variable Salida: int c

{a > 0, b > 0, a mod 2 = b mod 2 }

c=0
c=c+a
c=c-b
{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 a ≥ b, y que ambos sean pares

o ambos impares

https://poli.instructure.com/courses/17143/quizzes/57982 10/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO2]

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

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

=2

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 ambos sean pares

o ambos impares.

La combinación a = 10, b = 11

Cualquier combinación de valores en que b ≥ a, y que la suma sea impar

Puntaje del examen: 75 de 75

https://poli.instructure.com/courses/17143/quizzes/57982 11/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Quiz 1 - Semana 3

Fecha de entrega 10 de nov en 23:55 Puntos 75 Preguntas 10

Disponible 7 de nov en 0:00 - 10 de nov en 23:55 4 días Límite de tiempo 90 minutos
Intentos permitidos 2

Instrucciones

https://poli.instructure.com/courses/17142/quizzes/57973 1/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Volver a realizar el examen

Historial de intentos

Intento Hora Puntaje

MÁS RECIENTE Intento 1 28 minutos 67.5 de 75

 Las respuestas correctas estarán disponibles del 11 de nov en 23:55 al 12 de nov en 23:55.

Puntaje para este intento: 67.5 de 75

Entregado el 7 de nov en 17:35
Este intento tuvo una duración de 28 minutos.

Pregunta 1 7.5 / 7.5 pts

https://poli.instructure.com/courses/17142/quizzes/57973 2/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Los siguientes programas escritos en GCL tienen únicamente

asignaciones. Seleccione cuáles de ellos son correctos de acuerdo a su
especificación. En todos las variables a, b y c son enteras, la variable p
es booleana.

A) {b > a > 0} B) {b > a > 0}

c := a - b c := a - b
{c > 0} {c < 0}
C) {a > b > 0} D) {a > b > 0}
c := a - b c := a - b
{c > 0} {c < 0}
E) {a < b < 0} F) {a < b < 0}
c := a - b c := a - b
{c > 0} {c < 0}

  B)

  E)

  F)

  D)

  C)

  A)

Pregunta 2 7.5 / 7.5 pts

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

Variables Entrada: float x, y

https://poli.instructure.com/courses/17142/quizzes/57973 3/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Variable Salida: float z

{x-y>0}
z=0
z=z+x
z=z*z
z=z-y
{z > 0}

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

valores elegiría para las variables de entrada?

  La combinación x = 1, y = 3

  La combinación x = 2, y = 1

  La combinación x = 0.5, y = 0.4

  La combinación x = 0.6, y = 0.6

 
El programa es correcto! Se puede demostrar que lo es con la
combinación de valores x = 3, y = 2

Pregunta 3 7.5 / 7.5 pts

Usted tiene el siguiente programa en GCL:

{Pre: P}
S0
{Inv: R}
do B1 →if B2 then S1

    else S2 fi

https://poli.instructure.com/courses/17142/quizzes/57973 4/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

od
{Post: Q}
De los siguientes pasos, cuáles son necesarios para verificar que el
programa es correcto?

  (P, ¬B1) Q

 P WP(Q, S1)

  {R, B1, ¬B2} S1 {R}

  {P} S0 {R}

  {R, B1, B2} S2 {R}

  {R, B1, B2} S1 {R}

  {R, ¬B1} Q

  {P} S1 {R}

  El ciclo do termina

  {R, B1, ¬B2} S2 {R}

  {R, ¬B1, ¬B2} Q

  {R, ¬B1, B2} S1 {R}

Pregunta 4 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0

https://poli.instructure.com/courses/17142/quizzes/57973 5/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que el predicado invariante R se mantiene,

cuáles de las siguientes hipótesis debe utilizar?

  k in [0,n]

 k=0

  x := x·b[k]

  k := k + 1

Incorrecto Pregunta 5 0 / 7.5 pts

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

Variables Entrada: int a, b
Variable Salida: int c

{a > 0, b > 0, a mod 2 = b mod 2 }

c=0

https://poli.instructure.com/courses/17142/quizzes/57973 6/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

c=c+a
c=c-b
{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, y que ambos sean pares
o ambos impares.

 
Cualquier combinación de valores en que b ≥ a, y que la suma sea impar

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

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

  La combinación a = 10, b = 8

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

 
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 = 11

El programa no es correcto, con estos valores sólo se demuestra

que para esos valores funciona.

https://poli.instructure.com/courses/17142/quizzes/57973 7/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Pregunta 6 7.5 / 7.5 pts

Se dice que un programa es correcto de acuerdo a su especificación si:

 
Partiendo de cualquier estado de la precondición, después de las
instrucciónes, se cumple la postcondición.

 
Cumple la precondición y la postcondición durante todas las instrucciones
del programa.

 
No tiene errores de sintáxis de acuerdo a la definición del lenguaje de
programación utilizado

 
Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

  No tiene errores de sintaxis y compila perfectamente.

Pregunta 7 7.5 / 7.5 pts

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

  Una pregunta que debe hacerse al iniciar a programar.

 
Una serie de condiciones físicas y mentales que debe tener un
programador a la hora de escribir un código.

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

https://poli.instructure.com/courses/17142/quizzes/57973 8/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

  Un estado posterior a la ejecución del programa.

 
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.

Pregunta 8 7.5 / 7.5 pts

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

  Un estado anterior a la ejecución del programa.

 
Una serie de condiciones físicas y mentales que debe tener un
programador a la hora de escribir un código.

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

  Una pregunta que debe hacerse al iniciar a programar.

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

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

Pregunta 9 7.5 / 7.5 pts

https://poli.instructure.com/courses/17142/quizzes/57973 9/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

Observe el siguiente programa:

{Pre Q: a = Fib(n) , b = Fib(n-1), n > 1}

k := a ;
a := ? ;
b := k ;
n:=n + 1
{Pos R: a = Fib(n) , b = Fib(n-1) }

¿Qué expresión reemplaza el símbolo '?' de manera que el programa es

correcto con respecto a su especificación? (No use espacios).

Pregunta 10 7.5 / 7.5 pts

Observe el siguiente programa en GCL:

{P: n > 0, b[0..n-1] }

x := 1
k := 0
{R: k in [0,n], }
do ¬(k = n) → x := x·b[k]; k := k+1
od
{Q: }

Usted quiere demostrar que al finalizar el ciclo, la postcondición Q se

cumple, cuáles de las siguientes hipótesis debe utilizar?

  x := x·b[k]

 x=1

https://poli.instructure.com/courses/17142/quizzes/57973 10/11
7/11/2020 Quiz 1 - Semana 3: RA/SEGUNDO BLOQUE-ANALISIS Y VERIFICACION DE ALGORITMOS-[GRUPO1]

  k := k + 1

  k in [0,n]

Puntaje del examen: 67.5 de 75

https://poli.instructure.com/courses/17142/quizzes/57973 11/11