-
1 propositional function
-
2 propositional function
Большой англо-русский и русско-английский словарь > propositional function
-
3 propositional function
1) Логика: пропозициональная функция2) Вычислительная техника: пропорциональная функцияУниверсальный англо-русский словарь > propositional function
-
4 propositional function
x. 명제 함수 -
5 propositional function
وظيفه حسي ، امر حسي -
6 propositional function
The New English-Russian Dictionary of Radio-electronics > propositional function
-
7 propositional function
лог. пропорциональная функцияEnglish-Russian dictionary of computer science and programming > propositional function
-
8 propositional function
funkcja zdaniowaEnglish-Polish dictionary for engineers > propositional function
-
9 propositional\ function
-
10 propositional function
English-Russian information technology > propositional function
-
11 propositional function
English-Spanish mathematics dictionary > propositional function
-
12 propositional function
önermeli fonksiyon, önermeli islev -
13 open propositional function
Математика: открытая пропозициональная функцияУниверсальный англо-русский словарь > open propositional function
-
14 open propositional function
English-Russian scientific dictionary > open propositional function
-
15 propositional
-
16 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
17 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
-
18 function
1) функция2) функционировать; находиться в работоспособном состоянии3) выполнять функцию; играть роль4) (дополнительное) функциональное устройство, проф. функция ( в стандарте USB)5) вчт. отображение || отображать•- actuating transfer function
- additive function
- additive/multiplicative function
- admittance function
- advanced communication function
- affine Boolean function
- aggregate function
- algebraic function
- all-pass transfer function
- all-pole function
- all-zero function
- alternating function
- ambiguity function
- amplitude distribution function
- amplitude function
- AM-tive function additive/multiplicative function
- anode work function
- aperture phase function
- apodizing function
- application program function
- autocorrelation function
- automatic azimuth alignment function
- band-limited function
- base station control function
- basis function
- Bellman function
- bent function
- Bessel function of imaginary argument
- Bessel function
- beta function
- bijection function
- bijective function
- binary activation function
- binary sigmoid function
- binate function
- bipolar sigmoid function
- bi-state function
- bivariate distribution function
- Boolean function
- Bose-Einstein distribution function
- bounded function
- boxcar function
- Brillouin function
- built-in function
- Butterworth function
- carpet function
- carrier function
- cathode work function
- characteristic function
- circular function
- closed function
- closed-loop transfer function
- clutching function
- coherence function
- color matching functions
- comb function
- combination function
- combining function
- competitive function
- complementary error function
- complementary function
- composite function
- computable function
- concentrated likelihood function
- continuous function
- contrast transfer function
- control function
- convolution function
- correlation function
- cost function
- covariance generating function
- criterion function
- cross-correlation function - current potential function
- current transfer function
- curried function
- data communications function
- data-path function
- decision function
- degate function
- degating function
- delta function
- demand function
- density function
- descrambling function
- describing function
- difference transfer function
- differentiable function
- digamma function
- Dirac delta function
- Dirac function
- disconnect-reconnect function
- discriminant function
- distribution function
- driving-point function
- eikonal function
- electron wave function
- embedding function
- encryption function
- ergodic function
- error function
- excitation function
- explicit function
- exponential function
- extensional function
- external function
- failure density function
- feedback transfer function
- Fermi function
- Fermi-Dirac distribution function
- force function
- forward transfer function
- frequency function
- frequency-generating function
- frequency-response function
- friend function
- FS function
- full-speed function
- fuzzy function
- fuzzy objective function
- fuzzy utility function
- gage function
- Gaussian function
- Gaussian radial basis function
- generalized function
- generic function
- global implicit function
- global inverse function
- Green functions
- Green's function
- Hamilton function
- Hankel function
- hard limit activation function - hazard function
- head-related transfer function
- Heaviside step function
- Huber function
- hyperbolic function
- hyperbolic tangent activation function
- idempotent function
- image function
- impedance function
- implicit function
- injection function
- injective function
- inline function
- intensional function
- interference function
- interworking function
- inverse distribution function
- inverse function
- invertible mapping function
- inverting function
- kernel function
- Lagrange's function
- Langevin function
- latent function
- Legendre associated function of the first kind
- Legendre associated function of the second kind
- Legendre function of the first kind
- Legendre function of the second kind
- lexical function
- likelihood function
- line search function
- linear function
- linear logic function
- logic function
- logistic function
- logistic sigmoid function
- log-likelihood function
- log-linear function
- log-log function
- look-up function
- loss function
- low-speed function
- LS function
- luminosity function
- macro function
- main function
- maintenance entity function
- majorized function
- majorizing function
- mapping function
- Markov function
- mathematical function
- member function
- membership function
- memo function
- memoised function
- memoized function
- minorized function
- minorizing function
- modified Bessel function
- modular hash-function
- modulating function
- modulation transfer function
- moment-generating function
- monotonic function
- Morse function
- multi-input multi-output transfer function
- multi-valued function
- multivariate distribution function
- mutual coherence function
- natural trigonometric function
- never-decreasing function
- never-increasing function
- non-decreasing function
- non-increasing function
- nonlinear function
- normalized Gaussian radial basis function
- normalized radial basis functions with equal heights
- normalized radial basis functions with equal volumes
- normalized radial basis functions with equal widths and heights
- normalized radial basis functions with equal widths
- normalized radial basis functions with unequal widths and heights
- objective function
- one-one function
- one-to-one function
- one-way function
- one-way hash function
- open-loop transfer function
- optical transfer function
- ordinary Gaussian radial basis function
- ordinary radial basis functions with equal widths
- ordinary radial basis functions with unequal widths
- orthogonal functions
- overlapped functions
- partial autocorrelation function
- penalty function
- perfect hash-function
- phase transfer function
- photoelectric work function
- photopic response function
- piecewise constant function
- piecewise linear function
- piecewise polynomial function
- Pierce function
- point-spread function
- polynomial function
- positive linear function
- postsynaptic potential function
- power function of test
- power function
- predefined function
- predicate function
- probability density function
- probability function
- probability mass function
- production function
- projection function
- projective function
- propagation function
- propositional function
- PSP function
- pulsating function
- pure virtual function
- quadratic error function
- radial basis function
- radial combination function
- ramp function
- range weighting function
- reactance function
- register function
- regression function
- resolvent function
- response function
- restricted function
- risk function
- saturating linear function
- scalar function
- scaling function
- scattering function
- scedastic function
- Schrödinger wave function
- scrambling function
- screen size-viewing distance function
- self-inverse function
- semilinear function
- sensing function
- sentential function
- shape function
- sigmoid activation function
- sigmoid function
- sign function
- signal function
- signum activation function
- signum function
- smooth function
- socket library function
- softmax activation function
- spectral density function
- spectral function
- spectral radiance function
- spline function
- spot function
- spread function
- square-integrable function
- square-law transfer function
- squashed sign function
- squashing function
- state function
- state query function
- steering function
- step function
- stream function
- summing function
- support entity function
- support function
- supported function
- surjection function
- surjective function
- survival function
- switch function
- switching function
- switch-type function
- symmetric saturating linear function
- tame function
- tan-sigmoid activation function
- target function
- tensor function
- tesseral function
- testing function
- tetragamma function
- thermionic work function
- threshold function
- through transfer function
- transcendental function
- transfer function
- trial function
- trigamma function
- trigonometric function
- tri-state function
- typematic function
- unate function
- uncurried function
- unit impulse function
- unit step function
- unsupported function
- user-defined function
- utility function
- vector function
- virtual function
- visibility function
- voltage potential function
- voltage transfer function
- Walsh functions
- wave function
- wave-number limited function
- weighting function
- window function
- work functionThe New English-Russian Dictionary of Radio-electronics > function
-
19 function
1) функция, назначение || функционировать, действовать2) матем. функция•- abnormal function
- access function
- additive function
- address function
- adherence function
- aggregate function
- analog function
- AND function
- AND-to-OR function
- antihyperbolic function
- antitrigonometric function
- arbitrary Boolean function
- arc hyperbolic function
- arc trigonometric function
- array element successor function
- assumed function
- autocorrelation function
- band-limited function
- basis function
- belief function
- blending function
- Boolean function
- buffer function
- built-in function
- characteristic function
- circuit function
- closed function
- collate function
- completely defined function
- composite function
- computable function
- computer function
- concave function
- continuous function
- control function
- convex function
- correlation function
- course-of-value function
- criterion function
- cross-correlation function
- curried function
- dagger function
- damped function
- decision function
- decreasing function
- degate function
- delta function
- demand function
- describing function
- difference function
- discrete finite-valued function
- distribution function
- driving function
- EITHER-OR function
- elliptic function
- entire function
- entire rational function
- entity-to-entity function
- enumerative function
- error function
- essential functions
- evaluation function
- even function
- except function
- exclusive OR function
- executive function
- explicit function
- exponential function
- exponent function
- exponentially decreasing function
- external function
- failure density function
- failure rate function
- feedback function
- finite discrete-valued function
- finite-valued function
- fitted function
- frequency function
- general function
- generalized function
- generating function
- generic function
- hashing function
- hash function
- ill-behaved function
- ill-defined function
- illegal function
- implicit function
- inclusive OR function
- infinite-valued function
- infrared function
- inhibit function
- internal function
- intrinsic function
- inverse function
- joint distribution function
- jump function
- key function
- K-out-of-N function
- library function
- list function
- logical function
- logic function
- logical addition function
- logical multiplication function
- logistic function
- majority function
- membership function
- merit function
- mixed-radix function
- moment-generating function
- morphic Boolean function
- morphic function
- multioutput function
- multiple-valued function
- noncomputable function
- normal function
- NOT function
- nullary function
- objective function
- odd function
- one-valued function
- onto function
- open function
- OR function
- OR-ELSE function
- output function
- partial function
- payoff function
- Peirce function
- penalty function
- piece linear function
- piece regular function
- piecewise continuous function
- positive definite function
- power function
- predefined function
- primitive function
- processing function
- propositional function
- ramp function
- random function
- ranking function
- reckonable function
- recursive function
- remainder function
- response function
- risk function
- safety-related function
- scalar function
- service function
- Sheffer stroke function
- Sheffer function
- shifting function
- shuffle function
- signal function
- signum function
- single-output function
- single-valued function
- smoothed function
- spectral function
- staircase function
- standard function
- statement function
- step function
- storage function
- strictly increasing function
- successor function
- support function
- switching function
- syntactic function
- table function
- testing function
- threshold function
- transfer function
- transition function
- traversal function
- unate function
- unit-impulse function
- universal function
- utility function
- vector function
- weight function
- weighted sum objective function
- weighting functionEnglish-Russian dictionary of computer science and programming > function
-
20 propositional hierarchy
пропозициональная иерархия; иерархия высказываний
Страницы
- 1
- 2
См. также в других словарях:
propositional function — n. Logic an expression containing at least one variable, that becomes a proposition when a constant is substituted for the variable (Ex.: x is a man) … English World dictionary
propositional function — Logic. See sentential function. [1900 05] * * * Sentencelike expression that may be thought of as obtained from a sentence by substituting variables for constants occurring in the sentence. For example, x was a parent of y may be thought of as… … Universalium
propositional function — The concept introduced by Frege of a function taking a number of names as arguments, and delivering one proposition as the value. The idea is that ‘ x loves y ’ is a propositional function, which yields the proposition ‘John loves Mary’ for those … Philosophy dictionary
propositional function — noun 1. : sentential function 2. : something that is designated or expressed by a sentential function * * * Logic. See sentential function. [1900 05] * * * propositional function, 1. a combination of two or more propositions whose truth or… … Useful english dictionary
propositional function — noun Date: 1903 1. sentential function 2. something that is designated or expressed by a sentential function … New Collegiate Dictionary
propositional function — proposi′tional func′tion n. pho sentential function • Etymology: 1900–05 … From formal English to slang
propositional function — noun An expression containing algebraic symbols that serve to represent words or other elements of a sentence or proposition … Wiktionary
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
propositional — See proposition. * * * (as used in expressions) propositional attitude propositional calculus propositional function * * * … Universalium
function — /fungk sheuhn/, n. 1. the kind of action or activity proper to a person, thing, or institution; the purpose for which something is designed or exists; role. 2. any ceremonious public or social gathering or occasion. 3. a factor related to or… … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
