Weblio 辞書 > 辞書・百科事典 > 自由変数と束縛変数の解説 > 自由変数と束縛変数の全文検索
「自由変数と束縛変数」を解説文に含む見出し語の検索結果(1~10/97件中)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/20 07:19 UTC 版)「自由変数と束縛変数」の記事における「束縛作用素(演算子)」の解説以下は変数束縛作用素(...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 10:09 UTC 版)「自由変数と束縛変数」の記事における「形式的解説」の解説変数束縛機構は数学、論理学、計算...
ナビゲーションに移動検索に移動議論領域(ぎろんりょういき、英: domain of discourse, universe of discourse)は、演繹、特に一階述語論理で使われる用語で...
ナビゲーションに移動検索に移動議論領域(ぎろんりょういき、英: domain of discourse, universe of discourse)は、演繹、特に一階述語論理で使われる用語で...
命題関数(めいだいかんすう、英:Propositional function) とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像...
命題関数(めいだいかんすう、英:Propositional function) とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像...
ナビゲーションに移動検索に移動静的スコープ(せいてきスコープ、英: static scope)とは、プログラミング言語におけるスコープの一種。字句のみから決定できるため、字句スコープまたはレキ...
ナビゲーションに移動検索に移動静的スコープ(せいてきスコープ、英: static scope)とは、プログラミング言語におけるスコープの一種。字句のみから決定できるため、字句スコープまたはレキ...
ナビゲーションに移動検索に移動静的スコープ(せいてきスコープ、英: static scope)とは、プログラミング言語におけるスコープの一種。字句のみから決定できるため、字句スコープまたはレキ...
ナビゲーションに移動検索に移動静的スコープ(せいてきスコープ、英: static scope)とは、プログラミング言語におけるスコープの一種。字句のみから決定できるため、字句スコープまたはレキ...
< 前の結果 | 次の結果 >





カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS