Algoritma, belirli bir probleme, eğer varsa, bir çözüm garanti eden adım adım bir prosedürdür. Metodik, sonlu ve yeterince açık bir şekilde tanımlanmıştır; böylece bir bilgisayar veya dikkatli bir insan, doğaçlama yapmadan onu takip edebilir.

Bilişsel psikolojide bu terim, sezgisel yöntemlerle tezat oluşturmak için kullanılır. Bir anagramı çözmek için bir algoritma, kelime ortaya çıkana kadar harflerin her olası yeniden düzenlemesini üretmek olabilir; bu yöntem garantilidir ancak yavaştır. Bir sezgisel yöntem ise önce yaygın ön ekleri ve son ekleri denemek olabilir; daha hızlıdır ancak başarısız olabilir. İnsanlar günlük sorunlar için nadiren saf algoritmalar kullanırlar çünkü arama alanı genellikle çok geniştir ve zaman sınırlıdır.

Bilgisayar biliminde algoritmalar programlamanın özünü oluşturur. Sıralama, arama, yol bulma ve şifreleme gibi işlemlerin tümü, verimliliği matematiksel olarak analiz edilebilen, özenle tasarlanmış prosedürlere dayanır. Aynı biçimsel anlayış, algı, hafıza ve karar verme süreçlerinin hesaplamalı modelleri aracılığıyla psikolojiye de girmiştir.

Bir süreç algoritmik olarak tanımlandığında, her adımın önceden belirlendiği ve yeterli kaynak sağlandığı takdirde sonucun garantili olduğu iddia edilir.