Podemos verificar si un algoritmo es válido utilizando la “lógica de Hoare”, desarrollada por el británico Tony Hoare, quien también es el creador del algoritmo “quicksort” 🙀
Fuente: “Handout C2: Reasoning About Code” (Krysta Yousoufian, Universidad de Washington): https://www.coursehero.com/file/29913125/hoare-logicpdf/
Debes ser mayor de 18 años para ver este contenido
Ayudame con un café