コンピューターを動かして、ある特定の問題の答えを得る手続きを表現したもの。この手続きは、想定される入力に対して適切な出力を出すために、コンピューターが一意に解釈できるように明解な形になっていなければならない。入力に対していつかは必ず出力し、その出力が常に正しい答えであるときに、手続きは初めてアルゴリズムと呼ばれる。同じ答えを出すアルゴリズムは一般に複数存在するが、答えを出すまでの時間がより短く、コンピューターのメモリー使用量がより少ないものほどよい。したがって計算の複雑さの検討は重要である。