- functional calculus
-
1) функциональное исчисление2) исчисление предикатов
Англо-русский словарь технических терминов. 2005.
functional calculus
Смотреть что такое "functional calculus" в других словарях:
Functional calculus — In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. The term was also used previously to refer to the calculus of variations. If f is a function, say a numerical function of a… … Wikipedia
functional calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑predicate calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… … Useful english dictionary
functional calculus of the first order — noun see lower functional calculus … Useful english dictionary
functional calculus of the second order — noun see higher functional calculus … Useful english dictionary
functional calculus — the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.… … Universalium
functional calculus — func′tional cal′culus n. math. pho the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers Also called… … From formal English to slang
functional calculus — noun Date: 1933 predicate calculus … New Collegiate Dictionary
Holomorphic functional calculus — In mathematics, holomorphic functional calculus is functional calculus with holomorphic functions. That is to say, given a holomorphic function fnof; of a complex argument z and an operator T , the aim is to construct an operator:f(T),which in a… … Wikipedia
Borel functional calculus — In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectrum), which has particularly broad… … Wikipedia
Continuous functional calculus — In mathematics, the continuous functional calculus of operator theory and C* algebra theory allows applications of continuous functions to normal elements of a C* algebra. More precisely, Theorem. Let x be a normal element of a C* algebra A with… … Wikipedia
higher functional calculus — noun : functional calculus in which quantification is applied not only to individual variables but also to functional and propositional variables called also functional calculus of the second order … Useful english dictionary
