「束縛作用素」を解説文に含む見出し語の検索結果(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)とは、真理値を必要とする場所にあらわれる式のことであり、原子論理式や、それを...
< 前の結果 | 次の結果 >