Escuela Politécnica Nacional

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

Matemática Discreta

EXAMEN BIMESTRAL
Nombre: JOFRE JOEL SUÁREZ MORENO
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_GR6_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=100 ) es verdadera antes de

entrar al bucle, entonces la post-condición ( z + p=100 ) 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 tanto z como p son enteros positivos no negativos, es decir, z={0,1 ,… }, p={0,1 , …}

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

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

2.- Demuestre la siguiente afirmación:

r +s
Si r y s son dos números racionales cualesquiera, también es racional
2

Ayuda: Ver ejemplo diapositiva 22 de clase 3