算法（Algorithm）是指一系列用於解決問題的清晰、系統化的指令序列。
算法可以接收一組初始輸入，經過一系列定義明確的計算或步驟後，在有限時間內產生所需的輸出，最終停止於一個終止狀態。算法的特性包括有窮性（算法必須在有限步驟後終止）、確切性（每一步驟必須有確切的定義）、輸入項（算法可以有0個或多個輸入以描述運算對象的初始狀態）、輸出項（算法至少有一個或多個輸出以反映對輸入數據加工後的結果）以及可行性（算法中的每一步驟都必須是可以執行的）。
算法可以用不同的方式來執行，例如，一些算法是確定性的，即每次執行時都會產生相同的結果，而隨機化算法則包含隨機輸入，可能產生不同的結果。算法的優劣可以通過其空間複雜度（使用的記憶體空間）和時間複雜度（執行所需的時間）來衡量。在計算機科學、數學、邏輯學等領域，算法都是解決問題或完成任務的關鍵工具。