Weblio 辞書 > 辞書・百科事典 > recursion theoryの解説 > recursion theoryの全文検索
「recursion theory」を解説文に含む見出し語の検索結果(11~20/108件中)

ナビゲーションに移動検索に移動smn定理 (英: smn theorem) もしくはパラメータ定理 (英: parameterization theorem) とは、再帰理論における定...
グラフ理論におけるケーニヒの補題はデネス・ケーニヒ[1] (1936)によって示された定理で、無限グラフが無限長の道をもつための十分条件を与える。この定理のcomputability ...
グラフ理論におけるケーニヒの補題はデネス・ケーニヒ[1] (1936)によって示された定理で、無限グラフが無限長の道をもつための十分条件を与える。この定理のcomputability ...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
クリーネの再帰定理(クリーネのさいきていり、英: Kleene's recursion theorem)は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...
クリーネの再帰定理(クリーネのさいきていり、英: Kleene's recursion theorem)は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS