「等価な定式化」を解説文に含む見出し語の検索結果(1~10/18件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/23 10:02 UTC 版)「帰納的可算集合」の記事における「等価な定式化」の解説以下は、自然数の集合 S について...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/28 14:11 UTC 版)「随伴関手」の記事における「随伴の全容」の解説以上のことから、随伴にはたくさんの関手や自...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 09:51 UTC 版)「自然演繹」の記事における「古典論理と様相論理」の解説話を単純化するため、ここまでの説明...
帰納的可算集合(きのうてきかさんしゅうごう、英: Recursively enumerable set)は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合(きのうてきかさんしゅうごう、英: Recursively enumerable set)は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合(きのうてきかさんしゅうごう、英: Recursively enumerable set)は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合(きのうてきかさんしゅうごう、英: Recursively enumerable set)は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合(きのうてきかさんしゅうごう、英: Recursively enumerable set)は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
次元解析(じげんかいせき、英: dimensional analysis)とは、物理量における、長さ、質量、時間、電荷などの次元から、複数の物理量の間の関係を予測することである。物理的な関係を...
次元解析(じげんかいせき、英: dimensional analysis)とは、物理量における、長さ、質量、時間、電荷などの次元から、複数の物理量の間の関係を予測することである。物理的な関係を...
< 前の結果 | 次の結果 >