1. Dar la especificación pre/post -condición de los siguientes problemas, incluyendo la correspondiente declaración de variables:
1. Dadas tres variables enteras a, b y c con valores diferentes , determinar el valor de la división de a entre (b - c) y almacenarlo en d.
2. Dada una secuencia ordenada de n enteros, hallar el menor de la secuencia.
3. Dada una secuencia de caracteres sec devolver en la variable secInv la misma secuencia en orden inverso

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Universidad Simón Bolívar
Departamento de Computación y Tecnología de la Información
CI-2615 Algoritmos y Estructuras I
Septiembre-Diciembre 2002

1. Dar la especificación pre/post -condición de los siguientes problemas, incluyendo la correspondiente declaración de variables:
1. Dadas tres variables enteras a, b y c con valores diferentes , determinar el valor de la división de a entre la raiz cuadrada de (b - c) y almacenarlo en d.
2. Dada una secuencia no ordenada de n enteros, hallar el segundo menor de la secuencia.
3. Dada una secuencia de caracteres sec y un entero r devolver en la variable secRot la secuencia rotada r posiciones a la derecha. Ejemplo: si sec = "abbcd" y r =3 entonces en secRot = "bcdab"