「クリーネの再帰定理」を解説文に含む見出し語の検索結果(21～30/35件中)
フリードバーグ・ナンバリング（英: Friedberg numbering）は帰納的関数や帰納的可算集合の単射なナンバリング（枚挙）をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
フリードバーグ・ナンバリング（英: Friedberg numbering）は帰納的関数や帰納的可算集合の単射なナンバリング（枚挙）をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/05 03:00 UTC 版)「不動点定理」の記事における「代数学および離散数学において」の解説クナスター・タルスキー...
ナビゲーションに移動検索に移動smn定理 (英: smn theorem) もしくはパラメータ定理 (英: parameterization theorem) とは、再帰理論における定...
ナビゲーションに移動検索に移動smn定理 (英: smn theorem) もしくはパラメータ定理 (英: parameterization theorem) とは、再帰理論における定...
ナビゲーションに移動検索に移動smn定理 (英: smn theorem) もしくはパラメータ定理 (英: parameterization theorem) とは、再帰理論における定...
この項目では、順序理論や束論における不動点定理について説明しています。計算可能性理論における不動点定理については「クリーネの再帰定理」をご覧ください。数学の順序理論や束論におけるクリーネの不動点定理（...
この項目では、順序理論や束論における不動点定理について説明しています。計算可能性理論における不動点定理については「クリーネの再帰定理」をご覧ください。数学の順序理論や束論におけるクリーネの不動点定理（...
クリーネの再帰定理（クリーネのさいきていり、英: Kleene's recursion theorem）は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
クリーネの再帰定理（クリーネのさいきていり、英: Kleene's recursion theorem）は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...