Correctitud de algoritmos

Aprende con una visualización interactiva

Categoría: Fundamentos. Complejidad: Precondición · Postcondición · Invariante · Terminación.

Aprende a justificar por qué un algoritmo entrega el resultado correcto para todas las entradas válidas. Visualización interactiva, código Java,…