10/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
10/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 40 minutos 65 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: 65 de 75

Entregado el 10 de nov en 19:11

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

Este intento tuvo una duración de 40 minutos.

Pregunta 1 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 2 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.

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

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

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

instrucciónes, se cumple la postcondición.

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}

C)

E)

B)

D)

A)

F)

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

Pregunta 4 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.

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

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

Una pregunta que debe hacerse al iniciar a programar.

Pregunta 5 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 5/11
10/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)

E)

C)

B)

D)

A)

Pregunta 6 7.5 / 7.5 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 condición sin la cuál no se pueden escribir programas correctos.

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 6/11
10/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

Pregunta 7 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 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

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

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

La combinación a = 10, b = 11

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

o ambos impares

Parcial Pregunta 8 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 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]

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

k := k + 1

k in [0,n]

Pregunta 9 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 = 0.6, y = 0.6

La combinación x = 2, y = 1

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

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

La combinación x = 1, y = 3

La combinación x = 0.5, y = 0.4

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

Parcial Pregunta 10 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?

k := k + 1

x := x·b[k]

k=0

k in [0,n]

Puntaje del examen: 65 de 75

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

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