functional calculusの語源
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
functional calculusの主な意味と例文
1名詞関数解析
意味 - 関数解析
- 関数計算
- 関数演算
a branch of mathematical logic dealing with functions and operators.
例文 Functional calculus is essential in quantum mechanics.
関数解析学は量子力学において不可欠である。
He studied functional calculus in his advanced mathematics course.
彼は高度な数学のコースで関数解析学を学んだ。
functional calculusのWordNet
1名詞述語論理
意味 a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
個体と述語、個体に対する量化（および命題間の関係）を表現する記号論理のシステム
和訳例 - 述語論理
- 述語計算
- 述語演算
同義語 - functional calculus
- predicate calculus
上位語 any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
命題の内容からその形式を抽象化して、一貫性と妥当性の抽象的な基準を確立する論理体系
構成要素 a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no')
命題の変数に対して（「いくつか」や「すべて」または「なし」のような）量詞によって課される制限
