「決定可能性の問題」を解説文に含む見出し語の検索結果(1~7/7件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/08 15:15 UTC 版)「μ再帰関数」の記事における「決定可能性の問題」の解説ここである疑問が生じる。ここで説明...
ナビゲーションに移動検索に移動数学における順序指数体(じゅんじょしすうたい、英: ordered exponential field)は、順序体であって(実数全体の成す順序体上の指数函数の概念...
ナビゲーションに移動検索に移動数学における順序指数体(じゅんじょしすうたい、英: ordered exponential field)は、順序体であって(実数全体の成す順序体上の指数函数の概念...
μ再帰関数(ミューさいきかんすう、英: μ-recursive function)または帰納的関数(きのうてきかんすう)とは、数理論理学と計算機科学において、直観的に「計算可能」な自然数から自...
μ再帰関数(ミューさいきかんすう、英: μ-recursive function)または帰納的関数(きのうてきかんすう)とは、数理論理学と計算機科学において、直観的に「計算可能」な自然数から自...
μ再帰関数(ミューさいきかんすう、英: μ-recursive function)または帰納的関数(きのうてきかんすう)とは、数理論理学と計算機科学において、直観的に「計算可能」な自然数から自...
μ再帰関数(ミューさいきかんすう、英: μ-recursive function)または帰納的関数(きのうてきかんすう)とは、数理論理学と計算機科学において、直観的に「計算可能」な自然数から自...
< 前の結果 | 次の結果 >