計算理論

計算理論 (けいさんりろん) は、情報科学と数学の一部で、計算のモデルやアルゴリズムを理論的にあつかう学問である。計算量理論 (けいさんりょうりろん) ともいう。