「束縛作用素」を解説文に含む見出し語の検索結果(1~10/12件中)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/20 07:19 UTC 版)「自由変数と束縛変数」の記事における「束縛作用素(演算子)」の解説以下は変数束縛作用素(...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/21 03:29 UTC 版)「論理式 (数学)」の記事における「閉論理式」の解説閉論理式または文とは、自由変数がない...
数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。この考え方は...
数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。この考え方は...
数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。この考え方は...
数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。この考え方は...
数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。この考え方は...
数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。この考え方は...
数学や形式言語に関連する分野(数理論理学と計算機科学)において、自由変数(または自由変項、英: free variable)は数式や論理式で置換が行われる場所を指示する記法である。この考え方は...
数学、数理論理学、命題論理、述語論理などにおいて、論理式(ろんりしき、英語: logical expression)とは、真理値を必要とする場所にあらわれる式のことであり、原子論理式や、それを...
< 前の結果 | 次の結果 >





カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2025 GRAS Group, Inc.RSS