-
1 конструктивный метод
Русско-английский синонимический словарь > конструктивный метод
-
2 konstruktivna metoda
-
3 конструктивный метод
constructive method мат.Русско-английский научно-технический словарь Масловского > конструктивный метод
-
4 конструктивный метод
Mathematics: constructive methodУниверсальный русско-английский словарь > конструктивный метод
-
5 творческий метод
Engineering: constructive method -
6 конструктивный метод
психоан. constructive methodRussian-english psychology dictionary > конструктивный метод
-
7 подход
(к рассмотрению, изучению чего-л.) approach, attitude; (к решению вопроса) handling; slant амер. разг.беспристрастный / непредвзятый подход — unbias(s)ed approach
благоразумный / здравомыслящий подход — judicious approach
волевой / волюнтаристский подход — voluntarist(ic) approach
деловой подход — business-line / practical / realistic approach / attitude
деляческий подход — narrow-minded / utilitarian approach
комплексный подход — integrated / package / comprehensive approach (to)
новый подход — fresh approach, re-examination
вырабатывать новые подходы — to devise / to work out fresh approaches
искать новый подход (к проблеме и т.п.) — to re-examine (smth.)
осторожный / сдержанный подход — low-key approach
поэтапный подход — stage-by-stage / step-by-step approach
творческий подход — creative / constructive approach
укоренившийся подход — deep-seated / deep-rooted attitude
подход, основанный на принципе первоочерёдности — priority approach
подход, предусматривающий решение проблемы по частям — piecemeal approach
подход, приемлемый для обеих сторон — approach acceptable to both sides
-
8 В том смысле, что
The proof of the theorem is constructive in that it actually suggests an algorithm for computing the factorizationThis method has the advantage over capacitance methods in that it does not require differentiation to obtain...The computer is only automatic in the sense that it can deal with explicit instructionsРусско-английский словарь по прикладной математике и механике > В том смысле, что
-
9 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
См. также в других словарях:
Constructive trusts in English law — are a form of trust created by the courts primarily where the defendant has dealt with property in an unconscionable manner , but also in other circumstances; the property will be held in constructive trust for the harmed party, obliging the… … 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 theology — is the re definition of what has historically been known as systematic theology. The reason for this reevaluation stems from the idea that, in systematic theology, the theologian attempts to develop a coherent theory running through the various… … Wikipedia
Constructive research — is perhaps the most common computer science research method. This type of approach demands a form of validation that doesn’t need to be quite as empirically based as in other types of research like exploratory research. Nevertheless the… … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
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
Constructive Receipt — A tax term mandating that a taxpayer is liable for income, which has not been physically received, but has been credited to the taxpayer s account or otherwise becomes available for him or her to draw upon in the future. Constructive receipt of… … Investment dictionary
constructive receipt of income — As applied to tax laws, is taxable income which is unqualifiedly subject to the demand of taxpayer on cash receipts and disbursements method of accounting, whether or not such income has actually been received in cash. Gounares Bros. & Co. v. U.… … Black's law dictionary
constructive receipt of income — As applied to tax laws, is taxable income which is unqualifiedly subject to the demand of taxpayer on cash receipts and disbursements method of accounting, whether or not such income has actually been received in cash. Gounares Bros. & Co. v. U.… … Black's law dictionary
constructive service of process — Service of process by publication, posting, mail, or any method of service other than personal. 42 Am J1st Proc § 57. The term is also applied in some jurisdictions to service by leaving a copy of the process at the usual place of abode of the… … Ballentine's law dictionary
Combs method — The Combs method is a method of writing fuzzy logic rules described by William E. Combs in 1997. It is designed to prevent combinatorial explosion in fuzzy logic rules. The Combs method takes advantage of the logical equality . Contents 1… … Wikipedia