「自由変数と束縛変数」を解説文に含む見出し語の検索結果(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)とは、プログラミング言語におけるスコープの一種。字句のみから決定できるため、字句スコープまたはレキ...
< 前の結果 | 次の結果 >