「recursion theory」を解説文に含む見出し語の検索結果(31～40/109件中)
生産的集合（せいさんてきしゅうごう、英: productive set）と創造的集合（そうぞうてきしゅうごう、英: creative set）とは、自然数の集合の類型であり、数理論理学において重要な応...
生産的集合（せいさんてきしゅうごう、英: productive set）と創造的集合（そうぞうてきしゅうごう、英: creative set）とは、自然数の集合の類型であり、数理論理学において重要な応...
生産的集合（せいさんてきしゅうごう、英: productive set）と創造的集合（そうぞうてきしゅうごう、英: creative set）とは、自然数の集合の類型であり、数理論理学において重要な応...
生産的集合（せいさんてきしゅうごう、英: productive set）と創造的集合（そうぞうてきしゅうごう、英: creative set）とは、自然数の集合の類型であり、数理論理学において重要な応...
生産的集合（せいさんてきしゅうごう、英: productive set）と創造的集合（そうぞうてきしゅうごう、英: creative set）とは、自然数の集合の類型であり、数理論理学において重要な応...
数理論理学において、論理式がある構造（モデルとも呼ばれる）のクラスについて絶対的であるとは、そのクラスに属する各構造において同じ真理値を持つことをいう。また、式が2つの構造を含むクラスに対して絶対的で...
数理論理学において、論理式がある構造（モデルとも呼ばれる）のクラスについて絶対的であるとは、そのクラスに属する各構造において同じ真理値を持つことをいう。また、式が2つの構造を含むクラスに対して絶対的で...
ハーディ階層（ハーディかいそう）とは、1972年にスタンリー・S・ウェイナーが定義した計算可能関数の階層である[1]。この階層はグジェゴルチク階層や急成長階層と同様に、順序数 α (≦...
ハーディ階層（ハーディかいそう）とは、1972年にスタンリー・S・ウェイナーが定義した計算可能関数の階層である[1]。この階層はグジェゴルチク階層や急成長階層と同様に、順序数 α (≦...
Jump to navigationJump to searchプロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Pr...