Diferencia entre revisiones de «Final 30/7/2015 (Algoritmos II)»
(Página creada con «1) Dado un sistemas de TADs TAD' que difiere de los tads comunes en que tiene solo axiomas y operaciones, y la igualdad se da por equivalencia de axiomas, es decir, se pue...») |
Sin resumen de edición |
||
| Línea 1: | Línea 1: | ||
1) Dado un sistemas de TADs TAD' que difiere de los tads comunes en que tiene solo axiomas y operaciones, y | 1) Dado un sistemas de TADs TAD' que difiere de los tads comunes en que tiene solo axiomas y operaciones, y la igualdad se da por equivalencia de axiomas, es decir, se puede ir de t1 a tn aplicando los axiomas.\\ | ||
la igualdad se da por equivalencia de axiomas, es decir, se puede ir de t1 a tn aplicando los axiomas. | a) Qué problema grave de los TADs comunes evita esta especificación?\\ | ||
a) Qué problema grave de los TADs comunes evita esta especificación? | b) Qué dificultad tiene escribir el tad conjunto con esta especificación?\\ | ||
b) Qué dificultad tiene escribir el tad conjunto con esta especificación? | 2) Demostrar porque se puede hacer inducción sobre los TADS (explicale a un matemático).\\ | ||
2) Demostrar porque se puede hacer inducción sobre los TADS (explicale a un matemático). | 3) Relación invariante de representación y complejidad algorítmica. Relación función de abstracción con la demostración de que tu diseño es correcto.\\ | ||
3) Relación invariante de representación y complejidad algorítmica. | 4) Era el de closerToAvg de otros parciales, conjunto de racionales, discutir 4 variantes sobre estructuras vistas en clase.\\ | ||
Relación función de abstracción con la demostración de que tu diseño es correcto. | 5) Dados N elementos, cada uno con clave primaria y secundaria, m << n, m #claves secundarias. Dar 2 formas eficientes de ordenarlos. (Primero por primarias, luego por secundarias.) | ||
4) Era el de closerToAvg de otros parciales, conjunto de racionales, discutir 4 variantes sobre estructuras vistas en clase. | |||
5) Dados N elementos, cada uno con clave primaria y secundaria, m << n, m #claves secundarias. | |||
Dar 2 formas eficientes de ordenarlos. (Primero por primarias, luego por secundarias.) | |||
Revisión del 23:52 30 jul 2015
1) Dado un sistemas de TADs TAD' que difiere de los tads comunes en que tiene solo axiomas y operaciones, y la igualdad se da por equivalencia de axiomas, es decir, se puede ir de t1 a tn aplicando los axiomas.\\ a) Qué problema grave de los TADs comunes evita esta especificación?\\ b) Qué dificultad tiene escribir el tad conjunto con esta especificación?\\ 2) Demostrar porque se puede hacer inducción sobre los TADS (explicale a un matemático).\\ 3) Relación invariante de representación y complejidad algorítmica. Relación función de abstracción con la demostración de que tu diseño es correcto.\\ 4) Era el de closerToAvg de otros parciales, conjunto de racionales, discutir 4 variantes sobre estructuras vistas en clase.\\ 5) Dados N elementos, cada uno con clave primaria y secundaria, m << n, m #claves secundarias. Dar 2 formas eficientes de ordenarlos. (Primero por primarias, luego por secundarias.)
