Algoritmus je postup krok za krokem, který zaručuje řešení konkrétního problému, pokud existuje. Je metodický, konečný a dostatečně jasně definovaný, aby ho počítač – nebo pečlivý člověk – mohl sledovat bez improvizace.

V kognitivní psychologii se tento termín používá v kontrastu s heuristikou. Algoritmus pro řešení anagramu může spočívat ve generování všech možných přeskupení písmen, dokud se neobjeví slovo; metoda je zaručená, ale pomalá. Heuristika může spočívat ve vyzkoušení běžných předpon a přípon nejprve; je to rychlejší, ale může selhat. Lidé zřídka používají čisté algoritmy pro každodenní problémy, protože prostor pro vyhledávání je často příliš velký a čas je omezený.

V informatice jsou algoritmy jádrem programování. Řazení, vyhledávání, hledání cesty a šifrování se spoléhají na pečlivě navržené postupy, jejichž účinnost lze matematicky analyzovat. Stejný formální duch vstoupil do psychologie prostřednictvím výpočetních modelů vnímání, paměti a rozhodování.

Když je proces popisován jako algoritmický, tvrdí se, že každý krok je specifikován a výsledek je při dostatečných zdrojích zaručen.