計算理論
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/02/29 03:44 UTC 版)
計算理論（けいさんりろん、theory of computation）は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。
| ||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||
- ^ ただし、厳密にはここの議論はそんなに単純ではない。たとえば無理数である「2の平方根の全ての桁を求める」ことは不可能だが、「それを計算し続ける停止しないチューリングマシン」を構成すること自体は不可能ではない。
[続きの解説]
ことば検索ランキング
- 計算理論のページへのリンク
