-
61 rigorous
строгий; точный -
62 of
acknowledgement of receiptподтверждение приемаactual time of arrivalфактическое время прибытияaerodrome of callаэродром выхода на радиосвязьaerodrome of departureаэродром вылетаaerodrome of intended landingаэродром предполагаемой посадкиaerodrome of originаэродром припискиaircraft center - of - gravityцентровка воздушного суднаairport of departureаэропорт вылетаairport of destinationаэропорт назначенияairport of entryаэропорт прилетаallocation of dutiesраспределение обязанностейallocation of frequenciesраспределение частотallotment of frequenciesвыделение частотalternative means of communicationрезервные средства связиamount of controlsстепень использованияamount of feedbackстепень обратной связиamount of precipitationколичество осадковangle of allowanceугол упрежденияangle of approachугол захода на посадкуangle of approach lightугол набора высотыangle of ascentугол набора высотыangle of attackугол атакиangle of climbугол набора высотыangle of coverageугол действияangle of crabугол сносаangle of descentугол сниженияangle of deviationугол отклоненияangle of dipугол магнитного склоненияangle of diveугол пикированияangle of downwashугол скоса потока внизangle of elevationугол местаangle of exitугол сходаangle of glideугол планированияangle of incidenceугол атакиangle of indraftугол входа воздушной массыangle of lagугол отставанияangle of landingпосадочный уголangle of pitchугол тангажаangle of rollугол кренаangle - of - sideslip transmitterдатчик угла скольженияangle of sightугол прицеливанияangle of slopeугол наклона глиссадыangle of stallугол сваливанияangle of turnугол разворотаangle of upwashугол скоса потока вверхangle of visibilityугол обзораangle of yawугол рысканияantimeridian of Greenwichмеридиан, противоположный Гринвичскомуapparent drift of the gyroкажущийся уход гироскопаapplication of tariffsприменение тарифовapproach rate of descentскорость снижения при заходе на посадкуarc of a pathдуга траекторииarc of equal bearingsдуга равных азимутовarea of coverageзона действияarea of coverage of the forecastsрайон обеспечения прогнозамиarea of occurenceрайон происшествияarea of responsibilityзона ответственностиarrest the development of the stallпрепятствовать сваливаниюassessment of costsустановление размеров расходовassignment of dutiesраспределение обязанностейAssociation of European AirlinesАссоциация европейских авиакомпанийAssociation of South Pacific AirlinesАссоциация авиакомпаний южной части Тихого океанаassumption of control messageприем экипажем диспетчерского указанияat a speed ofна скоростиat the end ofв конце циклаat the end of segmentв конце участка(полета) at the end of strokeв конце хода(поршня) at the start of cycleв начале циклаat the start of segmentв начале участка(полета) aviation-to-aviation type of interferenceпомехи от авиационных объектовavoidance of collisionsпредотвращение столкновенийavoidance of hazardous conditionsпредупреждение опасных условий полетаaxial of bankпродольная осьaxis of precessionось прецессии гироскопаaxis of rollпродольная осьaxis of rotationось вращенияaxis of yawвертикальная осьbackward movement of the stickвзятие ручки на себяbe out of trimбыть разбалансированнымbest rate of climbнаибольшая скороподъемностьbias out of viewвыходить из поля зренияbill of entryтаможенная декларацияbill of ladingгрузовая накладнаяblanketing of controlsзатенение рулейbody of compass cardдиск картушки компасаboundary of the areaграница зоныBureau of Administration and ServicesАдминистративно-хозяйственное управлениеcamber of a profileкривизна профиляcare of passengersобслуживание пассажировcarriage of passengersперевозка пассажировcarry out a circuit of the aerodromeвыполнять круг полета над аэродромомcause of aircraft troubleпричина неисправности воздушного суднаcenter of air pressureцентр аэродинамического давленияcenter of depressionцентр низкого давленияcenter of forceцентр приложения силыcenter of gravityцентр тяжестиcenter of massцентр массcenter of pressureцентр давленияCentral Agency of Air ServiceГлавное агентство воздушных сообщенийcertificate of revaccinationсертификат ревакцинацииcertificate of safety for flightсвидетельство о допуске к полетамcertificate of vaccinationсертификат вакцинацииchoice of fieldвыбор посадочной площадкиclass of liftкласс посадкиclearance of goodsтаможенное разрешение на провозclearance of obstaclesбезопасная высота пролета препятствийclearance of the aircraftразрешение воздушному суднуcoefficient of heat transferкоэффициент теплопередачиcome clear of the groundотрываться от землиcomplex type of aircraftкомбинированный тип воздушного суднаcomposition of a crewсостав экипажаconcept of separationэшелонированиеconditions of carriageусловия перевозокcone of raysпучок лучейcongestion of informationнасыщенность информацииcontinuity of guidanceнепрерывность наведенияcontour of perceived noiseконтур воспринимаемого шумаcontrol of an investigationконтроль за ходом расследованияcorrelation of levelsприведение эшелонов в соответствиеcountry of arrivalстрана прилетаcountry of originстрана вылетаcourse of trainingкурс подготовкиcoverage of the chartкартографируемый районcurve of equal bearingsлиния равных азимутовdanger of collisionsопасность столкновенияdegree of accuracyстепень точностиdegree of freedomстепень свободыdegree of skillуровень квалификацииdegree of stabilityстепень устойчивостиdenial of carriageотказ в перевозкеDepartment of TransportationМинистерство транспортаderivation of operating dataрасчет эксплуатационных параметровdetermination of causeустановление причиныdetermine amount of the errorопределять величину девиацииdetermine the extent of damageопределять степень поврежденияdetermine the sign of deviationопределять знак девиацииdevelopment of the stallпроцесс сваливанияdirection of approachнаправление захода на посадкуdirection of rotationнаправление вращенияdirection of turnнаправление разворотаduration of noise effectпродолжительность воздействия шумаelevation of the stripпревышение летной полосыelevation setting of light unitsустановка углов возвышения глиссадных огнейeliminate the cause ofустранять причинуeliminate the source of dangerустранять источник опасности(для воздушного движения) end of runwayначало ВППenforce rules of the airобеспечивать соблюдение правил полетовen-route change of levelизменение эшелона на маршрутеerection of the gyroвосстановление гироскопаestimated position of aircraftрасчетное положение воздушного суднаestimated time of arrivalрасчетное время прибытияestimated time of departureрасчетное время вылетаestimated time of flightрасчетное время полетаeven use of fuelравномерная выработка топливаextension of ticket validityпродление срока годности билетаextent of damageстепень поврежденияfacilitate rapid clearance ofобеспечивать быстрое освобождениеfactor of safetyуровень безопасностиfiling of statistical dataпредставление статистических данныхfirst freedom of the airпервая степень свободы воздухаfirst type of occurenceпервый тип событияflow of air trafficпоток воздушного движенияfly under the supervision ofлетать под контролемfor reasons of safetyв целях безопасностиfreedom of actionсвобода действийfreedom of the airстепень свободы воздухаfrequency of operationsчастота полетовgathering of informationсбор информацииgeneral conditions of carriageосновные условия перевозкиGeneral Conference of Weights and MeasureГенеральная конференция по мерам и весамGeneral Department of International Air Services of AeroflotЦентральное управление международных воздушных сообщений гражданской авиацииget out of controlтерять управлениеgiven conditions of flightзаданные условия полетаgo out of controlстановиться неуправляемымgo out of the spinвыходить из штопораgrade of serviceкатегория обслуживанияgrade of the pilot licenceкласс пилотского свидетельстваgrading of runwayнивелирование ВППheight at start of retractionвысота начала уборкиhover at the height ofзависать на высотеidentification of signalsопознавание сигналовinconventional type of aircraftнестандартный тип воздушного суднаincrease a camber of the profileувеличивать кривизну профиляindication of a requestобозначение запросаin interests of safetyв интересах безопасностиinitial rate of climbначальная скороподъемностьinitial stage of go-aroundначальный участок ухода на второй кругinlet angle of attackугол атаки заборного устройстваintake angle of attackугол атаки воздухозаборникаintegrated system of airspace controlкомплексная система контроля воздушного пространстваinterception of civil aircraftперехват гражданского воздушного суднаInternational Co-ordinating Council of Aerospace Industries AssociationМеждународный координационный совет ассоциаций авиакосмической промышленностиInternational Council of Aircraft Owner and Pilot AssociationsМеждународный совет ассоциаций владельцев воздушных судов и пилотовInternational Federation of Air Line Pilots' AssociationsМеждународная федерация ассоциаций линейных пилотовInternational Federation of Air Traffic Controllers' AssociationsМеждународная федерация ассоциаций авиадиспетчеровInternational Relations Department of the Ministry of Civil AviationУправление внешних сношений Министерства гражданской авиацииinterpretation of the signalрасшифровка сигналаinterpretation of weather chartчтение метеорологической картыintersection of air routesпересечение воздушных трассin the case of delayв случае задержкиin the event of a mishapв случае происшествияin the event of malfunctionв случая отказаintroduction of the correctionsввод поправокkeep clear of rotor bladesостерегаться лопастей несущего винтаkeep clear of the aircraftдержаться на безопасном расстоянии от воздушного суднаkeep out of the wayне занимать трассуlayout of aerodrome markingsмаркировка аэродромаlayout of controlsрасположение органов управленияlessee of an aircraftарендатор воздушного суднаlevel of airworthinessуровень летной годностиlevel of safetyуровень безопасностиlevel of speech interferenceуровень помех речевой связиlimiting range of massпредел ограничения массыline of flightлиния полетаline of positionлиния положенияline of sightлиния визированияlocation of distressрайон бедствияloss of controlпотеря управленияloss of pressurizationразгерметизацияloss of strengthпотеря прочностиmagnetic orientation of runwayориентировка ВПП по магнитному меридиануmargin of errorдопуск на погрешностьmargin of liftзапас подъемной силыmargin of safetyдопустимый уровень безопасностиmargin of stabilityзапас устойчивостиmarking of pavementsмаркировка покрытияmean scale of the chartсредний масштаб картыmeans of communicationсредства связиmeans of identificationсредства опознаванияmeridian of Greenwichгринвичский меридианmethod of steepest descentспособ резкого сниженияmode of flightрежим полетаmoment of inertiaмомент инерцииmoment of momentumмомент количества движенияname-code of the routeкодирование названия маршрутаonset of windрезкий порыв ветраoperation of aircraftэксплуатация воздушного суднаout of ground effectвне зоны влияния землиout of serviceизъятый из эксплуатацииovershoot capture of the glide slopeпоздний захват глиссадного лучаperiod of rating currencyпериод действия квалифицированной отметкиpersonal property of passengersличные вещи пассажировpilot's field of viewполе зрения пилотаplane of rotationплоскость вращенияplane of symmetry of the aeroplaneплоскость симметрии самолетаpoint of arrivalпункт прилетаpoint of callпункт выхода на связьpoint of departureпункт вылетаpoint of destinationпункт назначенияpoint of discontinuityточка разрываpoint of intersectionточка пересеченияpoint of loadingпункт погрузкиpoint of no returnрубеж возвратаpoint of originпункт вылетаpoint of turn-aroundрубеж разворотаpoint of unloadingпункт выгрузкиportion of a flightотрезок полетаportion of a runwayучасток ВППprevention of collisionsпредотвращение столкновенийprimary element of structureосновной элемент конструкцииprohibition of landingзапрещение посадкиprolongation of the ratingпродление срока действия квалификационной отметкиpromotion of safetyобеспечение безопасности полетовproof of complianceдоказательство соответствияpropagation of soundраспространение шумаprotection of evidenceсохранение вещественных доказательствpull out of the spinвыводить из штопораpull the aircraft out ofбрать штурвал на себяradar transfer of controlпередача радиолокационного диспетчерского управленияradius of curvatureрадиус кривизныrange of coverageрадиус действияrange of motionдиапазон отклоненияrange of revolutionsдиапазон оборотовrange of visibilityдальность видимостиrange of visionдальность обзораrate of climbскороподъемностьrate of closureскорость сближенияrate of descentскорость сниженияrate of disagreementскорость рассогласованияrate of dutyскорость таможенной пошлиныrate of exchangeкурс обмена валютыrate of flaps motionскорость отклонения закрылковrate of growthтемп ростаrate of pitchскорость по тангажуrate of rollскорость кренаrate of sideslipскорость бокового скольженияrate of trimскорость балансировкиrate of turnскорость разворотаrate of yawскорость рысканияreception of telephonyприем телефонных сообщенийrecord of amendmentsлист учета поправокrecord of revisionsвнесение поправокregularity of operationsрегулярность полетовrelay of messagesпередача сообщенийrelease of controlпередача управленияremoval of aircraftудаление воздушного суднаremoval of limitationsотмена ограниченийreplacement of partsзамена деталейrepresentative of a carrierпредставитель перевозчикаreservation of a seatбронирование местаretirement of aircraftсписание воздушного суднаright - of - entryпреимущественное право входаroll out of the turnвыходить из разворотаrules of the airправила полетовsafe handling of an aircraftбезопасное управление воздушным судномsecond freedom of the airвторая степень свободы воздухаsecond type of occurenceвторой тип событияselection of engine modeвыбор режима работы двигателяsequence of fuel usageочередность выработки топлива(по группам баков) sequence of operationпоследовательность выполнения операцийshowers of rain and snowливневый дождь со снегомsimultaneous use of runwaysодновременная эксплуатация нескольких ВППsite of occurrenceместо происшествияslope of levelнаклон кривой уровня(шумов) source of dangerисточник опасностиStanding Committee of PerformanceПостоянный комитет по летно-техническим характеристикамstart of leveloffначало выравниванияstart of takeoffначало разбега при взлетеstate of aircraft manufactureгосударство - изготовитель воздушного суднаstate of dischargeстепень разряженности(аккумулятора) state of emergencyаварийное состояниеstate of occurenceгосударство места событияstate of transitгосударство транзитаsteadiness of approachустойчивость при заходе на посадкуsteady rate of climbустановившаяся скорость набора высотыstructure of frontsструктура атмосферных фронтовsubmission of a flight planпредставление плана полетаsystem of monitoring visual aidsсистема контроля за работой визуальных средств(на аэродроме) system of unitsсистема единиц(измерения) table of cruising levelsтаблица крейсерских эшелоновtable of intensity settingsтаблица регулировки интенсивностиtable of limitsтаблица ограниченийtable of toleranceтаблица допусковtake out of serviceснимать с эксплуатацииtarget level of safetyзаданный уровень безопасности полетовtemporary loss of controlвременная потеря управляемостиtermination of controlпрекращение диспетчерского обслуживанияtheory of flightтеория полетаtime of lagвремя запаздыванияtime of originвремя отправленияtitl of the gyroзавал гироскопаtop of climbконечный участок набора высотыtransfer of controlпередача диспетчерского управленияtransmission of telephonyпередача радиотелефонных сообщенийtransmit on frequency ofвести передачу на частотеtriangle of velocitiesтреугольник скоростейunder any kind of engine failureпри любом отказе двигателяuneven use of fuelнеравномерная выработка топливаunit of measurementединица измеренияvelocity of soundскорость звукаwall of overpressureфронт избыточного давленияwarn of dangerпредупреждать об опасностиwithin the frame ofв пределахworking language of ICAOрабочий язык ИКАОzone of intersectionзона пересеченияzone of silenceзона молчания -
63 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
См. также в других словарях:
Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… … Wikipedia
Method of exhaustion — This article is about the method of finding the area of a shape using limits. For the method of proof, see Proof by exhaustion. The method of exhaustion (methodus exhaustionibus, or méthode des anciens) is a method of finding the area of a shape… … Wikipedia
Proof-of-payment — or POP is an honor based fare collection approach used on many public transportation systems. Instead of checking each passenger as they enter a fare control zone, proof of payment requires that each passenger carry a ticket or pass proving that… … Wikipedia
Proof (rapper) — Proof Proof in August 2005 Background information Birth name DeShaun Dupree Holton Born October 2, 1973 … Wikipedia
Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… … Wikipedia
Proof (Rapper) — Proof im August 2005 Proof, auch bekannt als Derty Harry oder Oil Can Harry[1] (* 2. Oktober 1973 in Detroit, Michigan; † 11. April 2006 ebenda; eigentlicher Name DeShaun Holton) war ein US amerikanischer Rapper un … Deutsch Wikipedia
Proof of delivery — is a method to establish the fact that the recipient received the contents sent by the sender. When the sender sends multiple documents through the mail there is a possibility of some not reaching the intended recipient. Generally post offices… … Wikipedia
Method Man — Concierto de Method Man en 2007 Datos generales Nombre real Clifford Smith N … Wikipedia Español
proof by negation — method of proving a claim as true by proving all other claims as false … English contemporary dictionary
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Method of conditional probabilities — In mathematics and computer science, the probabilistic method is used to prove the existence of mathematical objects with desired combinatorial properties. The proofs are probabilistic they work by showing that a random object, chosen from some… … Wikipedia