-
121 построение
с.1) ( создание) construction; buildingпострое́ние моде́ли (рд.) — modelling (of), making a model (of)
2) (черчение - кривых, графиков, траекторий) plotting3) (строение, структура) structureпострое́ние ре́чи — speech structure
4) воен. formation5) обыкн. мн. ( система рассуждений)теорети́ческие построе́ния — theoretical scheme / construct sg
-
122 development
1) разработка; создание2) застройка3) проявление4) матем. развёртывание5) развитие; эволюция6) матем. разложение8) горн. освоение ( месторождения)• -
123 extension
1) надставка; насадка2) удлинитель3) выступающая часть, консольная часть4) пристройка5) продление; продолжение6) простирание; протяжённость; распространение7) растяжение; распрямление8) сварка установочная длина9) геод. сгущение сети опорных точек10) расширение; удлинение; добавление; увеличение11) экстенсия, разгибание•extension in space — матем. протяжённость в пространстве
extension by definition — матем. расширение с помощью определений
extension by adjunction — матем. расширение путём присоединения
-
124 formulation
-
125 solution
1) раствор2) растворение3) мат. решение- completely unstable solution - neutrally stable solution - particular solution - pure strategy solution - solution of equation - uniformly stable solutionsolution by inspection — решение подбором, решение проверкой
-
126 prediction
1. предсказание; прогноз2. расчет; прогнозирование3. <pl> результаты расчета; расчетные данные4. упреждениеacoustic predictionaerodynamic predictionaerodynamic predictionsaerodynamic coefficient predictionanalytical predictionbuffet predictionbuffet predictionsconservative predictioncrack growth predictiondamage predictiondurability predictionfailure predictionfatigue predictionfatigue life predictionflutter predictionflutter predictionsfrequency predictionhigh-angle-of-attack predictionslife predictionlift predictionloads predictionmodel predictionnoise predictionperformance predictionperformance predictionspilot rating predictionpostflight predictionsRayleigh-Ritz predictionsresponse predictionshort-time predictionsimulation predictionsimulation predictionssimulator predictionsSouthwell predictionstrain predictionstrength predictiontendency predictiontest predictiontheoretical predictionstheory predictionstrajectory predictionwind tunnel predictions -
127 Scott de Martinville, Edouard-Léon
SUBJECT AREA: Recording[br]b. 25 April 1817 Paris, Franced. 29 April 1879 Paris, France[br]French amateur phonetician, who developed a recorder for sound waves.[br]He was the descendant of a Scottish family who emigrated to France in 1688. He trained as a printer and later became a proof corrector in printing houses catering predominantly for scientific publishers. He became interested in shorthand systems and eventually turned his interest to making a permanent record of sounds in air. At the time it was already known (Young, Duhamel, Wertheim) to record vibrations of bodies. He made a theoretical study and deposited under sealed wrapper a note in the Académie des Sciences on 26 January 1857. He approached the scientific instrument maker Froment and was able to pay for the manufacture of one instrument due to support from the Société d'Encouragement à l'Industrie Nationale. This funding body obtained a positive report from the physicist Lissajous on 6 January 1858. A new model phonautograph was constructed in collaboration with the leading scientific instrument maker in Paris at the time, Rudolph Koenig, and a contract was signed in 1859. The instrument was a success, and Koenig published a collection of traces in 1864.Although the membrane was parallel to the rotating surface, a primitive lever system generated lateral movements of a bristle which scratched curves in a thin layer of lampblack on the rotating surface. The curves were not necessarily representative of the vibrations in the air. Scott did not imagine the need for reproducing a recorded sound; rather, his intention was to obtain a trace that would lend itself to mathematical analysis and visual recognition of sounds. Obviously the latter did not require the same degree of linearity as the former. When Scott learned that similar apparatus had been built independently in the USA, he requested that his sealed wrapper be opened on 15 July 1861 in order to prove his scientific priority. The contract with Koenig left Scott without influence over his instrument, and eventually he became convinced that everyone else, including Edison in the end, had stolen his invention. Towards the end of his life he became interested mainly in the history of printing, and he was involved in the publishing of a series of books about books.[br]Bibliography25 March 1857, amended 29 July 1859, French patent no. 31,470.Further ReadingP.Charbon, 1878, Scott de Martinville, Paris: Hifi Stereo, pp. 199–205 (a good biography produced at the time of the centenary of the Edison phonograph).V.J.Philips, 1987, Waveforms, Bristol: Adam Hilger, pp. 45–8 (provides a good account of the importance of his contributions to accurate measurements of temporal phenomena).GB-NBiographical history of technology > Scott de Martinville, Edouard-Léon
-
128 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
См. также в других словарях:
theoretical model — teorinis modelis statusas T sritis Kūno kultūra ir sportas apibrėžtis Modelis, kuris apima visumą žinių, paaiškinančių sportinio rengimo tam tikro aspekto reiškinius. atitikmenys: angl. theoretical model vok. theorisches Modell, n rus.… … Sporto terminų žodynas
model — mod‧el [ˈmɒdl ǁ ˈmɑːdl] noun 1. [countable] a particular type or design of a vehicle or machine: • the cheapest model in the Volkswagen range • Our photocopier is the latest model. see also brand1, make2 … Financial and business terms
Theoretical astronomy — Nucleosynthesis Stellar nucleosynthesis Big Bang nucleosynthesis Supernova nucleosynthesis Cosmic ray spallation … Wikipedia
theoretical — theo|ret|i|cal W3 [θıəˈretıkəl US ˌθi:ə ] adj also theo|ret|ic [θıəˈretık US ˌθi:ə ] 1.) relating to the study of ideas, especially scientific ideas, rather than with practical uses of the ideas or practical experience →↑theory, practical… … Dictionary of contemporary English
Theoretical production ecology — tries to quantatively study the growth of crops. The plant is treated as a kind of biological factory, which processes light, carbon dioxide, water and nutrients into harvestable parts.Main parameters kept into consideration are temperature,… … Wikipedia
Theoretical physics — employs mathematical models and abstractions of physics in an attempt to explain experimental data taken of the natural world. Its central core is mathematical physics 1, though other conceptual techniques are also used. The goal is to… … Wikipedia
Theoretical biology — is a field of academic study and research that involves the use of models and theories in biology. Many separate areas of biology fall under the concept of theoretical biology, according to the way they are studied. Some of these areas include:… … Wikipedia
Theoretical computer science — is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms, and semantics of programming languages. Although not… … Wikipedia
Theoretical ecology — Mathematical models developed in theoretical ecology predict complex food webs are less stable than simple webs.[1]:75–77[2]:64 … Wikipedia
Model (macroeconomics) — A model in macroeconomics is a logical, mathematical, and/or computational framework designed to describe the operation of a national or regional economy, and especially the dynamics of aggregate quantities such as the total amount of goods and… … Wikipedia
model — [[t]mɒ̱d(ə)l[/t]] ♦♦ models, modelling, modelled (in AM, use modeling, modeled) 1) N COUNT: oft N of n A model of an object is a physical representation that shows what it looks like or how it works. The model is often smaller than the object it… … English dictionary