Buenas! Espero se encuentren bien.
El ejercicio 2 parte c pide lo siguiente:
"Demuestre que su algoritmo es correcto. Puede utilizar resultados vistos en el curso sin reescribirlos."
Y en la solución del parcial prueban que el algoritmo devuelve un resultado válido, pero no se prueba la terminación del algoritmo.
Mi duda es : Para probar que un algoritmo es "correcto" en general, que son las cosas que se deben demostrar? O depende del contexto?
Yo pensaba que "correcto" contenía a : 1) terminación 2) resultado válido
Muchas gracias!
Saludos,
Diego Furrer