Con questo termine, derivante dal nome del matematico persiano al-Khuwarizmi (IX secolo d.C.), si indica un insieme di istruzioni eseguibili meccanicamente per la risoluzione di un problema matematico o logico. I programmi per computer sono algoritmi che comprendono operazioni logiche e algebriche scritti in un linguaggio - quello di programmazione, appunto - comprensibile per l'elaboratore.
