「計算模型」を解説文に含む見出し語の検索結果(11～20/122件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/01 07:03 UTC 版)「計算機の歴史」の記事における「計算の歴史の中での位置づけ」の解説人間がおこなう暗算以外...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/12/14 23:42 UTC 版)「ギャップ定理 (計算複雑性理論)」の記事における「ギャップ定理」の解説この定理の一般的...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:01 UTC 版)「数学定数」の記事における「数学定数でないもの」の解説数学定数と同じく定数と呼ばれるもの...
計算可能関数（けいさんかのうかんすう、英: Computable function）は、計算可能性理論研究の基本的な目的で、直観的には、アルゴリズムによって結果の値が得られる関数のことである。
計算可能関数（けいさんかのうかんすう、英: Computable function）は、計算可能性理論研究の基本的な目的で、直観的には、アルゴリズムによって結果の値が得られる関数のことである。
計算可能関数（けいさんかのうかんすう、英: Computable function）は、計算可能性理論研究の基本的な目的で、直観的には、アルゴリズムによって結果の値が得られる関数のことである。
計算複雑性理論におけるブラムの公理（ブラムのこうり、英: Blum axioms）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・...
計算複雑性理論におけるブラムの公理（ブラムのこうり、英: Blum axioms）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「チューリング計算可能性」の解説再帰理論における計算可能性の研...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/11 15:10 UTC 版)「停止性問題」の記事における「不完全性定理との関係」の解説停止性問題の決定不能性を利用し...