Algoritma adalah prosedur langkah demi langkah yang menjamin solusi untuk masalah tertentu jika solusi tersebut ada. Algoritma bersifat metodis, terbatas, dan didefinisikan dengan cukup jelas sehingga komputer—atau manusia yang teliti—dapat mengikutinya tanpa improvisasi.

Dalam psikologi kognitif, istilah ini digunakan untuk membedakannya dengan heuristik. Algoritma untuk memecahkan anagram mungkin berupa menghasilkan setiap kemungkinan susunan ulang huruf hingga kata tersebut muncul; metode ini terjamin tetapi lambat. Heuristik mungkin berupa mencoba awalan dan akhiran umum terlebih dahulu; ini lebih cepat tetapi bisa gagal. Orang jarang menggunakan algoritma murni untuk masalah sehari-hari karena ruang pencarian seringkali terlalu besar dan waktu terbatas.

Dalam ilmu komputer, algoritma adalah inti dari pemrograman. Pengurutan, pencarian, penentuan jalur, dan enkripsi semuanya bergantung pada prosedur yang dirancang dengan cermat yang efisiensinya dapat dianalisis secara matematis. Semangat formal yang sama telah masuk ke dalam psikologi melalui model komputasi persepsi, memori, dan pengambilan keputusan.

Ketika suatu proses digambarkan sebagai algoritmik, klaimnya adalah bahwa setiap langkah telah ditentukan dan hasilnya, dengan sumber daya yang cukup, dijamin.