Diferencia entre revisiones de «Práctica 3: Cuantificadores (Algoritmos I)»

De Cuba-Wiki
 
Línea 46: Línea 46:
'''Respuestas:'''
'''Respuestas:'''


a) aux suc <math>(x: \mathbb{Z}): \mathbb{Z}</math> = x+1
a) aux suc <math>(x: \mathbb{Z}): \mathbb{Z}</math> = x + 1;


b) aux suma <math>(x,y: \mathbb{R}): \mathbb{R}</math> = x + y
b) aux suma <math>(x,y: \mathbb{R}): \mathbb{R}</math> = x + y;


c) aux producto<math>(x, y: \mathbb{R}): \mathbb{R}</math> = x * y
c) aux producto<math>(x, y: \mathbb{R}): \mathbb{R}</math> = x * y;


d) aux cuadrado<math>(x: \mathbb{Z})</math>: Bool = (<math>\exists y \leftarrow</math> [1..y]) y*y = x  
d) aux cuadrado<math>(x: \mathbb{Z})</math>: Bool = (x <math>\geq</math> 0 <math>\wedge</math>(<math>\exists</math> y <math>\leftarrow</math> [0..x]) y*y == x);


e)aux primo<math>(x: \mathbb{Z})</math>: Bool = |[ y | y <math>\leftarrow</math>[1..|x|], x mod y == 0]| == 2 (Recordemos que un número es primo si tiene exactamente dos divisores positivos: el 1 y su valor absoluto)  
e)aux primo<math>(x: \mathbb{Z})</math>: Bool = |[ y | y <math>\leftarrow</math>[1..|x|], x mod y == 0]| == 2 (Recordemos que un número es primo si tiene exactamente dos divisores positivos: el 1 y su valor absoluto)  
Línea 66: Línea 66:


j) aux mcd<math>(x,y: \mathbb{Z}): \mathbb{Z}</math> = <math>[ z | z \leftarrow [0..|x|], x \ mod \ z == 0, y \ mod \ z == 0 ]_{[ z | z \leftarrow [0..|x|], x \ mod \ z == 0, y \ mod \ z == 0 ] - 1}</math>
j) aux mcd<math>(x,y: \mathbb{Z}): \mathbb{Z}</math> = <math>[ z | z \leftarrow [0..|x|], x \ mod \ z == 0, y \ mod \ z == 0 ]_{[ z | z \leftarrow [0..|x|], x \ mod \ z == 0, y \ mod \ z == 0 ] - 1}</math>


===Ejercicio 3===
===Ejercicio 3===

Revisión del 12:23 11 abr 2010

Ejercicio 1

Determinar cuales de las variables que aparecen en las siguientes expresiones aparecen libres y cuales ligadas.

  1. (
  2. (
  3. (
  4. (
  5. (


Respuestas: Recordemos que las variables ligadas son aquellas que son variables de selector y están al alcance del mismo.

  1. x.
  2. x e y.
  3. j
  4. j
  5. x y j
  6. j

Ejercicio 2

Escriba los siguientes predicados en lenguaje de especificación:

a) aux suc, que corresponde al sucesor de x.

b) aux suma, que corresponda a la suma entre x e y.

c) aux producto, que corresponde al producto entre x e y.

d) aux cuadrado: Bool, que sea verdadero sii x es un número cuadrado.

e) aux primo: Bool, que sea verdadero sii x es primo.

f) aux coprimos: Bool, que sea verdadero sii x e y son coprimos.

g) aux divisoresGrandes: Bool, que sea verdadero sii todos los divisores de x, sin contar el uno, son mayores que y.

h) aux mayorPrimo, que represente el mayor primo que divide a x.

i) aux mcm, que represente el mínimo común múltiplo entre x e y.

j) aux mcd, que represente el máximo común divisor entre x e y.


Respuestas:

a) aux suc = x + 1;

b) aux suma = x + y;

c) aux producto = x * y;

d) aux cuadrado: Bool = (x 0 ( y [0..x]) y*y == x);

e)aux primo: Bool = |[ y | y [1..|x|], x mod y == 0]| == 2 (Recordemos que un número es primo si tiene exactamente dos divisores positivos: el 1 y su valor absoluto)

f) aux coprimos: Bool == |[ z | z [0..x], x mod z==0, y mod z == 0]| == 1 (Dos números son coprimos si tienen un único divisor positivo en común: el uno)

g) aux divisoresGrandes: Bool = ( z [ t | t [2..|x|], x mod t == 0]) z > y

h) aux mayorPrimo =

i) aux mcm = cab([ z | z [0..|x*y|], z \ mod \ x == 0, z \ mod \ y == 0])

j) aux mcd =

Ejercicio 3

Escriba las siguientes funciones auxiliares sobre secuencias de enteros, aclarando los tipos de los parámetros que recibe y devuelve:

1. capicua, que determina si una secuencia es capicúa. (Por ejemplo, [0,2,1,2,0] es capicúa y [0,2,1,4,0] no).

capicua(x: [T]): Bool = (i [0..|x|/2])


2. esPrefijo, que determina si una secuencia es prefijo de otra.

esPrefijo(x,y: [T]): Bool = ( i [0..|y|-1]) x==[| j [0..i] ]

3. estaOrdenada, que determina si la secuencia está ordenada de menor a mayor.

estaOrdenada(x: [Int]): Bool = ( i,j [0..|x|-1], i<j)


4. todosPrimos, que determina si todos los elementos de la secuencia son números primos.

todosPrimos(x: []): Bool = ( t x) primo(t)


(primos la definimos en el ejercicio 2.5)


5. todosIguales, que determina si todos los elementos de la secuencia son iguales.

todosIguales(x: [T]): Bool = ( a, b x) a==b


6. hayUnoParQueDivideAlResto, que determina si hay un elemento par en la secuencia que divide al resto.


hayUnoParQueDivideAlResto(x: []): Bool = ( a x, a mod 2 == 0) ( b x) b mod a == 0


7. hayUnoEnPosicionParQueDivideAlResto, que determina si hay un elemento en una posición par de la secuencia que divide al resto.

hayUnoEnPosicionParQueDivideAlResto(x: []): Bool =
( i [0..|x|-1], i mod 2 == 0)( a x)


8. sinRepetidos, que determina si la secuencia no tiene repetidos.

sinRepetidos(x: [T]): Bool = ( i,j [0..|x|-1], i j)


9. sinMasDeNApariciones, que determina si en la secuencia, ningún elemento aparece más de n veces.

sinMasDeNApariciones(x: [T]): Bool = ( a x) | [ b | b x, b==a ] | n


10. otroMayorADerecha, que determina si todo elemento de la secuencia, salvo el último, tiene otro mayor a su derecha.

otroMayorADerecha(x: []): Bool = ( i [0..|x|-2])


11. todoEsMultiplo, que determina si todo elemento de la secuencia es múltiplo de alg¶un otro.

todoEsMultiplo(x: []): Bool = ( a x)( b x) b mod a == 0


12. enTresPartes, que determina si en la secuencia aparecen (de izquierda a derecha) primero 0s, después 1s y por último 2s. Por ejemplo [0; 0; 1; 1; 1; 1; 2] cumple con enTresPartes, pero [0; 1; 3; 0] o [0; 0; 0; 1; 1] no. ¿Cómo modificaría la expresión para que se admitan cero apariciones de 0s, 1s y 2s (es decir, para que por ejemplo [0; 0; 0; 1; 1] o [ ] sí cumplan nTresPartes?


enTresPartes(x: [): Bool = ( estaOrdenada(x) )

Pero si queremos que no sea estrictamente necesaria la pertenencia de al menos un 0, un 1 y un 2, podemos modificarlo de la siguiente manera:


enTresPartesPrima(x: [): Bool = ( estaOrdenada(x) a x) ) )


Ejercicio 4