ForoQG

Buenas, terminando la práctica2 tengo un problemilla con la función nonzeros_length y nose si será debido a mi forma de declarar nonzeros. Primero mi declaración de nonzeros Fixpoint nonzeros (l:natlist) {struct l} : natlist := remove_all O l. Y ahora tal como voy resolviendo : Lemma nonzeros_length...

Para la próxima vez, hay un repositorio de apuntes mazo bonito aquí en el que subir dichos archivos sin restricciones. :P http://quegrande.org/apuntes/EI/4/ASI/examenes/04-05/febrero_2005.pdf Gracias de todas maneras. Si puedes subir unos cuantos más, mejor.[/quote] Bueno, ahi dejo el examen de 2005...

Venga, os dejo un examen de ASI de FEB del 2005, tengo unos cuantos más http://rapidshare.com/files/343525387/ASI-2005-Feb.pdf.html creo que solamente podréis descargarlo 10 veces. A ver si alguién es tan amable de explicar a grandes rasgos los pasos de la práctica de despliegue (4-5 líneas) que lo ...

Y digo yo.... ya que todas las prácticas serán iguales...alguién podría subir la 2 y la 3...son insufribles

¿Alguién podría subir una práctica de despliegue o dejármela en la facultad?Para hacerme una idea de lo que pide. Sin enunciado,ni tutorías,ni nada... solamente tengo partes inconexas... :oops: :oops: Eso si, que MAC es mejor que Windows me lo dejó bien clarito en las clases de prácticas, pero de lo...