Final 20/12/19 (Algoritmos II)

Final tomado por Nicolás D'Ippolito. Duró 3 horas y se aprobaba con 2 ejercicios bien.

Ejercicio 1

Decir que rol juega la función de abstracción en la correctitud de un diseño con respecto al TAD

Ejercicio 2

Que impacto tiene en el diseño que un TAD sea:

a) Inconsistente

b) Subespecificado

c) Sobreespecificado

Ejercicio 3

(No es textual) Determinar que algoritmos de sorting, que dado que el programa se interrumpa en un determinando momento, permite mostrar un ordenamiento parcial del arreglo, por ejemplo los primeros diez elementos.

Ejercicio 4

Verdadero ó Falso.

a) La precondión y la postcondión de las operaciones de la interfaz tiene que cumplir el invariante de representación

b) La complejidad de las operaciones determina el invariante de representación

c) El invariante determina las complejidades del invariante representación