Hola Pablo, primero aclaremos qué es una precondición y postcondición.
La precondición expresa lo que debe ser cierto antes que comience la ejecución de la función o procedimiento para que la postcondición sea válida. La postcondición hace referencia a cómo queda el sistema luego de ejecutada la función o procedimiento.
Cuando una función o procedimiento tiene precondiciones decimos que es parcial y no total, ya que en caso de no cumplirse las precondiciones no podemos asegurar que el resultado final sea correcto (que se cumpla la postcondición).
Por ejemplo, en la parte III (insOrd) se aclara que la lista l de entrada debe estar ordenada. Qué pasa si la lista no está ordenada? Cómo quedaría la lista luego de ejecutado el procedimiento?
Analiza esos casos, te ayudará a determinar si dicho procedimiento es parcial o total.
La precondición expresa lo que debe ser cierto antes que comience la ejecución de la función o procedimiento para que la postcondición sea válida. La postcondición hace referencia a cómo queda el sistema luego de ejecutada la función o procedimiento.
Cuando una función o procedimiento tiene precondiciones decimos que es parcial y no total, ya que en caso de no cumplirse las precondiciones no podemos asegurar que el resultado final sea correcto (que se cumpla la postcondición).
Por ejemplo, en la parte III (insOrd) se aclara que la lista l de entrada debe estar ordenada. Qué pasa si la lista no está ordenada? Cómo quedaría la lista luego de ejecutado el procedimiento?
Analiza esos casos, te ayudará a determinar si dicho procedimiento es parcial o total.