Parcial 2

Examen final - semana 8 https://moodlev16a.mipoli.co/mod/quiz/review.php?
attempt=309471
Página Principal ▶︎ Master_2016-1_Virtual ▶︎ Secciones_2016-2_Virtual ▶︎

PROY/PRIMER BLOQUE-ELEMENTOS DE TEORIA DE LA COMPUTACION / Grupo[001] / 2016-2 ▶︎
General ▶︎ Examen final - semana 8
Comenzado el lunes, 2 de mayo de 2016, 18:54

Estado Finalizado
Finalizado en lunes, 2 de mayo de 2016, 19:54
Tiempo empleado 1 hora
Puntos 4,2/10,0
Calificación 52,1 de 125,0 (42%)
Pregunta 1 De acuerdo al material del curso, la postcondición de un programa es:

Correcta
Seleccione una:
Puntúa 1,0 sobre
1,0
a. Una afirmación o condición que debe ser cierta después de ejecutarse el programa
b. Una condición sin la cuál no se pueden escribir programas correctos.
c. Una serie de condiciones físicas y mentales que debe tener un programador a la

hora de escribir un código.
d. Un estado anterior a la ejecución del programa.
e. Un programa que valida que las salidas de otro programa sean válida.
f. Una pregunta que debe hacerse al iniciar a programar.
La respuesta correcta es: Una afirmación o condición que debe ser cierta después de
ejecutarse el programa
1 de 9 9/07/16 9:49 p.m.

Examen final - semana 8 https://moodlev16a.mipoli.co/mod/quiz/review.php?attempt=309471
Pregunta 2 Se dice que un programa es correcto de acuerdo a su especificación si:
Incorrecta
Seleccione una:
Puntúa 0,0 sobre
1,0 a. No tiene errores de sintaxis y compila perfectamente.
b. Compila perfectamente de acuerdo a la plataforma escogida de desarrollo
c. No tiene errores de sintáxis de acuerdo a la definición del lenguaje de

programación utilizado
d. Cumple la precondición y la postcondición durante todas las instrucciones del

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

cumple la postcondición.
La respuesta correcta es: Partiendo de cualquier estado de la precondición, después de

las instrucciónes, se cumple la postcondición.
2 de 9 9/07/16 9:49 p.m.

Pregunta 3 Usted tiene la siguiente definición inductiva para una función g:
Incorrecta
Definición 1: g\(n = a \cdot gn − 1 \), para n > 0
Puntúa 0,0 sobre
Definición 2: g\(0 = 1\)
1,0
Siendo a un número entero positivo.
Y quiere demostrar el siguiente teorema:
g\(n − m = \frac{gn} {gm}\), para todo n y m enteros positivos.
Para esto hacemos la siguiente demostración por inducción matemática sobre m:

1. Probamos el caso base del teorema, esto es si es cierto para m = 0 :
g\(n − m = \frac{gn}{gm}\)
=< m = 0 >
g\(n − 0 = \frac{gn}{g0}\)
=< EXPRESION-A >
g\(n = gn\)
Entonces es verdadero.
2. Asumimos que el teorema es cierto para un número k, es decir:
Hipótesis de Inducción: g\(n − k = \frac{gn}{gk }\)
3. Demostramos que también se cumple para un número k + 1. Esto es: EXPRESION-B
4. Para esto partimos de:
g\(n − (k + 1)\)
=<Aritmética>
g\(n − k − 1\)
=< Definicion1, despejando g\(n − 1\)>
g\(n−k\)
a
=< EXPRESION-C>
g\(n\)
g\(k\)⋅a
=< Definicion 1>
g\(n\)
g\(k+1\)
Por lo tanto queda demostrado.
5. Por principio de inducción podemos deducir que el teorema es cierto para todos los
enteros n.
De las expresiones a continuación, seleccione cuáles completan correctamente la

demostración en los espacios marcados como EXPRESION-A, EXPRESION-B y
EXPRESION-C:
Seleccione una o más de una:

a. EXPRESION-A = Definición 2
b. EXPRESION-B=g\(n − \(k + 1\) = \frac{gn}{gk + 1}\)
c. EXRESION-C = Hipótesis de Inducción
d. EXPRESION-A = Definición 1
e. EXPRESION-A = Hipótesis de Inducción

3 de 9 9/07/16 9:49 p.m.
f. EXPRESION-B= Hipótesis de Inducción
g. EXPRESION-B=Definición 1
h. EXRESION-C =Definición 1
i. EXRESION-C = g\(n=a\cdot gk \)
La respuesta correcta es: EXPRESION-A = Definición 2, EXPRESION-B=g\(n − \(k + 1\) =

\frac{gn}{gk + 1}\), EXRESION-C = Hipótesis de Inducción
Pregunta 4 Usted quiere demostrar el siguiente teorema:

Parcialmente Todos los números de la forma 10n − 1 son múltiplos de 9.
correcta Seleccione de los siguientes pasos, cuáles debería hacer usted para completar la
demostración (escoja todos los correctos):
Puntúa 0,2 sobre
1,0
a. Formular un predicado P\(n\) : n es múltiplo de 9
b. Formular un predicado P\(n\) : 10n − 1 es múltiplo de 9
c. Formular un predicado P\(n\) : 10n − 1
d. Mostrar que el caso base funciona: 100 − 1 es múltiplo de 9
e. Mostrar que el caso base funciona: 100 es múltiplo de 9
f. Mostrar que el caso base funciona: 0 es múltiplo de 9
g. Mostrar que si 10n − 1 es múltiplo de 9, entonces 10n+1 − 1 también es múltiplo

de 9
h. Mostrar que si 10n es múltiplo de 9, entonces 10n+1 también es múltiplo de 9
i. Mostrar que si k es múltiplo de 9, entonces k + 1 también es múltiplo de 9
j. Mostrar que k → k + 1
La respuesta correcta es: Formular un predicado P\(n\) : 10n − 1 es múltiplo de 9,

Mostrar que el caso base funciona: 100 − 1 es múltiplo de 9, Mostrar que si 10n − 1 es
múltiplo de 9, entonces 10n+1 − 1 también es múltiplo de 9
4 de 9 9/07/16 9:49 p.m.

Pregunta 5 De acuerdo al material del curso, la precondición de un programa es:
Correcta
Seleccione una:
Puntúa 1,0 sobre
1,0 a. Una afirmación o condición que debe ser cierta antes de ejecutarse el programa
b. Una condición sin la cuál no se pueden escribir programas correctos.
c. Una serie de condiciones físicas y mentales que debe tener un programador a la

hora de escribir un código.
d. Un estado posterior a la ejecución del programa.
e. Un programa que valida que las entradas de otro programa sean válida.
f. Una pregunta que debe hacerse al iniciar a programar.
La respuesta correcta es: Una afirmación o condición que debe ser cierta antes de
ejecutarse el programa
Pregunta 6 Los siguientes programas escritos en GCL tienen únicamente asignaciones. Seleccione
Correcta 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.
Puntúa 1,0 sobre
1,0
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}

a. A)
b. B)
c. C)
d. D)
e. E)
f. F)
La respuesta correcta es: A), E)
5 de 9 9/07/16 9:49 p.m.

Pregunta 7 Usted quiere demostrar el siguiente teorema:
Incorrecta
Todas las potencias de 6 mayores que 1 terminan en 6.
Puntúa 0,0 sobre
Seleccione de los siguientes pasos, cuáles debería hacer usted para completar la
1,0
demostración (escoja todos los correctos):

a. Formular un predicado \(P\(n\)\) : \(6^n\) termina en 6
b. Formular un predicado \(P\(n\)\) :\( 6^n\) es múltiplo de 6
c. Formular un predicado \(P\(n\)\) : n termina en 6
d. Mostrar que el caso base funciona: \( 6^0 \) termina en 6
e. Mostrar que el caso base funciona: \(6^1\) termina en 6
f. Mostrar que el caso base funciona: \(0\) es multiplo de 6
g. Mostrar que si \(6^n\) termina en 6, entonces \(6^{n+1}\) también termina en 6
h. Mostrar que si \(6^k\) termina en 6, entonces \(6^{k-1}\) también termina en 6
i. Mostrar que si \(n\) termina en 6, entonces \(n+1\) también termina en 6
j. Mostrar que \(k \to k+1\)
La respuesta correcta es: Formular un predicado \(P\(n\)\) : \(6^n\) termina en 6, Mostrar

que el caso base funciona: \(6^1\) termina en 6, Mostrar que si \(6^n\) termina en 6,
entonces \(6^{n+1}\) también termina en 6
6 de 9 9/07/16 9:49 p.m.

Pregunta 8 Usted tiene la siguiente definición inductiva para una función \(g\):
Incorrecta
Definición 1: \(g\(n\) = a \cdot g\(n-1\) \), para \(n > 0\)
Puntúa 0,0 sobre
Definición 2: \(g\(0\) = 1\)
1,0
Siendo \(a\) un número entero positivo.
Y quiere demostrar el siguiente teorema:
\(g\(n+m\) = g\(n\)\cdot g\(m\)\), para todo n y m enteros positivos.
Para esto hacemos la siguiente demostración por inducción matemática sobre \(n\):
1. Probamos el caso base del teorema, esto es si es cierto para \(n = 0\):
\(g\(n+m\) = g\(n\)\cdot g\(m\)\)
=< \(n=0\) >
\(g\(0+m\) = g\(0\)\cdot g\(m\)\)
=< EXPRESION-A >
\(g\(m\) = g\(m\)\)
Entonces es verdadero.
2. Asumimos que el teorema es cierto para un número k, es decir:
Hipótesis de Inducción: \(g\(k+m\) = g\(k\)\cdot g\(m\)\)
3. Demostramos que también se cumple para un número k + 1. Esto es: EXPRESION-B
4. Para esto partimos de:
\(g\(k+1+m\)\)
=< Definicion1>
\(a\cdot g\(k+m\)\)
=< EXPRESION-C>
\(a\cdot\(g\(k\)\cdot g\(m\) \)\)
=<Asociatividad de x>
\(\(a\cdot g\(k\)\)\cdot g\(m\)\)
=< Definicion 1>
\(g\(k+1\) \cdot g\(m\)\)
Por lo tanto queda demostrado.
5. Por principio de inducción podemos deducir que el teorema es cierto para todos los
enteros n.
De las expresiones a continuación, seleccione cuáles completan correctamente la

demostración en los espacios marcados como EXPRESION-A, EXPRESION-B y
EXPRESION-C:

a. EXPRESION-A = Definición 2
b. EXPRESION-B=\(g\(k+1+m\) = g\(k+1\) \cdot g\(m\) \)
c. EXRESION-C = Hipótesis de Inducción
d. EXPRESION-A = Definición 1
e. EXPRESION-A = Hipótesis de Inducción
f. EXPRESION-B= Hipótesis de Inducción

7 de 9 9/07/16 9:49 p.m.
g. EXPRESION-B=Definición 1
h. EXRESION-C =Definición 1
i. EXRESION-C = \(g\(n\)=a\cdot g\(k\) \)
La respuesta correcta es: EXPRESION-A = Definición 2, EXPRESION-B=\(g\(k+1+m\) =

g\(k+1\) \cdot g\(m\) \), EXRESION-C = Hipótesis de Inducción
Pregunta 9 Considere el siguiente teorema con su correspondiente demostración:

Incorrecta Teorema: Para cualquier número entero no negativo \(n\) es cierto que 2 elevado a la \(n\)
es igual a 1.
Puntúa 0,0 sobre
Demostración:
1,0
Sea \(P\( n \): 2^n = 1\).
Caso base: \(P\( 0 \): 2^0 = 1\).
Paso inductivo: Asuma que \(P\( k \)\) es cierto para todos los números entre 0 y \(k\).
Entonces
\(\begin{align} P\(k + 1\) &: 2^{k + 1} \ &= \frac{2^k \cdot 2^k}{2^{k - 1}} & \text{algebra} \
&= \frac{1 \cdot 1}{1} & \text{por la hipotesis de induccion} \ &= 1 & \text{simplificando}
\end{cases}\)
Se puede decir que la demostración
Seleccione una:
a. Es correcta.
b. Es incorrecta por que el predicado está mal formulado.
c. Es incorrecta por que el caso base no es válido.
d. En incorrecta por que el paso inductivo no es válido.
e. Es incorrecta por que no es cierto que \(2^{k + 1} = \frac{2^k \cdot 2^k}{2^{k -

1}}\).
f. Es incorrecta por que el paso inductivo depende no sólo de \(k\), sino también de
\(k - 1\).
g. Es incorrecta por que el caso base está fuera del rango de la hipótesis de
inducción.
La respuesta correcta es: Es incorrecta por que el caso base está fuera del rango de la
hipótesis de inducción.
8 de 9 9/07/16 9:49 p.m.

Pregunta 10 Los siguientes programas escritos en GCL tienen únicamente asignaciones. Seleccione
Correcta 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.
Puntúa 1,0 sobre
1,0
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. A)
b. B)
c. C)
d. D)
e. E)
f. F)
La respuesta correcta es: B), C), F)
9 de 9 9/07/16 9:49 p.m.

Parcial 2

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Parcial 2

Diunggah oleh

Hak Cipta:

Format Tersedia

Examen final - semana 8 https://moodlev16a.mipoli.co/mod/quiz/review.php?

Página Principal ▶︎ Master_2016-1_Virtual ▶︎ Secciones_2016-2_Virtual ▶︎

Comenzado el lunes, 2 de mayo de 2016, 18:54

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

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

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

d. Un estado anterior a la ejecución del programa.

f. Una pregunta que debe hacerse al iniciar a programar.

1 de 9 9/07/16 9:49 p.m.

b. Compila perfectamente de acuerdo a la plataforma escogida de desarrollo

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

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

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

La respuesta correcta es: Partiendo de cualquier estado de la precondición, después de

2 de 9 9/07/16 9:49 p.m.

Siendo a un número entero positivo.

Y quiere demostrar el siguiente teorema:

g\(n − m = \frac{gn} {gm}\), para todo n y m enteros positivos.

Para esto hacemos la siguiente demostración por inducción matemática sobre m:

De las expresiones a continuación, seleccione cuáles completan correctamente la

Seleccione una o más de una:

b. EXPRESION-B=g\(n − \(k + 1\) = \frac{gn}{gk + 1}\)

c. EXRESION-C = Hipótesis de Inducción

e. EXPRESION-A = Hipótesis de Inducción

La respuesta correcta es: EXPRESION-A = Definición 2, EXPRESION-B=g\(n − \(k + 1\) =

Pregunta 4 Usted quiere demostrar el siguiente teorema:

b. Formular un predicado P\(n\) : 10n − 1 es múltiplo de 9

c. Formular un predicado P\(n\) : 10n − 1

d. Mostrar que el caso base funciona: 100 − 1 es múltiplo de 9

e. Mostrar que el caso base funciona: 100 es múltiplo de 9

f. Mostrar que el caso base funciona: 0 es múltiplo de 9

g. Mostrar que si 10n − 1 es múltiplo de 9, entonces 10n+1 − 1 también es múltiplo

h. Mostrar que si 10n es múltiplo de 9, entonces 10n+1 también es múltiplo de 9

i. Mostrar que si k es múltiplo de 9, entonces k + 1 también es múltiplo de 9

La respuesta correcta es: Formular un predicado P\(n\) : 10n − 1 es múltiplo de 9,

4 de 9 9/07/16 9:49 p.m.

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

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

d. Un estado posterior a la ejecución del programa.

f. Una pregunta que debe hacerse al iniciar a programar.

Seleccione una o más de una:

La respuesta correcta es: A), E)

5 de 9 9/07/16 9:49 p.m.

Seleccione una o más de una:

b. Formular un predicado \(P\(n\)\) :\( 6^n\) es múltiplo de 6

c. Formular un predicado \(P\(n\)\) : n termina en 6

d. Mostrar que el caso base funciona: \( 6^0 \) termina en 6

e. Mostrar que el caso base funciona: \(6^1\) termina en 6

f. Mostrar que el caso base funciona: \(0\) es multiplo de 6

g. Mostrar que si \(6^n\) termina en 6, entonces \(6^{n+1}\) también termina en 6

h. Mostrar que si \(6^k\) termina en 6, entonces \(6^{k-1}\) también termina en 6

i. Mostrar que si \(n\) termina en 6, entonces \(n+1\) también termina en 6

j. Mostrar que \(k \to k+1\)

La respuesta correcta es: Formular un predicado \(P\(n\)\) : \(6^n\) termina en 6, Mostrar

6 de 9 9/07/16 9:49 p.m.

Siendo \(a\) un número entero positivo.

Y quiere demostrar el siguiente teorema:

\(g\(n+m\) = g\(n\)\cdot g\(m\)\), para todo n y m enteros positivos.

De las expresiones a continuación, seleccione cuáles completan correctamente la

Seleccione una o más de una:

b. EXPRESION-B=\(g\(k+1+m\) = g\(k+1\) \cdot g\(m\) \)

c. EXRESION-C = Hipótesis de Inducción

e. EXPRESION-A = Hipótesis de Inducción

f. EXPRESION-B= Hipótesis de Inducción