[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 112: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/feed.php on line 173: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/feed.php on line 174: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
UBA - CienciaS Foro de Alumnos 2018-04-23T19:01:22-03:00 http://www.ubacs.com.ar/ubacs/feed.php?f=47 2018-04-23T19:01:22-03:00 2018-04-23T19:01:22-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=245&p=20094#p20094 <![CDATA[Ejercicios de Finales • Re: [IMPORTANTE] Titulos de los posts !]]>

Estadísticas: Publicado por Hermes Tad — 23 Abr 2018, 19:01


]]>
2016-10-06T15:57:55-03:00 2016-10-06T15:57:55-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=245&p=17308#p17308 <![CDATA[Ejercicios de Finales • Re: [IMPORTANTE] Titulos de los posts !]]> Estadísticas: Publicado por rsuarez — 06 Oct 2016, 15:57


]]>
2014-03-08T09:54:07-03:00 2014-03-08T09:54:07-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=3033&p=16260#p16260 <![CDATA[Ejercicios de Finales • Final 7/3/2014]]>
Notación: Una palabra es una cadena de 0s y 1s. Denotamos con v a la cadena vacía.
Definición: Un conjunto es libre de prefijos si ninguna palabra del conjunto es prefijo de otra.
Por ejemplo, tanto {v} como {01,001,0001,00001} son libres de prefijos, mientras que {1,0,10} no lo es, y {v,111} tampoco.

Ejercicio:
i) Especificar formalmente el problema.
ii) Dar un algoritmo en pseudocódigo tal que, dado un conjunto finito de palabras, determine si el conjunto es libre de prefijos. Explicitar las estructuras de datos que se utilizan.
iii)Programar el algoritmo en funcional.
iv) Programar el algoritmo en imperativo.
v) Especificar los ciclos del programa imperativo (pre y post condición, variante, invariante, guarda).

Saludos!

Estadísticas: Publicado por natu_2714 — 08 Mar 2014, 09:54


]]>
2013-09-29T20:04:12-03:00 2013-09-29T20:04:12-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=245&p=15975#p15975 <![CDATA[Ejercicios de Finales • Re: [IMPORTANTE] Titulos de los posts !]]> Estadísticas: Publicado por franco — 29 Sep 2013, 20:04


]]>
2013-08-30T18:53:18-03:00 2013-08-30T18:53:18-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=2551&p=15921#p15921 <![CDATA[Ejercicios de Finales • Re: Examen Final - 12/10/2011]]> Estadísticas: Publicado por funkcharly — 30 Ago 2013, 18:53


]]>
2013-03-28T13:11:49-03:00 2013-03-28T13:11:49-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=2604&p=15356#p15356 <![CDATA[Ejercicios de Finales • Re: Felices fiestas]]> Estadísticas: Publicado por mrestom — 28 Mar 2013, 13:11


]]>
2013-02-24T01:32:50-03:00 2013-02-24T01:32:50-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=2551&p=15179#p15179 <![CDATA[Ejercicios de Finales • Re: Examen Final - 12/10/2011]]> Estadísticas: Publicado por flopy624 — 24 Feb 2013, 01:32


]]>
2011-12-25T00:27:15-03:00 2011-12-25T00:27:15-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=2604&p=14210#p14210 <![CDATA[Ejercicios de Finales • Felices fiestas]]> Estadísticas: Publicado por exequiel131719 — 25 Dic 2011, 00:27


]]>
2011-10-13T13:05:28-03:00 2011-10-13T13:05:28-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=2551&p=13999#p13999 <![CDATA[Ejercicios de Finales • Examen Final - 12/10/2011]]>
Regreso al foro después de meses de inactividad xD. Era para hacer mi pequeño aporte de Algoritmos I, ya que ayer rendí el final (que debía desde el 2009 xD), y como veo que no hay ningún final posteado, acá va el que me tomaron a mí. Por cierto, me tomó Javier Marenco (el que está en la Teórica este cuatrimestre, junto con Verónica Becher), y les recontra recomiendo rendir con él, ya que es muuy buena onda. Nos dio 4hs para hacer el examen, y los ejercicios eran fáciles, salvo el ej 2 por ahí que era el más complicado, y eran parecidos a los de para entrenarse que subieron una vez a la página.

Así que ahí va:

Ejercicio 1
Sean f y g implementaciones demostradas correctas para las siguientes especificaciones, donde P, Q y R son predicados del lenguaje de especificación. ¿Se puede expresar preferencia por alguna de las dos? Justifique su respuesta.

problema f(x : T1) = res : T2 {
requiere P;
asegura Q && R;
}

problema g(x : T1) = res : T2 {
requiere P;
asegura Q;
}


Ejercicio 2
Consideremos el siguiente problema:

"Dada una secuencia de enteros s, una meseta es una subsecuencia de elementos consecutivos iguales. Determinar la longitud de la meseta más grande dentro de s."

Por ejemplo, la secuencia [2,3,3,3,5,5,2] tiene una meseta de 3 elementos, que es la más grande. La secuencia [2,3,3,7,5,5,3,1] tiene dos mesetas de 2 elementos cada una, que son las más grandes.

a) Dar una especificación para el problema.
b) Implementar una función en Haskell para resolver este problema y argumentar con palabras por qué es correcta.
c) Implementar una función en C para resolver este problema y argumentar con palabras por qué es correcta.


Ejercicio 3
a) Dar un ejemplo en C y su equivalente en Haskell que muestre que la evaluación de funciones en C es estricta y en Haskell no lo es.
b) Dar un ejemplo en C que muestre que en este lenguaje se puede violar la transparencia referencial.


Ejercicio 4
Dar una especificación para el problema de calcular el máximo común divisor entre dos números enteros.


Si tienen alguna duda, pregunta, consulta, envíenla y respondo.

Suerte a los que tienen que darla todavía y espero que les sirva!
Franco.

Estadísticas: Publicado por Frank — 13 Oct 2011, 13:05


]]>
2010-07-20T03:39:18-03:00 2010-07-20T03:39:18-03:00 http://www.ubacs.com.ar/ubacs/viewtopic.php?t=245&p=11567#p11567 <![CDATA[Ejercicios de Finales • Re: [IMPORTANTE] Titulos de los posts !]]> Estadísticas: Publicado por Roprgm — 20 Jul 2010, 03:39


]]>