Edición de «Final 1C/2014 (Algoritmos II)»
De Cuba-Wiki
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 12: | Línea 12: | ||
'''Generadores''': | '''Generadores''': | ||
*Vacío | *Vacío -> Plano | ||
*Agregar_segmento: plano | *Agregar_segmento: plano x coord x coord. -> Plano | ||
'''Observadores''': | '''Observadores''': | ||
*Hay_punto?: Plano | *Hay_punto?: Plano x coord. -> Bool | ||
'''Otras operaciones''': | '''Otras operaciones''': | ||
*Agregar_punto: Plano | *Agregar_punto: Plano x coord. -> Plano | ||
'''Axiomas''': | '''Axiomas''': | ||
Línea 28: | Línea 28: | ||
*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 == |