Scribd
Cargar
106 vistas2 páginas

Examen de Matemática Discreta

Este documento presenta un examen bimestral de Matemática Discreta para los estudiantes del Departamento de Ingeniería en Electrónica y Redes de Información de la Escuela Politécnica Nacional. Incluye dos ejercicios: 1) demostrar la exactitud de un algoritmo usando el Teorema del Invariante del Bucle, asumiendo que z es un entero par y p es impar, y 2) demostrar que si m y n son enteros pares, entonces m × n es múltiplo de 4. También incluye instrucciones para los

Cargado por

Anderson Romero
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
106 vistas2 páginas

Examen de Matemática Discreta

Este documento presenta un examen bimestral de Matemática Discreta para los estudiantes del Departamento de Ingeniería en Electrónica y Redes de Información de la Escuela Politécnica Nacional. Incluye dos ejercicios: 1) demostrar la exactitud de un algoritmo usando el Teorema del Invariante del Bucle, asumiendo que z es un entero par y p es impar, y 2) demostrar que si m y n son enteros pares, entonces m × n es múltiplo de 4. También incluye instrucciones para los

Cargado por

Anderson Romero
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

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

También podría gustarte