-
1 constructive function
конструктивная функция
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > constructive function
-
2 constructive function
Большой англо-русский и русско-английский словарь > constructive function
-
3 constructive function
Математика: конструктивная функция -
4 constructive function
• konstruktivna funkcija -
5 constructive function
English-Russian scientific dictionary > constructive function
-
6 constructive function
English-Russian information technology > constructive function
-
7 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 — область определения функции, область изменения независимой переменной
-
8 конструктивная функция
Большой англо-русский и русско-английский словарь > конструктивная функция
-
9 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
10 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
-
11 field
1) поле || полевой2) магн. наряжённость поля3) участок; область5) полигр. фон; грунт6) горн. прииск; месторождение7) горн. промысел || промысловый8) матем. тело; поле10) полевой; эксплуатационный•- algebraically complete field - axisymmetric field - base field - basic field - completely valuated field - field of algebraic numbers - fully ordered field - fully ramified field - gross field - guiding magnetic field - linear transformation field - locally compact ultrametric field - locally finite field - purely unseparable field - strictly monotone field - strongly isomorphic field - topologized algebraic field - totally imaginary field - totally ramified field - totally real fieldfield with a valuation — поле с оценкой, поле с нормой; метризованное поле
-
12 approach
1) сближение; приближение; стремление || сближать(ся); приближать(ся); стремить(ся)2) заход на посадку || заходить на посадку3) аппроксимация, аппроксимирование || аппроксимировать4) вчт приближение; приближённая теория; приближённые расчеты || приближать5) подход; метод; технология || вырабатывать подход (напр. к решению проблемы); выбирать метод; разрабатывать технологию6) приступать к работе; начинать7) подвод; подача (напр. инструмента) || подводить; подавать (напр. инструмент)•- analogy approach
- automatic approach
- Bayesian approach
- behaviouristic learning approach
- blind approach
- Boolean difference approach
- bottom-up approach
- building-block approach - chip approach
- contingency approach
- collective resource approach
- constructive approach
- crossover approach
- cybernetic approach
- deterministic approach
- diachronic approach
- edge-based approach
- elimination approach
- empirical approach
- figure-based approach
- first-principles approach
- fractal approach
- gate-array approach
- graphic approach
- Green function approach
- ground-controlled approach
- heuristic approach
- hierarchical approach
- hybrid approach
- in-circuit approach
- instrument approach
- instrument landing approach
- integrated-circuit approach
- kinetic approach
- line-segment approach
- localizer approach
- macrocell approach
- master-slice approach
- matrix approach
- modal approach
- modified nodal approach
- modular approach
- multichip approach
- multi-issue approach
- nodal approach
- object-oriented approach
- partitioning approach
- phenomenological approach
- planar approach
- procedural approach
- projection pursuit approach
- quasi-optical approach
- rapid single flux quantum approach
- RSFQ approach
- scanning approach
- self-consistent potential approach
- shortest route approach
- silicon foundry approach
- sociotechnical approach
- standard beam approach
- statistical approach
- structural approach
- synergetic approach
- system approach
- thermodynamical approach
- top-down approach
- tradition approach
- user participation approach
- very long instruction word approach
- VLIW approach
- worst-case approach
- WSR approach
- Wuli-Shili-Renli approach
- Wuli-Shili-Renli system approach
- Wu-li-Shi-li-Ren-li approach
- Wu-li-Shi-li-Ren-li system approach -
13 approach
1) сближение; приближение; стремление || сближать(ся); приближать(ся); стремить(ся)2) заход на посадку || заходить на посадку3) аппроксимация, аппроксимирование || аппроксимировать4) вчт. приближение; приближённая теория; приближённые расчеты || приближать5) подход; метод; технология || вырабатывать подход (напр. к решению проблемы); выбирать метод; разрабатывать технологию6) приступать к работе; начинать7) подвод; подача (напр. инструмента) || подводить; подавать (напр. инструмент)•- analogy approach
- automatic approach
- Bayesian approach
- behaviouristic learning approach
- blind approach
- Boolean difference approach
- bottom-up approach
- building-block approach
- carrier-controlled approach
- cermet approach
- chip approach
- collective resource approach
- constructive approach
- contingency approach
- crossover approach
- cybernetic approach
- deterministic approach
- diachronic approach
- edge-based approach
- elimination approach
- empirical approach
- figure-based approach
- first-principles approach
- fractal approach
- gate-array approach
- graphic approach
- Green function approach
- ground-controlled approach
- heuristic approach
- hierarchical approach
- hybrid approach
- in-circuit approach
- instrument approach
- instrument landing approach
- integrated-circuit approach
- kinetic approach
- line-segment approach
- localizer approach
- macrocell approach
- master-slice approach
- matrix approach
- modal approach
- modified nodal approach
- modular approach
- multichip approach
- multi-issue approach
- nodal approach
- object-oriented approach
- partitioning approach
- phenomenological approach
- planar approach
- procedural approach
- projection pursuit approach
- quasi-optical approach
- rapid single flux quantum approach
- RSFQ approach
- scanning approach
- self-consistent potential approach
- shortest route approach
- silicon foundry approach
- sociotechnical approach
- standard beam approach
- statistical approach
- structural approach
- synergetic approach
- system approach
- thermodynamical approach
- top-down approach
- tradition approach
- user participation approach
- very long instruction word approach
- VLIW approach
- worst-case approach
- WSR approach
- Wuli-Shili-Renli approach
- Wu-li-Shi-li-Ren-li approach
- Wu-li-Shi-li-Ren-li system approachThe New English-Russian Dictionary of Radio-electronics > approach
-
14 type
1) вид; тип2) литера3) марка5) род7) шрифт; гарнитура шрифта•- continuous order type - fiber homotopy type - recursive isomorphism type -
15 implicit
1. a подразумеваемый, не выраженный прямо, имплицитныйimplicit contract — молчаливый, подразумеваемый договор
2. a потенциальныйa sculptor may see different figures implicit in a block of stone — глядя на камень, скульптор видит различные фигуры, которые могут быть высечены из него
3. a мат. неявный4. a безоговорочный, полный, безусловныйСинонимический ряд:1. absolute (adj.) absolute; certain; definite; unquestionable2. tacit (adj.) implied; inarticulate; inferred; plain; tacit; undeclared; understood; unexpressed; unsaid; unspoken; unuttered; wordless3. virtual (adj.) constructive; practical; virtualАнтонимический ряд:expressed; questionable; uncertain -
16 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
-
17 Memory
To what extent can we lump together what goes on when you try to recall: (1) your name; (2) how you kick a football; and (3) the present location of your car keys? If we use introspective evidence as a guide, the first seems an immediate automatic response. The second may require constructive internal replay prior to our being able to produce a verbal description. The third... quite likely involves complex operational responses under the control of some general strategy system. Is any unitary search process, with a single set of characteristics and inputoutput relations, likely to cover all these cases? (Reitman, 1970, p. 485)[Semantic memory] Is a mental thesaurus, organized knowledge a person possesses about words and other verbal symbols, their meanings and referents, about relations among them, and about rules, formulas, and algorithms for the manipulation of these symbols, concepts, and relations. Semantic memory does not register perceptible properties of inputs, but rather cognitive referents of input signals. (Tulving, 1972, p. 386)The mnemonic code, far from being fixed and unchangeable, is structured and restructured along with general development. Such a restructuring of the code takes place in close dependence on the schemes of intelligence. The clearest indication of this is the observation of different types of memory organisation in accordance with the age level of a child so that a longer interval of retention without any new presentation, far from causing a deterioration of memory, may actually improve it. (Piaget & Inhelder, 1973, p. 36)4) The Logic of Some Memory Theorization Is of Dubious Worth in the History of PsychologyIf a cue was effective in memory retrieval, then one could infer it was encoded; if a cue was not effective, then it was not encoded. The logic of this theorization is "heads I win, tails you lose" and is of dubious worth in the history of psychology. We might ask how long scientists will puzzle over questions with no answers. (Solso, 1974, p. 28)We have iconic, echoic, active, working, acoustic, articulatory, primary, secondary, episodic, semantic, short-term, intermediate-term, and longterm memories, and these memories contain tags, traces, images, attributes, markers, concepts, cognitive maps, natural-language mediators, kernel sentences, relational rules, nodes, associations, propositions, higher-order memory units, and features. (Eysenck, 1977, p. 4)The problem with the memory metaphor is that storage and retrieval of traces only deals [ sic] with old, previously articulated information. Memory traces can perhaps provide a basis for dealing with the "sameness" of the present experience with previous experiences, but the memory metaphor has no mechanisms for dealing with novel information. (Bransford, McCarrell, Franks & Nitsch, 1977, p. 434)7) The Results of a Hundred Years of the Psychological Study of Memory Are Somewhat DiscouragingThe results of a hundred years of the psychological study of memory are somewhat discouraging. We have established firm empirical generalisations, but most of them are so obvious that every ten-year-old knows them anyway. We have made discoveries, but they are only marginally about memory; in many cases we don't know what to do with them, and wear them out with endless experimental variations. We have an intellectually impressive group of theories, but history offers little confidence that they will provide any meaningful insight into natural behavior. (Neisser, 1978, pp. 12-13)A schema, then is a data structure for representing the generic concepts stored in memory. There are schemata representing our knowledge about all concepts; those underlying objects, situations, events, sequences of events, actions and sequences of actions. A schema contains, as part of its specification, the network of interrelations that is believed to normally hold among the constituents of the concept in question. A schema theory embodies a prototype theory of meaning. That is, inasmuch as a schema underlying a concept stored in memory corresponds to the mean ing of that concept, meanings are encoded in terms of the typical or normal situations or events that instantiate that concept. (Rumelhart, 1980, p. 34)Memory appears to be constrained by a structure, a "syntax," perhaps at quite a low level, but it is free to be variable, deviant, even erratic at a higher level....Like the information system of language, memory can be explained in part by the abstract rules which underlie it, but only in part. The rules provide a basic competence, but they do not fully determine performance. (Campbell, 1982, pp. 228, 229)When people think about the mind, they often liken it to a physical space, with memories and ideas as objects contained within that space. Thus, we speak of ideas being in the dark corners or dim recesses of our minds, and of holding ideas in mind. Ideas may be in the front or back of our minds, or they may be difficult to grasp. With respect to the processes involved in memory, we talk about storing memories, of searching or looking for lost memories, and sometimes of finding them. An examination of common parlance, therefore, suggests that there is general adherence to what might be called the spatial metaphor. The basic assumptions of this metaphor are that memories are treated as objects stored in specific locations within the mind, and the retrieval process involves a search through the mind in order to find specific memories....However, while the spatial metaphor has shown extraordinary longevity, there have been some interesting changes over time in the precise form of analogy used. In particular, technological advances have influenced theoretical conceptualisations.... The original Greek analogies were based on wax tablets and aviaries; these were superseded by analogies involving switchboards, gramophones, tape recorders, libraries, conveyor belts, and underground maps. Most recently, the workings of human memory have been compared to computer functioning... and it has been suggested that the various memory stores found in computers have their counterparts in the human memory system. (Eysenck, 1984, pp. 79-80)Primary memory [as proposed by William James] relates to information that remains in consciousness after it has been perceived, and thus forms part of the psychological present, whereas secondary memory contains information about events that have left consciousness, and are therefore part of the psychological past. (Eysenck, 1984, p. 86)Once psychologists began to study long-term memory per se, they realized it may be divided into two main categories.... Semantic memories have to do with our general knowledge about the working of the world. We know what cars do, what stoves do, what the laws of gravity are, and so on. Episodic memories are largely events that took place at a time and place in our personal history. Remembering specific events about our own actions, about our family, and about our individual past falls into this category. With amnesia or in aging, what dims... is our personal episodic memories, save for those that are especially dear or painful to us. Our knowledge of how the world works remains pretty much intact. (Gazzaniga, 1988, p. 42)The nature of memory... provides a natural starting point for an analysis of thinking. Memory is the repository of many of the beliefs and representations that enter into thinking, and the retrievability of these representations can limit the quality of our thought. (Smith, 1990, p. 1)Historical dictionary of quotations in cognitive science > Memory
См. также в других словарях:
Constructive function theory — In mathematical analysis, constructive function theory is a field which studies the connection between the smoothness of a function and its degree of approximation[1][2]. It is closely related to approximation theory. The term was coined by… … Wikipedia
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
Constructive Approximation — Abbreviated title (ISO) Constr. Approx. Discipline mathematics … Wikipedia
Function Analysis System Technic — Function Analysis System Technique Pour une définition du mot « fast », voir l’article fast du Wiktionnaire. Un diagramme FAST (Functional Analysis System Technic) présente une traduction rigoureuse de chacune des fonctions de service… … Wikipédia en Français
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Function representation — In computer graphics the function representation (FRep [Shape Modeling and Computer Graphics with Real Functions, [http://www.hyperfun.org/F rep.html FRep Home Page] ] or F Rep) is used in solid modeling. FRep was introduced in Function… … Wikipedia
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
constructive — A constructive proof is one that enables one to give an example, or give a rule for finding an example, of a mathematical object with some property. A nonconstructive proof might result in us knowing that an example exists, but having no idea how … Philosophy dictionary
constructive notice — Not actual notice; such circumstances as the law deems the equivalent of actual notice since they are such as, under the law, put a party upon inquiry. 55 Am J1st V & P § 697. The substitute in law for actual notice, being based upon a… … Ballentine's law dictionary
Function Analysis System Technique — Pour une définition du mot « fast », voir l’article fast du Wiktionnaire. Un diagramme FAST acronyme de Functional Analysis System Technique présente une traduction rigoureuse de chacune des fonctions de service en fonction(s)… … Wikipédia en Français
Computable function — Total recursive function redirects here. For other uses of the term recursive function , see Recursive function (disambiguation). Computable functions are the basic objects of study in computability theory. Computable functions are the formalized … Wikipedia