Escuela Politécnica Nacional

Departamento de Ingeniería en Electrónica y Redes de Información

Matemática Discreta

EXAMEN BIMESTRAL
Nombre:
INSTRUCCIONES:
 Lea con atención el problema planteado.
 La resolución del problema la puede realizar a mano en una hoja a de su conveniencia, y
posteriormente escanear su desarrollo y colocarlo como imagen en este documento.
 Una vez realizado su ejercicio, convierta este archivo en formato PDF y súbalo al aula
virtual cuando el profesor le indique con el siguiente formato:
Apellido_Nombre_GR2_E1.pdf
 Por favor apagar su celular y colocarlo a 1 metro de distancia de usted durante la prueba, 10
minutos antes de la finalización del tiempo podrá tomar su celular para escanear su
resolución.

Ejercicio

1.- En el siguiente bucle demuestre que, si la pre-condición ( z + p es impar ) es verdadera antes de

entrar al bucle, entonces la post-condición ( z + p es impar ) también lo será una vez finalizado el
bucle. Es decir, demuestre la exactitud de este algoritmo; para lo cual se le pide usar el Teorema del
invariante del bucle (ver diapositiva 33 de la última clase donde).

Asuma que z es un entero par no negativo, es decir, z={0,2,4 … }, y que p pertenece a los números
enteros impares.
Se pide lo siguiente:
a) Determine la pre-condición (recordar que tiene que estar en función de las variables dentro
del bucle)
b) Determine el Invariante del bucle, es decir, I(n). Recuerde que, el invariante tiene que estar
en función de la pre-condición, post-condición y variables dentro del bucle.
c) Con los resultados de los literales anteriores, a) y b), use las propiedades I, II, III y IV del
Teorema del invariante para demostrar la exactitud de algoritmo (ver diapositiva 33 de la
clase 4).

Pre-condición: ________________, z + p es impar

while ( z ≥ 0 y z ≤ 100 )
z=z +4 ;
p= p−2 ;
end
Post-condición: z + p es impar
 Escuela Politécnica Nacional
Departamento de Ingeniería en Electrónica y Redes de Información
Matemática Discreta

2.- Demuestra la siguiente afirmación:

Si m y n son enteros pares cualesquiera, entonces, m× n es múltiplo de 4