「標準形」を解説文に含む見出し語の検索結果(101～110/2121件中)
スコーレム標準形（スコーレムひょうじゅんけい、英: Skolem normal form）とは、数理論理学において一階述語論理における存在記号がすべて全称記号の前にある冠頭標準形の論理式を言う...
スコーレム標準形（スコーレムひょうじゅんけい、英: Skolem normal form）とは、数理論理学において一階述語論理における存在記号がすべて全称記号の前にある冠頭標準形の論理式を言う...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/23 08:57 UTC 版)「傾き (数学)」の記事における「1次関数の決定」の解説1次関数の傾き m と直線上の1...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/17 08:25 UTC 版)「行列の分解」の記事における「シューア分解」の解説詳細は「シューア分解」を参照 適用：正...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/08/05 10:19 UTC 版)「計算論的トポロジー」の記事における「ホモロジー論」の解説CW複体のホモロジー群の計算は...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/09 05:53 UTC 版)「国鉄旧形電車の車両形式」の記事における「国鉄末期の称号」の解説電車の形式称号は、195...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/21 06:03 UTC 版)「モデルベーステスト」の記事における「定理証明」の解説自動定理証明は本来、論理式の自動的...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/06 04:14 UTC 版)「国鉄D51形蒸気機関車」の記事における「台湾総督府鉄道・台湾鉄路管理局」の解説当時、日...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/09/22 06:23 UTC 版)「平面における直線の標準形」の記事における「退化形」の解説直線の方程式の係数が特定の値を...
ナビゲーションに移動検索に移動線形代数学において、体 F の元を成分とする正方行列 A の有理標準形（ゆうりひょうじゅんけい、英: rational (canonical) form）あるいは...