「FORALL」を解説文に含む見出し語の検索結果(21～30/1857件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/01/28 04:15 UTC 版)「冠頭標準形」の記事における「直観論理」の解説冠頭形への変換規則は古典論理であることに依...
数学における最大最小不等式（さいだいさいしょうふとうしき、英: max-min inequality）とは次の不等式のことをいう：任意の空でない函数 f : Z ×...
数学における最大最小不等式（さいだいさいしょうふとうしき、英: max-min inequality）とは次の不等式のことをいう：任意の空でない函数 f : Z ×...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/08 15:26 UTC 版)「ツェルメロ＝フレンケル集合論」の記事における「5. 和集合の公理」の解説詳細は「和集合...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/15 14:04 UTC 版)「超関数」の記事における「コロンボ代数」の解説簡単な例は N 上の多項式スケール s =...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:09 UTC 版)「スコーレム標準形」の記事における「スコーレム化」の解説スコーレム化は、一階述語論理での...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/17 19:38 UTC 版)「独立 (確率論)」の記事における「完全加法族の独立」の解説完全加法族の場合は、完全加法...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/10 17:01 UTC 版)「ゲーム理論」の記事における「強支配戦略均衡」の解説プレイヤー i にとって他のプレイヤ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/21 15:59 UTC 版)「SOR法」の記事における「収束性」の解説反復行列の固有値を λ {\di...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/01/28 04:15 UTC 版)「冠頭標準形」の記事における「含意」の解説含意には4つの規則がある。そのうち2つは仮説か...