コトバンクはYahoo!辞書と技術提携しています。

計算の理論 けいさんのりろんmathematical theory of computation

ブリタニカ国際大百科事典 小項目事典の解説

計算の理論
けいさんのりろん
mathematical theory of computation

計算の過程とその性質を計算数学の立場から研究する理論。与えれた問題を解くためのアルゴリズムが存在して計算が可能であるかという計算可能性の問題と,アルゴリズムが存在する場合にそれに沿った計算実行のために必要な時間と記憶量を明らかにする計算の複雑さの問題を取扱う。なお,計算可能でない問題 (テューリング機械の停止問題) が存在することが,すでにわかっている。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

計算の理論の関連キーワードディック ブローワーチューリング機械ゴードン・ベル賞チューリング数学基礎論生物物理学数値計算法形式言語

今日のキーワード

天網恢恢疎にして漏らさず

《「老子」73章から》天の張る網は、広くて一見目が粗いようであるが、悪人を網の目から漏らすことはない。悪事を行えば必ず捕らえられ、天罰をこうむるということ。...

続きを読む

コトバンク for iPhone

コトバンク for Android