Metodo sistematico di calcolo che consiste in uno schema uniforme per la risoluzione di una classe di problemi, utilizzato in matematica e in logica matematica.
In informatica, procedura logica e matematica che descrive passo per passo l’elaborazione di un dato per ottenere un risultato desiderato.