Edición de «Final 1C/2014 (Algoritmos II)»

De Cuba-Wiki
Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si inicias sesión o creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.

Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.

Revisión actual Tu texto
Línea 1: Línea 1:
{{Back|Algoritmos y Estructuras de Datos II}}
Final del 22/7/14, aportado por Francisco Noriega
Final del 22/7/14 y del 6/8/14. Tomado por Feuer y Chapa


== Ejercicio 1 ==
== Ejercicio 1 ==
Línea 12: Línea 11:
'''Generadores''':
'''Generadores''':


*Vacío → Plano  
*Vacío -> Plano  


*Agregar_segmento: plano × coord × coord. → Plano
*Agregar_segmento: plano x coord x coord. -> Plano


'''Observadores''':
'''Observadores''':


*Hay_punto?: Plano × coord. → Bool
*Hay_punto?: Plano x coord. -> Bool


'''Otras operaciones''':
'''Otras operaciones''':


*Agregar_punto: Plano × coord. → Plano
*Agregar_punto: Plano x coord. -> Plano


'''Axiomas''':
'''Axiomas''':
Línea 28: Línea 27:
*Hay_punto? (Vacío, c) = false  
*Hay_punto? (Vacío, c) = false  


*Hay_punto? (Agregar_segmento(p,c0,c1),c) = (cuenta matemática apropiada, irrelevante a los fines del ejercicio)  
*Hay_punto? (Agregar_segmento(p,c0,c1),c) = (cuenta matemática apropiada, irrelevante a los fines del ejercicio) </br>
agregar_punto(p,c) = agregar_segmento(p,c,c)
agregar_punto(p,c) = agregar_segmento(p,c,c)


¿Se puede plantear una demostración por inducción estructural de una propiedad sobre el TAD Plano utilizando en su planteo solo Vacio(), Agregar_Punto() y Hay_Punto?()? Justifique.
¿Se puede plantear una demostración por inducción estructural de una propiedad sobre el TAD Plano utilizando en su planteo solo Vacio(), Agregar_Punto() y Hay_Punto?()? Justifique.  


== Ejercicio 3 ==
== Ejercicio 3 ==
22/7/14
a. Justifique por qué la función de abstracción no siempre es sobreyectiva sobre el conjunto de términos de un tipo abstracto de datos.  
a. Justifique por qué la función de abstracción no siempre es sobreyectiva sobre el conjunto de términos de un tipo abstracto de datos.  


b. ¿Podría el invariante de representación no ser una función total? Justifique.
b. ¿Podría el invariante de representación no ser una función total? Justifique.
6/8/14
Para qué sirve el invariante de representación, dar ejemplos de como se relaciona con la complejidad.


== Ejercicio 4 ==
== Ejercicio 4 ==
Ten en cuenta que todas las contribuciones a Cuba-Wiki pueden ser editadas, modificadas o eliminadas por otros colaboradores. Si no deseas que las modifiquen sin limitaciones, no las publiques aquí.
Al mismo tiempo, asumimos que eres el autor de lo que escribiste, o lo copiaste de una fuente en el dominio público o con licencia libre (véase Cuba-Wiki:Derechos de autor para más detalles). ¡No uses textos con copyright sin permiso!

Para editar esta página, responde la pregunta que aparece abajo (más información):

Cancelar Ayuda de edición (se abre en una ventana nueva)

Plantilla usada en esta página:

Obtenido de «https://www.cubawiki.com.ar/index.php/Final_1C/2014_(Algoritmos_II)»