No somos tan Nerds

POR FAVOR! SEAN CLAROS EN EL CODIGO.

mariano!! — Fri, 12 Sep 2008 19:39:51 GMT

problema AgregarTemaSA( t: Tema , s: SA) { requiere (� t' <- temas(s) , � ( ( nombres(t) == nombres (t') ) y mismos (etiquetas(t), etiquetas(t')) modifica s asegura If (� t' <- temas(s)) �TemasIguales (t,t') Then (existe e <- (etiquetas (t) ) � (en ( e,etiquetas (s)) --> etiquetas(s) == (etiquetas(pre(s)) ++ [ e | e <-- etiquetas (t), � (en ( e, etiquetas (s))) ] Else etiquetas (s) == pre (s); asegura �(existe e <- (etiquetas (t) ) � (en (e, etiquetas (s)) --> etiquetas ...

Nooooo, para nada son TAN nerds

Fer_netconcoca — Fri, 17 Oct 2008 19:26:56 GMT

por que no me sorprende en lo mas minimo que exista este foro??

nos vemos en un rato suerte en proba, por si no los veo antes de que entren...

problema 16

caro — Sun, 28 Sep 2008 00:30:28 GMT

se me ocurre hacerlo asi: pasa que la verdad qu eno entiendo mucho lo que dice el otro.. yy el corrector puede pensar lo mismo.. ademas como se parece al ejercicio anterior que hice recien me parce que asi es mas claro. problema eliminarTemasSA (n: Nombre, l: [etiqueta], s:SA) { requiere (existe t � temas(pre (s)) ) nombre(t) ==n y mismos (l , etiquetas (t)); modifica s; asegura mismos (temas(pre(s)), temas(s) ++[t <-- temas (pre(S)), nombre (t) ==n y mismos (l , etiquetas ...

ejercicio 15

caro — Sat, 27 Sep 2008 23:11:50 GMT

15. problema AgregarTemaSA( t: Tema , s: SA) { requiere � existe t'← temas(s), (nombres(t) == nombres (t')) y mismos(etiquetas(t), etiquetas(t')); modifica s; asegura (existe t' ← temas(pre(s)) ) TemasIguales( t, t') entonces pre(s) == s; asegura �(existe t' ← temas(pre(s)) ) TemasIguales( t, t') entonces mismos (temas(pre (s)) ++ [t] , temas (s)) y mismos (etiquetas (pre(s)) ++ [e | e (tomado de)etiquetas ...

ejercicio 23

Admin — Sat, 13 Sep 2008 00:57:11 GMT

invariante elTemaActualEsUnTema
prm(estado(r))>= 1 y prm(estado(r))<= | [t<-- temas(archivos(r)), en (sgd (estado(r)), etiquetas(t))] |

decidimos que la componente entera del estado de r no fuera cero porque,segun el ejercicio 26, si este valor es cero, el reproductor esta detenido y por lo tanto no tendria sentido definir un tema actual que se este reproduciendo

problema 31

caro — Fri, 12 Sep 2008 14:11:37 GMT

problema eliminarListaR (i:ListaDeReproduccion,r:Reproductor){ modifica r asegura(no existe q:ListaDeReproduccion, en (q, listas(r)) mismos (q, l); asegura (para todo q:ListaDeReproduccion, q!=l, en (q, listas (pre(r))) en (q, listas (r)); asegura archivos (pre (r)) == archivos(r); asegura estado (pre (r)) == estado (r); asegura cantRepLista (l,r) =0; asegura (para todo q:ListaDeReproduccion, q!= l) cantRepLista (q,r) =cantRepLista (q, pre (r)); asegura (para todo t: Tema, en ...

problema 20 (creo que final)

mariano!! — Fri, 12 Sep 2008 20:44:22 GMT

problema eliminarEtiquetaDeTema(t:Tema, e:Etiqueta, s:SA) { requiere (� h <- temas (pre(s)), h != t) � ( ( nombre (h) == nombre (t) ) y (mismos (etiquetas (h) , Resta ( etiquetas (t), [e]) ) ) Modifica s Asegura (existe h  temas (pre(s)) h ==t y en (e, etiquetas(t))  (existe h  temas (s), TemasIguales(h,t) ) ( ( nombre (h) == nombre (t) ) y (mismos (etiquetas (h) , Resta ( etiquetas (t), [e]) ) ) Asegura (� h <- temas(pre(s)) h!=t o ...

problema 19 lean por favor

caro — Wed, 10 Sep 2008 05:31:43 GMT

voy a comentar lo que opino del ejercicio. dice "esta operacion solo puede aplicarse si la etiqueta e es una etiqueta valida del sisteam de archivos s".......... a diferencia del ejercicio 15 en este caso no dice que pasa si esa condicion no se cumple. por lo tanto asumo que no podemos decidir(somos emo) y la condicion esa va en un requiere. segunda observacion: el sistema de archivos, en lo que a temas se refiere solo tiene en un observador una lista de temas. como es ...

problema 16

mariano!! — Fri, 12 Sep 2008 15:33:01 GMT

16. problema eliminarTemasSA(n:Nombre, l:[etiqueta],s:SA){ requiere (existe t <- temas(pre (s)) ) nombre(t)==n y mismos (l , etiquetas (t)) modifica s asegura mismos (etiquetas(s),Resta (etiquetas(pre(s)), UnicasEtiquetasTema(l,n, pre(s) ) );//siguiendo el 15 saco las etiquetas q no estan mas. asegura (� t <- temas(s))�(nombre(t)==n y mismos(etiquetas(t),l)); asegura (� t <- temas(s))(E t' <- temas(pre(s)),�(nombre(t)==n y mismos(etiquetas(t),l))) t == t'; } aux ...

Ejercicio 18

Admin — Sun, 07 Sep 2008 07:22:34 GMT

18) problema EliminarEtiqueta (e:Etiqueta, s:SA) = result:SA asegura If �en(e, etiquetas(s)) Then (result == s Else ( ( � t ← temas (result)) �en(e,etiquetas(t))) y ( mismos ( cons(e, etiquetas(result), s) y ( � i ← [0...|etiquetas(s)|), i < ordenE(e,s)) etiquetas(s)[i] == etiquetas(result)[i] y ( � i ← [0...|etiquetas(s)|), i > ordenE(e,s)) etiquetas(s)[i] == etiquetas(result)[i-1]) } /// los puse en orden porq son muchos y en una sola clausula,... ...

Ejercicios 16,20,24, 28(28:Incompleto) y 32

mariano!! — Sat, 06 Sep 2008 20:51:22 GMT

16) problema eliminarTemasSA(n:Nombre, l:[etiqueta],s:SA){ modifica s asegura mismos (etiquetas(s),etiquetas(pre(s)));//no se que hacer en el caso que el tema que borre era el unico que tenia cierta etiqueta.(si saco la etiqueta de el SA o no) asegura (� t<- temas(s))�(nombre(t)==n y mismos(etiquetas(t),l)); asegura (� t <- temas(s))(E t' <- temas(pre(s)),�(nombre(t)==n y mismos(etiquetas(t),l))) t == t'; } 20) problema eliminarEtiquetaDeTema(t:Tema, e:Etiqueta, ...

ejercicio 15 Despues de las correcci�nes del miercoles.

Admin — Thu, 11 Sep 2008 05:56:30 GMT

Che, estuve viendo el ejercicio 15 de vuela, y me parece que estaba faltando esto, diganme si me equivoco. 15. problema AgregarTemaSA( t: Tema , s: SA) { requiere (� t' <- temas(s) , � ( ( nombres(t) == nombres (t') ) y mismos (etiquetas(t), etiquetas(t')) modifica s asegura (existe e <- (etiquetas (t) ) � (en ( etiquetas (s)) --> etiquetas(s) == etiquetas(pre(s)) ++ [ e | e <-- etiquetas (t), � (en ( etiquetas (s)) ]; asegura �(existe e <- (etiquetas (t) ) ...

Ejercicios 22 y 26

Admin — Sun, 07 Sep 2008 07:23:43 GMT

22) invariante laListaDelEstadoEsUnaListaValida: en (sgd(estado(r)) , listas(r)) o sgd(estado(r)) == [] 26) problema reproducirR (r:Reproductor, l:ListaDeReproduccion) { requiere en(l,listas(r)) o (l == []); modifica r asegura archivos(r) == archivos(pre(r)) asegura listas(r) == listas(pre(r)) asegura cantRepLista(l,r) == cantRepLista(l,pre(r)) + 1 asegura cantRepTema(PrimerTemaDeLaListaDeRep(r),r) == cantRepTema(PrimerTemaDeLaListaDeRep(r),pre(r)) + 1 asegura If l ...

Problema 17 ..........separado del resto

mariano!! — Fri, 12 Sep 2008 13:48:20 GMT

PRIMER POST(EZE) problema agregarEtiqueta (e:Etiqueta, s:SA) = result:SA{ asegura result = = if(incluido(e,s)) then s else s++[e]; 2DO POST (MARIANO) problema agregarEtiqueta (e:Etiqueta, s:SA) = result:SA{ asegura result = = if(incluido(e,s)) then s else s++[e]; //�no podes comparar cosas de distinto tipo. ni siquiera concatenarlas.(mariano) 3ER POST(EZE) problema agregarEtiqueta (e:Etiqueta, s:SA) = result:SA{ asegura etiquetas(result) = = if(pertenece(e,etiquetas(s))) ...

juntada hoy a la noche.

mariano!! — Fri, 12 Sep 2008 14:46:51 GMT

YO CON MUCHO GUSTO PONGO MI CASA, PERO ME VAN A DECIR QUE NO, PERO DE TODAS FORMAS QUIERO JUNTARME ESTA NOCHE. hay mucho para hacer.

problema 33 ..........ya saben porque

mariano!! — Fri, 12 Sep 2008 14:01:54 GMT

1er post(eze) 33.problema temaContenidoEnMasListas(r:Reproductor)=result:Tema{ requiere archivos(r)!=[ ]; asegura Incluido(result,archivos(r)); asegura Mayor(SumaBin(listas(r),result),[SumaBin(x,listas(r)) | x ←archivos(r)]); } 2do post (mariano) 33.problema temaContenidoEnMasListas(r:Reproductor)=result:Tema{ requiere archivos(r)!=[ ];//�ARCHIVOS DE R DEVUELVE UN TIPO SA , no devuelve lista. asegura Incluido(result,archivos(r)); asegura Mayor(SumaBin(listas(r),result),[SumaBin(x,listas(r)) ...

problema 29........separado del resto

mariano!! — Fri, 12 Sep 2008 13:56:52 GMT

1er post(eze) 29.problema actual(r:Reproductor)=result:Tema{ requiere prm(estado(r))!=0; asegura Incluido(result,archivos(r));//Pero como aseguro que es el actual? }//Considero que si est� en un n�mero distinto de 0 es porque est� reproduciendo un archivo, por lo que no tengo que requerir que archivos(r)!=[ ]? 2do post (mariano) 29.problema actual(r:Reproductor)=result:Tema{ requiere prm(estado(r))!=0; asegura Incluido(result,archivos(r));//Pero como aseguro que es el ...

problema 25 ........ separado del resto.

mariano!! — Fri, 12 Sep 2008 13:53:50 GMT

1er post(eze 25.problema crearRep(s:SA)=result:Reproductor{ asegura archivos(result)= =s; asegura estado(result) = = (0, listas(result)); }//No entiendo si eso es que el aparato est� en stop. Ni si requiere algo.� 2do post (mariano) 25.problema crearRep(s:SA)=result:Reproductor{ asegura archivos(result)= =s; asegura estado(result) = = (0, listas(result)); }//No entiendo si eso es que el aparato est� en stop. Ni si requiere algo. //aca tenes q crear un dato de tipo ...

problema 21 ......... separado del resto

mariano!! — Fri, 12 Sep 2008 13:50:32 GMT

1ER POST(EZE) 21.observador cantRepLista(l:ListadeReproducci�n, r: Reproductor) : Z; requiere Incluido(e,archivos(r)); 2DO POST (MARIANO) 21.observador cantRepLista(l:ListadeReproducci�n, r: Reproductor) : Z; requiere Incluido(e,archivos(r)); //�estas comparando cosas que no se pueden comparar. 3ER POST (EZE) 21.observador cantRepLista(l:ListadeReproducci�n, r: Reproductor) : Z; requiere pertenece(l,listas(r)); observador cantRepTema(t:Tema,r:Reproductor):Z; requiere ...

Mod 1 Todo Junto (a revisar)

ezequiel — Fri, 05 Sep 2008 02:22:48 GMT

17. problema agregarEtiqueta (e:Etiqueta, s:SA) = result:SA{ asegura result = = if(incluido(e,s)) then s else s++[e]; 21.observador cantRepLista(l:ListadeReproducci�n, r: Reproductor) : Z; requiere Incluido(e,archivos(r)); observador cantRepTema(t:Tema,r:Reproductor):Z; requiere Incluido(t,archivos(r)); 25.problema crearRep(s:SA)=result:Reproductor{ asegura archivos(result)= =s; asegura estado(result) = = (0, listas(result)); }//No entiendo si eso es que el aparato ...

Barrita de porcentaje provisoria!!! :)

Admin — Thu, 11 Sep 2008 06:24:26 GMT

[ ////////////////////////////////////////--- ]

98% Compa�eros!!! Piensen que hay muchos grupos peor que nosotros!!

Lo que tenemos hasta ahora (10/09) (Revisados 1 vez)

Admin — Thu, 11 Sep 2008 06:29:15 GMT

PARTE 3 (Tema) 0. Invariante NoHayEtiquetasRepetidas 1 problema crearTema(n:Nombre, l: [Etiqueta], d: Datos) = result : Tema { asegura nombre (result) == n; asegura mismos(l, etiquetas(result)); asegura datos (result) == d; } 2 problema nombreT(t:Tema) = result :Nombre{ asegura result == nombre(t); } 3 problema etiquetasT(t:Tema) = result:[Etiquetas] { asegura result == etiquetas(t); } 4. problema datosT(t ...

ejercicio 30

Admin — Thu, 11 Sep 2008 06:19:47 GMT

problema agregarListaR (l:ListaDeReproduccion, r:Reproductor) { requiere incluido(l,etiquetas(archivos(r))); modifica r asegura en(l,listas(r)) y mismos(listas(r),listas(pre(r))++ [l]); asegura archivos(r) == archivos(pre(r)) asegura estado (r) == estado (pre(r)) asegura (� l� ← [listas(r)]), l� != l) cantRepLista(l�,r) == cantRepLista(l�,pre(r)) asegura cantRepLista(l,r) == 0 asegura (� t ← temas(archivos(r)), cantRepTema(t,r) == cantRepTema(t,pre(r)) }

No s� como hacer un auxiliar para esto.(SOLUCIONADO)

ezequiel — Fri, 05 Sep 2008 02:20:20 GMT

aux SumaBin(l:[Etiqueta],t:Tema) Z = result = =∑toBin(l,t);//Lo que quiero que haga es que me sume el n�mero binario, es decir result= 1+0+0+1+0+1.

problema 16 (SOLUCIONADO)

mariano!! — Sat, 06 Sep 2008 15:08:25 GMT

primer paso leerlo.

.
..
...
.....
......
ahora una ves q borro el tema con nombre y etiqueta q me dieron, si ese tema era el unico que tenia esa etiqueta , �borro esa etiqueta del sistema de archivos?

ejercicio 34

Admin — Thu, 11 Sep 2008 05:58:13 GMT

Problema SincronizarR (r,r�: Reproductor) = result: Reproductor (llave rara que no encuentro en mi teclado) asegura mismos (listas(result), UnionListas(listas(r),listas(r�))); asegura etiquetas(archivos(result)) == UnionEtiquetas(etiquetas(archivos(r),etiquetas(archivos(r�)); asegura mismos (temas(archivos(result))), UnionListas(temas(archivos(r)),temas(archivos(r�))); asegura prm (estado(result)) == 0; asegura (V l<-- listas(result))cantRepLista(result) = = cantRepLista(l,r)+cantRepLista(l,r'); asegura ...

aux ListaDeEtiquetasDeTemasDelSA

caro — Wed, 10 Sep 2008 18:32:02 GMT

aux ListaDeEtiquetasDeTemasDelSA (s:SA) =[etiquetas (t) | t <-- [ t | en (t,temas(s), (Y i <-- [0.. |etiquetas(t)|) menorT (t[i], t[i+1]) ]]

quiero agarrar las etiquetas de los temas en temas del sa, ordenados de manera creciente.

aux mismos Y aux cuenta

caro — Wed, 10 Sep 2008 13:00:05 GMT

esta definida de la teorica y/o de la practica...

pero pongamosla porque la usamos. esta definida asi en el apunte de especificacion

aux cuenta (x: T, a: [T]) :Int =long ( [y | y <---a, y==x]];

aux mismos (a, b :[T]) : Bool = |a| == |b| y (Y [/strike] c (perteneciente a ) a) cuenta (c,a) == cuenta (c,b);

tubin o tubito. AUX ToBin

mariano!! — Tue, 09 Sep 2008 14:48:14 GMT

aux ToBin (l:[etiqueta], t:Tema) :[Int] = [β( ( Existe e <- etiquetas(t) )e == l[i])| i <-[0...|l|) ] aux

TRABAJO ONLINE.

mariano!! — Tue, 09 Sep 2008 14:46:29 GMT

pagina con el trabajo en brrador.

regalo de cumplea�os para el salte�o

caro — Tue, 09 Sep 2008 14:26:31 GMT

http://www.taringa.net/posts/apuntes-y-monografias/1527264/Software-generador-de-tablas-de-verdad.html

aux Union (general)

Admin — Sun, 07 Sep 2008 07:07:39 GMT

Como son muy parecidas van las 3 juntas:

aux Union (t,t�:: [T]) =
t ++ [x | x ← t�, �en(x,t)];

Descr: Concatena dos listas, pero filtrando los repetidos de la segunda. Lo use para el ultimo ejercicio.

aux OrdenEtiqueta (solo 18)

Admin — Sun, 07 Sep 2008 07:16:25 GMT

aux OrdenEtiqueta (e: Etiqueta, s: SA) =
cab[i | i ← [0.. |etiquetas(s)|), eitquetas(s)[i] == e];

Este se indefine en otro ejercicio asi que va a tener q ir adentro del 18. Basicamente te tira la posicion que ocupa una etiqueta en un SA en ese momento.

aux PrimerTemaDeLaListaDeRep

Admin — Sun, 07 Sep 2008 07:00:27 GMT

aux PrimerTemaDeLaListaDeRep (l:ListaDeReproduccion, r:Reproductor) =
cab [ x | x ← temas(archivos(r)), OrdenEnListaDeRep == 1]

Desc: Devuelve el tema ubicado en la primer posici�n (segun indice maestro) de acuerdo a la lista de reproduccion del estado.

aux OrdenEnListaDeRep

Admin — Sun, 07 Sep 2008 06:58:00 GMT

aux OrdenEnListaDeRep (t:Tema, r:Reproductor) =
| [t� | t� ← temas(archivos(s), mismos (etiquetas(t), sgd(estado(r)) , menorT (etiquetas(s), t�,t) �TemasIguales (t,t�)] | + 1;

Descripci�n: Este auxiliar te devuelve el orden en la lista de reproduccion del estado, del tema ingresado.

Mayor(z,[z])

ezequiel — Fri, 05 Sep 2008 02:19:29 GMT

aux Mayor(a: Z ,b:[Z]) Bool = result = = (� x←b)a>=x;

INFORMES.(estructura del tp)

mariano!! — Sat, 06 Sep 2008 15:00:01 GMT

Informes Para aquellos trabajos que consistan en entregar un programa, se deber� presentar la totalidad del c�digo impreso y en medio digital (CD, DVD o diskette). Ser� causal de rechazo en el momento de la entrega, que el soporte digital se desprenda f�cilmente del resto del trabajo. Revisen que quede en condiciones �ptimas de transporte. Para el trabajo de especificaci�n, s�lo habr� que entregar la totalidad de la especificaci�n impresa. En todos los informes impresos, las hojas deben ...

ejercicio 50

ezequiel — Fri, 05 Sep 2008 02:25:43 GMT

50. problema temaMasEscuchado(r:Reproductor)=result:Tema{
requiere archivos(r)!=[ ];
asegura Incluido(result,archivos(r));
asegura Mayor(cantRepTema(result,r),[cantRepTema(x,r) | x ←archivos(r)]);
}

prohibido enloquecer

caro — Thu, 04 Sep 2008 16:09:16 GMT

todo bien pero opino que no hay que hacer mil elercicios uno solo. todo bien que quieran adelantar pero habiamos quedado hacer la parte dos. igual por otro lado los ejercicios se pusieron para discutirlos asi que en ese sentido esta bien. <----- esa cara no tiene nada que ver. aunque podria ocurrir que uno lea lo que penso el otro y no pienese soluciones nuevas y creativas sino que trabaje la solucion de otro. eso es poco bueno para el enriquecimento mental como ...

ir a "33 separado", tiene mas correcciones.

ezequiel — Fri, 05 Sep 2008 02:25:15 GMT

33.problema temaContenidoEnMasListas(r:Reproductor)=result:Tema{
requiere archivos(r)!=[ ];
asegura Incluido(result,archivos(r));
asegura Mayor(SumaBin(listas(r),result),[SumaBin(x,listas(r)) | x ←archivos(r)]);
}

ir a "29 separado", tiene mas correcciones.

ezequiel — Fri, 05 Sep 2008 02:24:48 GMT

29.problema actual(r:Reproductor)=result:Tema{
requiere prm(estado(r))!=0;
asegura Incluido(result,archivos(r));//Pero como aseguro que es el actual?
}//Considero que si est� en un n�mero distinto de 0 es porque est� reproduciendo un archivo, por lo que no tengo que requerir que archivos(r)!=[ ]?

ir a "25 separado", tiene mas correcciones.

ezequiel — Fri, 05 Sep 2008 02:24:21 GMT

25.problema crearRep(s:SA)=result:Reproductor{
asegura archivos(result)= =s;
asegura estado(result) = = (0, listas(result));
}//No entiendo si eso es que el aparato est� en stop. Ni si requiere algo

aux Incluido

mariano!! — Thu, 04 Sep 2008 18:03:17 GMT

aux Incluido (a,b :[T]): Bool ==
( � i <-[0...|a|) ) ( existe j <- [0...|b|) ) a[i]==b[j]

aux TemasIguales

caro — Thu, 04 Sep 2008 16:58:34 GMT

aux TemasIguales ( t, t' : Tema) : Bool = (datos (t) ==datos (t'))

Descripci�n: Determina si dos temas son iguales o no de acuerdo a si tienen los mismos datos.

EDIT: Caro, te puse la I con mayuscula para q este igual que en otros lados... y una descripci�n para que buscar sea m�s rapido.)

Reglas basicas de posteo

Admin — Thu, 04 Sep 2008 06:27:40 GMT

Bueno gente, para hacer un poco m�s organizado el foro, propongo las siguientes reglas: 1) Traten de no editar los posts, si quieren cambiar algo, hagan un comentario nuevo sobre el post. 2) Pongan en "el trabajo en si" todos los ejercicios que ya resolvieron y que creen que est�n listos para su "correcci�n" 3) Pongan en "Problemas para discutir todos los ejercicios que no esten seguros de como se hacen o de que se les ocurre muchas maneras y no pueden decidir ...