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')
命題の変数に対して（「いくつか」や「すべて」または「なし」のような）量詞によって課される制限
