Search results- English - English
Keyword:
Skolem function
Noun
Japanese Meaning
存在量化子によって束縛された変数を、論理否定が偶数回含まれる範囲内で置き換えるために、残る束縛変数を引数とする関数。
Related Words
theta function
Noun
Japanese Meaning
(数学)複素数変数を含む特殊関数群の一つで、アーベル多様体、モジュラス空間、二次形式の理論など、数多くの数学分野で重要な役割を果たす。
Related Words
indicator function
Related Words
mimic function
Related Words
concave function
Related Words
set function
Noun
Japanese Meaning
数学や計算機科学における用語。入力が集合(通常は実数の集合、ユークリッド空間または測度空間の点の集合など)であり、出力が通常数値である写像。
Related Words
beta function
Related Words
transmission function
Related Words
executive function
Noun
Japanese Meaning
実行機能:認知プロセスの管理・制御を行う高次の脳機能 / 高次認知機能:計画、判断、意思決定などの認知活動を統括する機能
Related Words
loading!
Loading...
All Loaded
Error
Words
Words(1182733)
Add Word
Sentence
Sentences
(1692699)
Add sentence
Others
Editor
(31)
Editing Guideline
Credit