Un procedimiento efectivo o método efectivo es una secuencia de pasos repetible y determinista; es decir, una en que siempre se irán obteniendo los mismos conjuntos de valores de salida para los mismos conjuntos de valores de entrada.