Relación 1 - Historial de revisiones

Mjoseh en 20:02 15 feb 2015

2015-02-15T20:02:55Z

Mjoseh en 19:09 15 feb 2015

2015-02-15T19:09:46Z

Marmesmar en 18:26 15 feb 2015

2015-02-15T18:26:47Z

Adrguede en 16:55 15 feb 2015

2015-02-15T16:55:25Z

Adrguede en 16:48 15 feb 2015

2015-02-15T16:48:48Z

Fracarmol1 en 16:22 13 feb 2015

2015-02-13T16:22:26Z

Fracarmol1 en 16:11 13 feb 2015

2015-02-13T16:11:21Z

Fracarmol1 en 16:08 13 feb 2015

2015-02-13T16:08:10Z

Frafragal en 17:03 12 feb 2015

2015-02-12T17:03:51Z

Mjoseh en 12:11 12 feb 2015

2015-02-12T12:11:06Z

@@ Línea 602: / Línea 602: @@
 postorden (Nodo a i d)= postorden i ++ [a]++ postorden d
+-- Comentario: la definición no es correcta.
 -- Realizado por Nikola Drousie:

@@ Línea 195: / Línea 195: @@
 pitagoricas :: Int -> [(Int, Int, Int)]
 pitagoricas n = [ (x,y,z) | z <- [1..n], x <- [1..z], y <- [1..z] , x^2 + y^2 == z^2]
 -- ---------------------------------------------------------------------
@@ Línea 217: / Línea 219: @@
 esPerfecto :: Int -> Bool
 esPerfecto n = sum (factores n) == 2*n
 -- También podríamos definirla como:
@@ Línea 260: / Línea 264: @@
                  x == sum (tail(reverse (factores x)))]
 factores1 n = [x | x <- [1..n], rem n x == 0]
@@ Línea 375: / Línea 380: @@
 distanciaAux (x:xs) (y:ys) | x == y = distanciaAux xs ys
                             | otherwise = [1]++(distanciaAux xs ys)
 -- Pablo José Gerlach Mena
@@ Línea 388: / Línea 395: @@
                          | otherwise = 1 + distancia xs ys
 -- Realizado por Nikola Drousie:
@@ Línea 414: / Línea 422: @@
 fact 0 = 1
 fact x = x*fact (x-1)
 -- Jaime Alberto
 -- Usando zipWith:

← Revisión anterior		Revisión del 18:26 15 feb 2015
Línea 68:		Línea 68:
	-- Francisco Javier Carmona		-- Francisco Javier Carmona

		+	-- Maria del Carmen Mesa Marquez
		+	rota 0 xs = xs
		+	rota n [] = []
		+	rota n (x:xs) = rota (n-1) (xs ++ [x])

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

@@ Línea 748: / Línea 748: @@
 -- La propiedad es
 prop_nNodosProfundidad :: Arbol Int -> Bool
-prop_nNodosProfundidad = undefined
+prop_nNodosProfundidad x = nNodos x <= 2^(profundidad x) - 1
 -- La comprobación es
 -- ---------------------------------------------------------------------
 -- Nota. Para comprobar propiedades de árboles con QuickCheck se

@@ Línea 705: / Línea 705: @@
 -- La propiedad es
 prop_length_preorden :: Arbol Int -> Bool
-prop_length_preorden = undefined
+prop_length_preorden x = length (preorden x)== nNodos x
 -- La comprobación es
-−
 -- ---------------------------------------------------------------------
 -- Ejercicio 13.14. Demostrar por inducción que la longitud de la lista

@@ Línea 498: / Línea 498: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- Francisco Javier Carmona
 -- ---------------------------------------------------------------------
 -- Ejercicio 13.2. Comprobar con QuickCheck que para todo Ã¡rbol x,

@@ Línea 38: / Línea 38: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 2. Definir la función ultimaCifra tal que (ultimaCifra x)
@@ Línea 49: / Línea 50: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 3. Definir la función rota tal que (rota n xs) es la lista
@@ Línea 64: / Línea 66: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
@@ Línea 90: / Línea 93: @@
              |x== False && y== False = False
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 4.2. Definir la función xor_2 que calcule la disyunción
@@ Línea 137: / Línea 141: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
--- ---------------------------------------------------------------------
+-- Francisco Javier Carmona
 -- Ejercicio 4.4. Definir la función xor_4 que calcule la disyunción
 -- excluyente a partir de desigualdad (/=). Usar 1 ecuación.
@@ Línea 148: / Línea 153: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
@@ Línea 163: / Línea 169: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 6. Una terna (x,y,z) de enteros positivos es pitagórica si
@@ Línea 179: / Línea 186: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- Luis Curquejo. Solución acotando ligeramente los elementos x e y.
@@ Línea 240: / Línea 248: @@
 perfectos n = [ x | x <- [1..n], x == sum (factoresred x)]
      where factoresred x = [ y | y <- [1..x-1], rem x y == 0]
 -- ---------------------------------------------------------------------
 -- Ejercicio 8.1. Definir, por comprensión, la función
@@ Línea 254: / Línea 273: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 8.2. Definir, por recursión, la función
@@ Línea 269: / Línea 289: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 9.1. Definir, por comprensión, la función
@@ Línea 283: / Línea 304: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 9.2. Definir, por recursión, la función
@@ Línea 299: / Línea 321: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 10. Definir, por comprensión, la función
@@ Línea 314: / Línea 337: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 11.  La distancia de Hamming entre dos listas es el número
@@ Línea 346: / Línea 375: @@
 -- María Dolores Mateo Ceballos
 -- Aunque es parecido al anterior, sin usar función auxiliar:
@@ Línea 374: / Línea 404: @@
 -- Pablo José Gerlach Mena
 -- Rocio Rodriguez
@@ Línea 539: / Línea 570: @@
 -- Rocio Rodriguez
 -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 13.5. Definir la funciÃ³n
@@ Línea 566: / Línea 598: @@
 postorden' (Nodo a i d) = postorden' i ++ postorden' d ++ [a]
   -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 13.6. Comprobar con QuickCheck que para todo Ã¡rbol x,
@@ Línea 634: / Línea 667: @@
 --Emilio Martinez
   -- Jaime Alberto
 -- ---------------------------------------------------------------------
 -- Ejercicio 13.11. Comprobar con QuickCheck que el nÃºmero de nodos de la
@@ Línea 700: / Línea 734: @@
 --Emilio Martinez
 -- ---------------------------------------------------------------------
 -- Ejercicio 13.16. Comprobar con QuickCheck que para todo árbol binario

@@ Línea 404: / Línea 404: @@
 -- Usando iterate:
+-- Fran Franco
 factoriales5 :: [Integer]
-factoriales5 = undefined
+factoriales5 = map snd (iterate (\(x,y)->(x+1,x*y)) (1,1))
 -- Comparación de los tiempos de evaluación:

@@ Línea 35: / Línea 35: @@
 media3 x y z = (x+y+z)/3
-Miriam R.
+-- Miriam R.
 -- Rocio Rodriguez
 -- Jaime Alberto
@@ Línea 46: / Línea 46: @@
 ultimaCifra x = rem x 10
-Miriam R.
+-- Miriam R.
 -- Rocio Rodriguez
 -- Jaime Alberto
@@ Línea 103: / Línea 103: @@
---Realizado por Nikola Drousie:
+-- Realizado por Nikola Drousie:
 -- Rocio Rodriguez
@@ Línea 198: / Línea 198: @@
 perfectos n = [x | x <- [1..n], esPerfecto x]
-Definimos las funciones auxiliares:
+-- Definimos las funciones auxiliares:
 factores :: Int -> [Int]
@@ Línea 206: / Línea 206: @@
 esPerfecto n = sum (factores n) == 2*n
-También podríamos definirla como:
+-- También podríamos definirla como:
 perfectos2 :: Int -> [Int]
 perfectos2 n = filter (esPerfecto) [1..n]
-Podemos comprobar que ambas definiciones son equivalentes:
+-- Podemos comprobar que ambas definiciones son equivalentes:
 prop_perfectos n = perfectos n == perfectos2 n
-Si queremos podemos comparar ambos algoritmos:
+-- Si queremos podemos comparar ambos algoritmos:
-*Main> perfectos 500
+-- *Main> perfectos 500
-[6,28,496]
+-- [6,28,496]
-(1.44 secs, 15935120 bytes)
+-- (1.44 secs, 15935120 bytes)
-*Main> perfectos2 500
+-- *Main> perfectos2 500
-[6,28,496]
+-- [6,28,496]
-(0.22 secs, 14803544 bytes)
+-- (0.22 secs, 14803544 bytes)
-Es decir, el segundo es más eficiente.
+-- Es decir, el segundo es más eficiente.
 -- Pablo José Gerlach Mena
@@ Línea 335: / Línea 335: @@
 distancia xs ys = length (distanciaAux xs ys)
-Definimos la función auxiliar:
+-- Definimos la función auxiliar:
 distanciaAux :: Eq a => [a] -> [a] -> [Int]
@@ Línea 386: / Línea 386: @@
                 where f n y = product ([1..n]++[y])
-Emilio Martinez
+-- Emilio Martinez
 -- Por recursiÃ³n:
@@ Línea 394: / Línea 394: @@
                 where aux n (x:xs)= (n*x):(aux (n*x) xs)
-Emilio Martinez
+-- Emilio Martinez
 -- Usando scanl1:
@@ Línea 401: / Línea 401: @@
 factoriales4 = scanl  (*) 1 [1..]
-Emilio Martinez
+-- Emilio Martinez
 -- Usando iterate:
@@ Línea 410: / Línea 410: @@
 -- Comparación de los tiempos de evaluación:
-*Main> take 10 factoriales1
+-- *Main> take 10 factoriales1
-[1,1,2,6,24,120,720,5040,40320,362880]
+-- [1,1,2,6,24,120,720,5040,40320,362880]
-(0.02 secs, 0 bytes)
+-- (0.02 secs, 0 bytes)
-*Main> take 10 factoriales2
+-- *Main> take 10 factoriales2
-[1,2,6,24,120,720,5040,40320,362880,3628800]
+-- [1,2,6,24,120,720,5040,40320,362880,3628800]
-(0.00 secs, 0 bytes)
+-- (0.00 secs, 0 bytes)
-*Main> take 10 factoriales3
+-- *Main> take 10 factoriales3
-[1,1,2,6,24,120,720,5040,40320,362880]
+-- [1,1,2,6,24,120,720,5040,40320,362880]
-(0.00 secs, 528020 bytes)
+-- (0.00 secs, 528020 bytes)
-*Main> take 10 factoriales4
+-- *Main> take 10 factoriales4
-[1,1,2,6,24,120,720,5040,40320,362880]
+-- [1,1,2,6,24,120,720,5040,40320,362880]
-(0.00 secs, 0 bytes)
+-- (0.00 secs, 0 bytes)
 -- Pablo José Gerlach Mena
@@ Línea 464: / Línea 464: @@
 espejo (Nodo a i d)= Nodo a (espejo d) (espejo i)
---Emilio Martinez
+-- Emilio Martinez
 -- Rocio Rodriguez
 -- Jaime Alberto