計算模型を解説文に含む用語の検索結果

「計算模型」を解説文に含む見出し語の検索結果(1～10/122件中)

チャーチ＝チューリングのテーゼ - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/02/29 16:21 UTC 版)「計算可能関数」の記事における「チャーチ＝チューリングのテーゼ」の解説詳細は「チャーチ＝...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2009/10/30 11:39 UTC 版)「回路計算量」の記事における「一様性」の解説論理回路は一様でない計算模型の典型例であり、...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)「クリーネの再帰定理」の記事における「ロジャースの定理との比較」の解説クリーネの第二再帰...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/09 08:27 UTC 版)「決定的アルゴリズム」の記事における「形式的定義」の解説形式的には、決定的アルゴリズムは...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)「評価戦略」の記事における「正規順序」の解説正規順序の評価（normal-order e...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)「クリーネの再帰定理」の記事における「自己反映計算」の解説自己反映計算は自己参照を用いた...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/02/29 16:21 UTC 版)「計算可能関数」の記事における「計算可能関数の特性」の解説詳細は「アルゴリズム」を参照 ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)「クリーネの再帰定理」の記事における「再帰の除去への利用」の解説いま g {\displ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)「評価戦略」の記事における「作用的順序」の解説作用的順序の評価（applicative-...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/03/03 07:41 UTC 版)「ブラムの公理」の記事における「模型に対する独立性」の解説ブラム複雑性測度は特定の計算模...

< 前の結果 | 次の結果 >