Relación 1 - Historial de revisiones

Jalonso en 11:50 1 dic 2015

2015-12-01T11:50:15Z

Mostrar los cambios

Marsoldia2 en 01:17 1 dic 2015

2015-12-01T01:17:27Z

Marsoldia2 en 00:31 1 dic 2015

2015-12-01T00:31:38Z

Marsoldia2 en 00:19 1 dic 2015

2015-12-01T00:19:50Z

Marsoldia2 en 23:59 30 nov 2015

2015-11-30T23:59:24Z

Jalonso en 09:09 30 nov 2015

2015-11-30T09:09:02Z

Mostrar los cambios

Adacieizq en 23:02 29 nov 2015

2015-11-29T23:02:06Z

Adacieizq en 22:53 29 nov 2015

2015-11-29T22:53:49Z

Adacieizq en 22:47 29 nov 2015

2015-11-29T22:47:22Z

Angfraalv en 22:26 29 nov 2015

2015-11-29T22:26:28Z

@@ Línea 92: / Línea 92: @@
    "repite 0 x = []" |
    "repite (Suc n) x = x#(repite n x)"
 value "repite 3 a" -- "= [a,a,a]"
@@ Línea 142: / Línea 147: @@
    "coge2 (Suc n) [] = []" |
    "coge2 (Suc n) (x#xs) = x#(coge2 n xs)"
 value "coge 2 [a,c,d,b,e]" -- "= [a,c]"
@@ Línea 166: / Línea 178: @@
 value "elimina 2 [a,c,d,b,e]" -- "= [d,b,e]"
 text {* ---------------------------------------------------------------
@@ Línea 179: / Línea 197: @@
    "esVacia [] = True" |
    "esVacia xs = False"
 value "esVacia []"  -- "= True"
@@ Línea 209: / Línea 232: @@
    ------------------------------------------------------------------ *}
--- "jospalhid"
+-- "jospalhid, marsoldia2"
 fun sum :: "nat list ⇒ nat" where
    "sum [] = 0" |

@@ Línea 57: / Línea 57: @@
 fun intercambia :: "'a × 'b ⇒ 'b × 'a" where
    "intercambia (x,y) = (y,x)"
 value "intercambia (u,v)" -- "= (v,u)"

@@ Línea 32: / Línea 32: @@
    ------------------------------------------------------------------- *}
--- "jospalhid"
+-- "jospalhid, marsoldia2"
 fun longitud :: "'a list ⇒ nat" where
    "longitud [] = 0" |

@@ Línea 17: / Línea 17: @@
    "factorial 0 = 1" |
    "factorial (Suc n) = Suc n * factorial n"
 value "factorial 4" -- "24"

@@ Línea 74: / Línea 74: @@
    ------------------------------------------------------------------ *}
-fun repite :: "nat ⇒ 'a ⇒ 'a list" where --"jospalhid","angfraalv"
+fun repite :: "nat ⇒ 'a ⇒ 'a list" where --"jospalhid","angfraalv", "adacieizq"
    "repite 0 x = []" |
    "repite (Suc n) x = x#(repite n x)"

@@ Línea 46: / Línea 46: @@
    ------------------------------------------------------------------ *}
-fun intercambia :: "'a × 'b ⇒ 'b × 'a" where --"jospalhid","angfraalv"
+fun intercambia :: "'a × 'b ⇒ 'b × 'a" where --"jospalhid","angfraalv", "adacieizq"
    "intercambia (x,y) = (y,x)"

@@ Línea 13: / Línea 13: @@
    ------------------------------------------------------------------- *}
-fun factorial :: "nat ⇒ nat" where --"jospalhid"
+fun factorial :: "nat ⇒ nat" where --"jospalhid","angfraalv"
    "factorial 0 = 1" |
    "factorial (Suc n) = Suc n * factorial n"
@@ Línea 30: / Línea 30: @@
    "longitud xs = 1 + longitud (tl xs)"
 value "longitud [4,2,5]" -- "= 3"
@@ Línea 40: / Línea 46: @@
    ------------------------------------------------------------------ *}
-fun intercambia :: "'a × 'b ⇒ 'b × 'a" where --"jospalhid"
+fun intercambia :: "'a × 'b ⇒ 'b × 'a" where --"jospalhid","angfraalv"
    "intercambia (x,y) = (y,x)"
@@ Línea 53: / Línea 59: @@
    ------------------------------------------------------------------ *}
-fun inversa :: "'a list ⇒ 'a list" where --"jospalhid"
+fun inversa :: "'a list ⇒ 'a list" where --"jospalhid","angfraalv"
    -- "se pude usar rev xs para invertir la lista directamente"
    "inversa [] = []" |
@@ Línea 68: / Línea 74: @@
    ------------------------------------------------------------------ *}
-fun repite :: "nat ⇒ 'a ⇒ 'a list" where --"jospalhid"
+fun repite :: "nat ⇒ 'a ⇒ 'a list" where --"jospalhid","angfraalv"
    "repite 0 x = []" |
    "repite (Suc n) x = x#(repite n x)"
@@ Línea 87: / Línea 93: @@
    "conc xs [] = xs" |
    "conc xs ys = hd xs # conc (tl xs) ys"
 value "conc [a,d] [b,d,a,c]" -- "= [a,d,b,d,a,c]"
@@ Línea 102: / Línea 116: @@
    "coge n [] = []" |
    "coge (Suc n) xs = hd xs#coge n (tl xs)"
 value "coge 2 [a,c,d,b,e]" -- "= [a,c]"
@@ Línea 117: / Línea 138: @@
    "elimina n [] = []" |
    "elimina (Suc n) xs = elimina n (tl xs)"
 value "elimina 2 [a,c,d,b,e]" -- "= [d,b,e]"
@@ Línea 128: / Línea 154: @@
    ------------------------------------------------------------------ *}
-fun esVacia :: "'a list ⇒ bool" where --"jospalhid"
+fun esVacia :: "'a list ⇒ bool" where --"jospalhid","angfraalv"
    "esVacia [] = True" |
    "esVacia xs = False"
@@ Línea 143: / Línea 169: @@
    ------------------------------------------------------------------ *}
-fun inversaAcAux :: "'a list ⇒ 'a list ⇒ 'a list" where
+fun inversaAcAux :: "'a list ⇒ 'a list ⇒ 'a list" where --"angfraalv"
-   "inversaAcAux xs ys = undefined"
+  --no se si he entendido bien la idea de acumular, pero funciona
 fun inversaAc :: "'a list ⇒ 'a list" where
-   "inversaAc xs = undefined"
+   "inversaAc [] = []" |
 value "inversaAc [a,c,b,e]" -- "= [e,b,c,a]"
@@ Línea 158: / Línea 186: @@
    ------------------------------------------------------------------ *}
-fun sum :: "nat list ⇒ nat" where --"jospalhid"
+fun sum :: "nat list ⇒ nat" where --"jospalhid",
    "sum [] = 0" |
    "sum xs = hd xs + sum (tl xs)"
 value "sum [3,2,5]" -- "= 10"
@@ Línea 178: / Línea 212: @@
 value "map (λx. 2*x) [3::nat,2,5]" -- "= [6,4,10]"
 end
 </source>