「計算可能関数」を解説文に含む見出し語の検索結果(51～60/429件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/29 03:57 UTC 版)「実現可能性 (論理学)」の記事における「例：自然数による実現可能性」の解説クリーネによ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 07:32 UTC 版)「多対一還元」の記事における「自然数の部分集合」の解説二つの集合 A , B "...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/30 14:17 UTC 版)「ナンバリング (計算可能性理論)」の記事における「計算可能なナンバリング」の解説集合 ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:10 UTC 版)「決定可能性」の記事における「計算可能性との関係」の解説決定可能集合の概念と同様、決定可...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/12/14 23:42 UTC 版)「ギャップ定理 (計算複雑性理論)」の記事における「誠実性定理」の解説複雑性クラスは C...
チャイティンの定数（チャイティンのていすう、英: Chaitin's constant）は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択されたプログラムが...
チャイティンの定数（チャイティンのていすう、英: Chaitin's constant）は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択されたプログラムが...
チャイティンの定数（チャイティンのていすう、英: Chaitin's constant）は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択されたプログラムが...
チャイティンの定数（チャイティンのていすう、英: Chaitin's constant）は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択されたプログラムが...
ライスの定理（ライスのていり、英: Rice's theorem）は、計算機科学における計算可能関数の理論に関する定理で、定められた性質Fを満たすかどうかを任意の部分計算可能関数について判定す...