"¿Demostrar corrección? ¿Para qué?" por Mariano Moscato
HTML-код
- Опубликовано: 7 сен 2024
- Mariano Moscato, graduado y ex docente del Departamento de Computación (actualmente trabajando en NASA), le cuenta a los y las estudiantes de Algoritmos 1 de qué trata y para qué sirve demostrar la corrección de programas.
Créditos: Azúl Lopez (realización y edición del video).
Buenísimo el video Mariano.. Excelente para compartir en Algo1.
Me quedó la duda si encontraron o no el bug del avión que estaba a 185 millas :)
Me quedé pensando lo mismo. ¿Cuál era el bug? Seguro era un off-by-one