«Algorismo», en su forma más antigua y correcta, que procede de al-Khwarizmi -Abu Abd Allah al-Khwarizmi-, matemático persa que, hacia el 830 d.C., compuso un manual de aritmética, titulado Kitab al jabr wal-muqabala (en el que aparece también la palabra «álgebra»). Procedimiento o sistema de cálculo que, en un número finito de pasos, permite solucionar un problema. Es, por consiguiente, un método efectivo o un procedimiento que puede ser llevado a la práctica casi de un modo mecánico. Recibe también el nombre de procedimiento de decisión. Las tablas de verdad son un ejemplo de algoritmo, ya que son un procedimiento que puede aplicarse a cualquier fórmula de la lógica de enunciados para decidir si es o no una tautología o un teorema.
Aunque el concepto es moderno (del siglo XX), en la antigüedad se usaban también algoritmos.