s. m.
1. (mat.) procedimento sistematico di calcolo: algoritmo algebrico, euclideo
2. nel Medioevo, il calcolo basato sull'uso delle cifre arabiche
3. in logica matematica, procedimento meccanico che permette la risoluzione di problemi mediante un numero finito di passi | (inform.) serie di operazioni logiche e algebriche, espresse in linguaggio comprensibile all'elaboratore, la cui sequenza costituisce un programma.
(Dizionario Garzanti online)