「計算模型」を解説文に含む見出し語の検索結果(21~30/122件中)
回路計算量(英: circuit complexity)とは、計算複雑性理論において、ブール関数をその計算に要する計算資源の量によって分類することを指す。回路計算量では、それらの資源量は論理回...
回路計算量(英: circuit complexity)とは、計算複雑性理論において、ブール関数をその計算に要する計算資源の量によって分類することを指す。回路計算量では、それらの資源量は論理回...
クリーネの再帰定理(クリーネのさいきていり、英: Kleene's recursion theorem)は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
クリーネの再帰定理(クリーネのさいきていり、英: Kleene's recursion theorem)は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "決定的アルゴリズム"...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "決定的アルゴリズム"...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "決定的アルゴリズム"...
計算モデル(けいさんモデル、(英: model of computation)は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれる...
計算モデル(けいさんモデル、(英: model of computation)は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれる...
計算モデル(けいさんモデル、(英: model of computation)は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれる...