翻訳と辞書 Words near each other ・ コンプリートする生徒会 ・ コンプリートガチャ ・ コンプリート・コントロール ・ コンプリート・サーヴィス ・ コンプリート・シングルズ・ボックス ・ コンプリート・シングル・コレクション ・ コンプリート・シングル・コレクションズ〜ファースト・テン・イヤーズ＜ライノ・プレミアム・エディション＞ ・ コンプリート・シングル・ボックス ・ コンプリート・スタジオ・レコーディングス ・ コンプリート・トム・ベル・セッションズ ・ コンプリート・ナンバリング ・ コンプリート・ノックダウン ・ コンプリート・ノービス ・ コンプリート・プレイヤーズ ・ コンプリート・プレーヤーズ ・ コンプリート・ベスト ・ コンプリート・ベスト (カイリー・ミノーグのアルバム) ・ コンプリート・ベスト (セリーヌ・ディオンのアルバム) ・ コンプリート・ロボット ・ コンプリート百恵伝説 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク コンプリート・ナンバリング ： ウィキペディア日本語版 コンプリート・ナンバリング 計算可能性理論において、コンプリート・ナンバリング（）はアクセプタブル・ナンバリングの一般化であり、1963年にアナトリー・マルツェフによって導入された。クリーネの再帰定理やライスの定理などは、元々はアクセプタブル・ナンバリングを持つ計算可能関数の集合に対して証明されたものであるが、これらはコンプリート・ナンバリングを持つ任意の集合でも成立する。 == 定義 == 集合 $A$ のナンバリング $\backslash nu$ が（元 $a\; \backslash in\; A$ に対し）コンプリートとは、任意の部分計算可能関数 $f$ に対して全域計算可能関数 $h$ が存在して次を満たすことをいう： :$\backslash nu\; \backslash circ\; h(i)\; =$ \left\ \begin \nu \circ f(i) &\mbox\ i \in \mathrm(f), \\ a &\mbox. \end \right. ナンバリング $\backslash nu$ がプリコンプリートとは次を満たすことをいう： :$\backslash nu\; \backslash circ\; f(i)\; =\; \backslash nu\; \backslash circ\; h(i)\; \backslash qquad\; i\; \backslash in\; \backslash mathrm(f).\backslash ,$ == 例 == * 任意のシングルトンに対するナンバリングはコンプリートである * 自然数上の恒等関数はコンプリートでない * アクセプタブル・ナンバリングはプリコンプリートである 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「コンプリート・ナンバリング」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.