Перевод: с русского на английский

с английского на русский

correct program

  • 1 доказуемо корректная программа

    Programming: provably correct program (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям)

    Универсальный русско-английский словарь > доказуемо корректная программа

  • 2 правильная программа

    Универсальный русско-английский словарь > правильная программа

  • 3 правильная программа

    Русско-английский словарь по вычислительной технике и программированию > правильная программа

  • 4 разветвленная программа

    Разветвленная программа предназначена для преодоления индивидуальных различий в темпе усвоения учебного материала (по обучающей программе). В конце каждого предъявления учащийся обязан выбрать один из нескольких ответов. Правильный ответ приводит его к следующему этапу, а неправильный к повторению или дополнительному объяснению. Применение метода последовательного продвижения облегчается использованием обучающей машины или скремблированного учебника. — The branching program is designed to cope with individual differences in rate of learning. At the end of each presentation, the student is obliged to select one of a number of offered solutions to a set problem. A correct answer will lead him progressively on; a faulty answer leads to recapitulation or further explanation. The method of progression is facilitated by the use of a teaching machine or by the use of a scrambled textbook.

    Russian-English Dictionary "Microeconomics" > разветвленная программа

  • 5 совпадать

    Совпадать - to match, to come together (накладываться); to coincide, to be coincident, to be consistent, to check (о значениях величин); to register, to line up (об отверстиях)
     The WR2 value input to TAHS [a program] was varied until the speed versus time curve from the computer output matched the field test data.
     At lower stresses the data from material in the two conditions tend to come together.
     At x/d = 5 and 8, the data for the two cases are coincident.
     If these responses are consistent, it can be argued that the assumed or prescribed input shear stress, t(d), is correct.
     The stagnation zone appears to coincide with the leading edge.
     A simple expression can be derived for the vertical transport of a fluid particle which is initially coincident with the point source.
     Rotate the pump cover until the mounting holes line up with those in the pump body.
     Isotherm results check with previously published solutions.

    Русско-английский научно-технический словарь переводчика > совпадать

  • 6 СИНТАКСИС

    1. Общее правило для переводчика: русское существительное, стоящее в начале предложения в косвенном падеже, следует преобразовывать в подлежащее английского предложения, вне зависимости от его исходной синтаксической роли.
    Это наиболее надежный способ построить грамматически правильное и удобопонятное предложение на АЯ.
    a) Конструкция «в + Пр.п» в начале предложения:
    В выступлении президента было подчеркнуто, что никакие ссылки на терроризм не дают американской администрации права выступать в роли международного судьи. – The president’s statement emphasized that no reference to/invoking of terrorism can/give the American Administration the right to act as/ take the role of an international judge.
    ***
    В работе пресс-конференции принимали участие рабочие всех отраслей. – The work of the conference involved/included (замена глагола для достижения естественности звучания английского предложения) workers from all industries/fields/areas.
    ***
    Во французской ноте выражался решительный протест против этих действий. – The French note strongly/vigorously protested/contained a strong protest against such actions.
    ***
    Конструкция «в + Пр.п места» часто используется для ссылок на документ:
    В принятой вчера резолюции… - The resolution adopted/passed yesterday…
    В этом докладе много материалов на данную тему. – This report contains a lot of materials on this subject.
    В этих листках зло писали о порядках на фабрике. – These leaflets harshly criticized the system at the factory.
    @ в результате
    Можно опускать, трансформируя косвенный падеж в подлежащее (см. СИНТАКСИС)
    В результате войны погибло много людей. – The war killed/claimed the lives of a lot of people.
    В результате забастовки заводы были закрыты. – The strike closed down the factories.
    @ в печати
    Переводится посредством трансформации (косвенный падеж -> подлежащее) + (пассив -> актив) см. СИНТАКСИС
    6 июля в афганской печати был опубликован закон о политических партиях. – On July 6 the Afghan press published the law on political parties.
    В международной прессе сообщалось… - The international press reported… @
    б) Конструкция «на + Пр.п.»
    На встрече договорились… - The meeting reached an agreement…
    На рисунке хорошо видны детали. – The picture gives a good view of these details.
    в) Конструкция «о + Пр.п»
    Об этом говорилось уже много раз. – This has been discussed/referred to/addressed/spoken about/spoken to/raised/dealt with many times.
    г) Преобразование косвенного падежа в подлежащее с заменой активного глагола на пассивный:
    О конструктивной роли, которую могли бы сыграть средства массовой информации, следует помнить. – The constructive role which the media could play should be recalled.
    О причинах нынешней напряженности мы уже имели возможность сказать на заседаниях этого комитета. – The reasons for the present tension have already been addressed/are a subject we have already addressed at meetings of this committee.
    д) Перевод предложений, начинающихся со слов в Вин.п.:
    i)используется глагол to be (глагол «широкой семантики» - «бытийный глагол»).
    Крайне опасный характер приобретает теперь терроризм. Extremely dangerous now is terrorism/Of particular danger now is terrorism.
    ii) используются слова that, what или something вместе с «бытийным глаголом»:
    Бесспорными являются тяжелые последствия усилий ЮАР в этой области для безопасности соседних государств. – What is unquestionable/Something which is unquestionable is the serious consequences of South Africa’s steps in this area for the security of neighboring states.
    *** Вполне обоснованным представляется вывод, сделанный Генеральным Секретарем в его недавнем докладе о положении на Ближнем Востоке, о том, что… - What is fully justified is…/Something that would seem fully justified is the conclusion drawn by the Secretary General in his recent report that…
    е) Перевод дополнений в Дат.п.
    Этой тактике «превентивных» ударов должен быть положен конец. – This policy of preventive strikes must be stopped/halted.
    По адресу правления совета высказывалось одобрение. – The board of the council was commended
    ***
    Ему было холодно. – He was cold. Ей хотелось спать. – She felt sleepy.
    ж) Перевод местоимений в Вин.п.
    Их беспокоит, что он все еще не приехал. – They are worried that he hasn’t yet arrived.
    з) Конструкции «от + Род.п.»
    От пожара уцелело всего несколько домов. – The fire spared ( замена глагола) only a few houses.
    От понимания того, что является причиной сползания человечества к ядерной бездне, зависит и ответ на вопрос, можно ли остановить этот страшный процесс. – Understanding the reason for the mankind’s drift towards the nuclear abyss/nuclear disaster determines ( замена глагола) the answer to the question (as to) whether it is possible to stop this frightening/horrendous/fatal process.
    *** От того, сумеет ли мир избежать ядерной катастрофы, зависит решение всех насущных проблем и само существование человеческой цивилизации. – The world’s ability to nuclear catastrophe is decisive/is critical for the resolution of all other urgent/critical problems and for the very survival of civilization. Или Whether of not the world can avoid nuclear catastrophe – this will determine/this is what will determine the resolution…
    2. Перевод оборотов, начинающихся с причастий
    а) Начинать с причастия – напрашиваться на неприятности! Перевод можно начинать со слов that, what или something
    Выдвинутая в заявлении Президента от 15 февраля программа освобождения человечества кс 2000 году от ядерного и иного оружия массового уничтожения рассматривает выделение средств на цели социального и экономического развития в качестве важнейшей сопутствующей меры соглашений по ограничению вооружений и разоружению. –
    That/something which was proposed in the president’s statement of February 15, namely/I mean/that is the program for freeing/delivering mankind by the year 2000 from nuclear and other weapons of mass destruction provides for the allocation of resources for social and economic development as a most important collateral/additional/accompanying measure for arms limitation and disarmament agreements.
    б) Если вероятностное прогнозирование или здравый смысл подсказывают дальнейшее развитие мысли оратора, переводчик может заменить причастие именной конструкцией:
    Интересы этих народов требуют, чтобы были приняты безотлагательные меры по оздоровлению обстановки в регионе. – The interests of those peoples require the taking of immediate measures/measures that can be taken/to improve the situation in the region.
    *** В полной мере здесь должны быть использованы каналы Всемирной кампании за разоружение. – Full use should be made here of the opportunities provided by the World Disarmament Campaign.
    в) Возможно опустить причастие:
    Нам также представляется правильным принятый Комитетом подход к выработке общих рекомендаций, согласно которому акцент будет делаться на качестве разрабатываемых им рекомендаций. – We also believe that the Committee’s approach to drawing up recommendations is correct, namely that stress will be placed on the quality of the recommendations it produces/draws up/makes/comes up with.
    г) Сведение причастного оборота к прилагательному:
    Такой ориентированный на деловой результат подход даст возможность добиться необходимой активизации роли нашей комиссии. – Such a determined/vigorous/single-minded approach will provide/allow for the required/needed stepping up/intensification of the role of our committee.
    3. Перевод предложений, начинающихся с глаголов со значением необходимости и долженствования:
    there is
    Требует своего совершенствования процедура рассмотрения документов. – There is a need to improve the procedure for consideration of documents.
    Необходимо всемерно повышать… - There is a need to raise in every way/it is essential to raise in every way… Необходимо более тесное международное сотрудничество… - There is a need for closer international cooperation/What is needed is closer international cooperation…
    Особенно эффективно использовать there is, если переводчик не хочет вводить подлежащее или ставить глагол в пассивную форму:
    Надо это сделать. – There is a need to do it/
    C.f. We need to do it. (введено подлежащее) This should be done. (глагол в пассиве)
    4. Перевод безличных предложений.
    It is - в качестве тематического подлежащего
    Проводить тренировку лучше днем или вечером. – It is best to do these exercises in the afternoon or evening.
    Легче попасть в беду, чем выпутаться из нее. – It is easier to get into trouble than out of it.
    5. Если прямое дополнение, обозначающее предмет действия, превращается в английском предложении в подлежащее, то сказуемое выражается при помощи пассивной глагольной конструкции.
    Толкали его. – He was pushed.
    Первые шаги в этой области предприняла ЮНЕСКО. – The first steps in this field were taken by UNESCO.
    6. Неопределенно-личные конструкции переводятся пассивом.
    Говорят, он хороший актер. – He is said to be a good actor.
    Ее считают способной учительницей. – She is considered a good teacher. Нам внушали, что наша система лучше. – We have been led to believe/told that our system is better.
    Иногда глагол можно заменить существительным:
    Готовились праздновать Новый год. – Preparations were under way/begun for celebrating New Year.
    7. Безличная конструкция с инфинитивом переводится при помощи местоимения it или личного местоимения.
    Радоваться нам надо, а не плакать. – We should be happy and not cry/instead of crying.
    Не надо так говорить. – You must not say that/You shouldn’t talk like that. Что делать? – What should we/you do?
    8. Русское прилагательное, помещенное на начальное место в предложении с целью выделения, может потребовать при переводе на английский, помимо изменения порядка слов, использования усилительного слова или конструкции.
    Прекрасный ты испекла торт! – What a fantastic cake you baked!
    Видела я первые его шаги. – I saw him take his very first steps. Голодная я! – Am I starving!/Because I’m hungry, that’s why! Невероятная это была история. – It was an absolutely unbelievable story.
    9. Разделение в русском предложении словосочетания с целью логического выделения одного из слов может обусловить наличие в предложении двух интонационных центров.
    Замечательный у тебя муж! – What a wonderful husband you have!
    Очень сильно девочка ушиблась вчера. – She really got badly bruised yesterday. Триста ты мне должен долларов, дорогой! – That’s tree hundred you owe me, kiddo!
    10. Интонационное выделение слова, стоящего в непривычной для себя начальной позиции, показывает, что именно оно особенно важно для говорящего. Такой инвертированный порядок слов характерен для вопросительных предложений в разговорном стиле.
    Он к вам приходит когда? – When is it he’s coming to see you?
    А говорит он ей что? – So what is he telling her?
    ***
    Ваня, мне кажется, не пришел. ( интонационное выделение имени собственного) – I don’t think Vanya came.

    Словарь переводчика-синхрониста (русско-английский) > СИНТАКСИС

  • 7 СИНТАКСИС

    1. Общее правило для переводчика: русское существительное, стоящее в начале предложения в косвенном падеже, следует преобразовывать в подлежащее английского предложения, вне зависимости от его исходной синтаксической роли.
    Это наиболее надежный способ построить грамматически правильное и удобопонятное предложение на АЯ.
    a) Конструкция «в + Пр.п» в начале предложения:
    В выступлении президента было подчеркнуто, что никакие ссылки на терроризм не дают американской администрации права выступать в роли международного судьи. – The president’s statement emphasized that no reference to/invoking of terrorism can/give the American Administration the right to act as/ take the role of an international judge.
    ***
    В работе пресс-конференции принимали участие рабочие всех отраслей. – The work of the conference involved/included (замена глагола для достижения естественности звучания английского предложения) workers from all industries/fields/areas.
    ***
    Во французской ноте выражался решительный протест против этих действий. – The French note strongly/vigorously protested/contained a strong protest against such actions.
    ***
    Конструкция «в + Пр.п места» часто используется для ссылок на документ:
    В принятой вчера резолюции… - The resolution adopted/passed yesterday…
    В этом докладе много материалов на данную тему. – This report contains a lot of materials on this subject.
    В этих листках зло писали о порядках на фабрике. – These leaflets harshly criticized the system at the factory.
    - в печати
    б) Конструкция «на + Пр.п.»
    На встрече договорились… - The meeting reached an agreement…
    На рисунке хорошо видны детали. – The picture gives a good view of these details.
    в) Конструкция «о + Пр.п»
    Об этом говорилось уже много раз. – This has been discussed/referred to/addressed/spoken about/spoken to/raised/dealt with many times.
    г) Преобразование косвенного падежа в подлежащее с заменой активного глагола на пассивный:
    О конструктивной роли, которую могли бы сыграть средства массовой информации, следует помнить. – The constructive role which the media could play should be recalled.
    О причинах нынешней напряженности мы уже имели возможность сказать на заседаниях этого комитета. – The reasons for the present tension have already been addressed/are a subject we have already addressed at meetings of this committee.
    д) Перевод предложений, начинающихся со слов в Вин.п.:
    i)используется глагол to be (глагол «широкой семантики» - «бытийный глагол»).
    Крайне опасный характер приобретает теперь терроризм. Extremely dangerous now is terrorism/Of particular danger now is terrorism.
    ii) используются слова that, what или something вместе с «бытийным глаголом»:
    Бесспорными являются тяжелые последствия усилий ЮАР в этой области для безопасности соседних государств. – What is unquestionable/Something which is unquestionable is the serious consequences of South Africa’s steps in this area for the security of neighboring states.
    *** Вполне обоснованным представляется вывод, сделанный Генеральным Секретарем в его недавнем докладе о положении на Ближнем Востоке, о том, что… - What is fully justified is…/Something that would seem fully justified is the conclusion drawn by the Secretary General in his recent report that…
    е) Перевод дополнений в Дат.п.
    Этой тактике «превентивных» ударов должен быть положен конец. – This policy of preventive strikes must be stopped/halted.
    По адресу правления совета высказывалось одобрение. – The board of the council was commended
    ***
    Ему было холодно. – He was cold. Ей хотелось спать. – She felt sleepy.
    ж) Перевод местоимений в Вин.п.
    Их беспокоит, что он все еще не приехал. – They are worried that he hasn’t yet arrived.
    з) Конструкции «от + Род.п.»
    От пожара уцелело всего несколько домов. – The fire spared ( замена глагола) only a few houses.
    От понимания того, что является причиной сползания человечества к ядерной бездне, зависит и ответ на вопрос, можно ли остановить этот страшный процесс. – Understanding the reason for the mankind’s drift towards the nuclear abyss/nuclear disaster determines ( замена глагола) the answer to the question (as to) whether it is possible to stop this frightening/horrendous/fatal process.
    *** От того, сумеет ли мир избежать ядерной катастрофы, зависит решение всех насущных проблем и само существование человеческой цивилизации. – The world’s ability to nuclear catastrophe is decisive/is critical for the resolution of all other urgent/critical problems and for the very survival of civilization. Или Whether of not the world can avoid nuclear catastrophe – this will determine/this is what will determine the resolution…
    2. Перевод оборотов, начинающихся с причастий
    а) Начинать с причастия – напрашиваться на неприятности! Перевод можно начинать со слов that, what или something
    Выдвинутая в заявлении Президента от 15 февраля программа освобождения человечества кс 2000 году от ядерного и иного оружия массового уничтожения рассматривает выделение средств на цели социального и экономического развития в качестве важнейшей сопутствующей меры соглашений по ограничению вооружений и разоружению. –
    That/something which was proposed in the president’s statement of February 15, namely/I mean/that is the program for freeing/delivering mankind by the year 2000 from nuclear and other weapons of mass destruction provides for the allocation of resources for social and economic development as a most important collateral/additional/accompanying measure for arms limitation and disarmament agreements.
    б) Если вероятностное прогнозирование или здравый смысл подсказывают дальнейшее развитие мысли оратора, переводчик может заменить причастие именной конструкцией:
    Интересы этих народов требуют, чтобы были приняты безотлагательные меры по оздоровлению обстановки в регионе. – The interests of those peoples require the taking of immediate measures/measures that can be taken/to improve the situation in the region.
    *** В полной мере здесь должны быть использованы каналы Всемирной кампании за разоружение. – Full use should be made here of the opportunities provided by the World Disarmament Campaign.
    в) Возможно опустить причастие:
    Нам также представляется правильным принятый Комитетом подход к выработке общих рекомендаций, согласно которому акцент будет делаться на качестве разрабатываемых им рекомендаций. – We also believe that the Committee’s approach to drawing up recommendations is correct, namely that stress will be placed on the quality of the recommendations it produces/draws up/makes/comes up with.
    г) Сведение причастного оборота к прилагательному:
    Такой ориентированный на деловой результат подход даст возможность добиться необходимой активизации роли нашей комиссии. – Such a determined/vigorous/single-minded approach will provide/allow for the required/needed stepping up/intensification of the role of our committee.
    3. Перевод предложений, начинающихся с глаголов со значением необходимости и долженствования:
    there is
    Требует своего совершенствования процедура рассмотрения документов. – There is a need to improve the procedure for consideration of documents.
    Необходимо всемерно повышать… - There is a need to raise in every way/it is essential to raise in every way… Необходимо более тесное международное сотрудничество… - There is a need for closer international cooperation/What is needed is closer international cooperation…
    Особенно эффективно использовать there is, если переводчик не хочет вводить подлежащее или ставить глагол в пассивную форму:
    Надо это сделать. – There is a need to do it/
    C.f. We need to do it. (введено подлежащее) This should be done. (глагол в пассиве)
    4. Перевод безличных предложений.
    It is - в качестве тематического подлежащего
    Проводить тренировку лучше днем или вечером. – It is best to do these exercises in the afternoon or evening.
    Легче попасть в беду, чем выпутаться из нее. – It is easier to get into trouble than out of it.
    5. Если прямое дополнение, обозначающее предмет действия, превращается в английском предложении в подлежащее, то сказуемое выражается при помощи пассивной глагольной конструкции.
    Толкали его. – He was pushed.
    Первые шаги в этой области предприняла ЮНЕСКО. – The first steps in this field were taken by UNESCO.
    6. Неопределенно-личные конструкции переводятся пассивом.
    Говорят, он хороший актер. – He is said to be a good actor.
    Ее считают способной учительницей. – She is considered a good teacher. Нам внушали, что наша система лучше. – We have been led to believe/told that our system is better.
    Иногда глагол можно заменить существительным:
    Готовились праздновать Новый год. – Preparations were under way/begun for celebrating New Year.
    7. Безличная конструкция с инфинитивом переводится при помощи местоимения it или личного местоимения.
    Радоваться нам надо, а не плакать. – We should be happy and not cry/instead of crying.
    Не надо так говорить. – You must not say that/You shouldn’t talk like that. Что делать? – What should we/you do?
    8. Русское прилагательное, помещенное на начальное место в предложении с целью выделения, может потребовать при переводе на английский, помимо изменения порядка слов, использования усилительного слова или конструкции.
    Прекрасный ты испекла торт! – What a fantastic cake you baked!
    Видела я первые его шаги. – I saw him take his very first steps. Голодная я! – Am I starving!/Because I’m hungry, that’s why! Невероятная это была история. – It was an absolutely unbelievable story.
    9. Разделение в русском предложении словосочетания с целью логического выделения одного из слов может обусловить наличие в предложении двух интонационных центров.
    Замечательный у тебя муж! – What a wonderful husband you have!
    Очень сильно девочка ушиблась вчера. – She really got badly bruised yesterday. Триста ты мне должен долларов, дорогой! – That’s tree hundred you owe me, kiddo!
    10. Интонационное выделение слова, стоящего в непривычной для себя начальной позиции, показывает, что именно оно особенно важно для говорящего. Такой инвертированный порядок слов характерен для вопросительных предложений в разговорном стиле.
    Он к вам приходит когда? – When is it he’s coming to see you?
    А говорит он ей что? – So what is he telling her?
    ***
    Ваня, мне кажется, не пришел. ( интонационное выделение имени собственного) – I don’t think Vanya came.

    Русско-английский словарь переводчика-синхрониста > СИНТАКСИС

  • 8 ликвидировать

    несов. и сов. (вн.)
    1) ( устранять) do away (with), eliminate (d), end (d); ( демонтировать) dismantle (d)

    ликвиди́ровать недоста́тки (в пр.) — correct drawbacks (in), remove defects (in)

    ликвиди́ровать нищету́ — fight / eradicate poverty

    ликвиди́ровать отстава́ние (от) — catch up (with)

    ликвиди́ровать оши́бки в програ́мме информ. — debug a program

    ликвиди́ровать пятно́ — remove a stain

    ликвиди́ровать разры́в — bridge a gap (тж. перен.)

    2) ( уничтожать) destroy (d), kill (d), terminate (d); (животных, насекомых) exterminate (d)
    3) эк. ( предприятие) liquidate (d); ( договор) terminate (d)

    ликвиди́ровать задо́лженность — liquidate / repay a debt

    Новый большой русско-английский словарь > ликвидировать

См. также в других словарях:

  • Program-associated data — (PAD) or Program Service Data (PSD) is a concept related to broadcasting which consists of a number of different fields or streams which are displayed on many HD Radio satellite radio receivers in order to describe the program being transmitted,… …   Wikipedia

  • Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct …   Wikipedia

  • Program optimization — For algorithms to solve other optimization problems, see Optimization (mathematics). In computer science, program optimization or software optimization is the process of modifying a software system to make some aspect of it work more efficiently… …   Wikipedia

  • Program counter — The program counter, or shorter PC (also called the instruction pointer, part of the instruction sequencer in some computers) is a register in a computer processor which indicates where the computer is in its instruction sequence. Depending on… …   Wikipedia

  • Weasel program — Hamlet: Do you see yonder cloud that s almost in shape of a camel? Polonius: By the mass, and tis like a camel, indeed. Hamlet: Methinks it is like a weasel. The weasel program, Dawkins weasel, or the Dawkins weasel is a thought experiment and a… …   Wikipedia

  • Mathematically Correct — is a website created by educators, parents, mathematicians, and scientists who were concerned about the direction of reform mathematics curricula based on NCTM standards. Created in 1997, it was a frequently cited website in the so called Math… …   Wikipedia

  • Congressional response to the NSA warrantless surveillance program — Congressional inquiries and investigations Three days after news broke about the Terrorist Surveillance Program, a bipartisan group of Senators Democrats Dianne Feinstein of California, Carl Levin of Michigan, Ron Wyden of Oregon and Republicans… …   Wikipedia

  • Type-in program — NOTOC A type in program, or just type in, is a computer program listing printed in a computer magazine or book, meant to be typed in by the reader in order to run the program on a computer. Very common in the early home computer era of the late… …   Wikipedia

  • Interactive Mathematics Program (IMP) — The Interactive Mathematics Program (IMP) is a four year, problem based mathematics curriculum for high schools, designed to meet the needs of both college bound and non college bound students. It was one of several curricula funded by the… …   Wikipedia

  • Motor program — A motor program is an abstract representation of movement that centrally organizes and controls the many degrees of freedom involved in performing an action (Schmidt and Lee, 2005 p. 182). Signals transmitted through efferent and afferent… …   Wikipedia

  • Nuclear program of Iran — See also: Iran and weapons of mass destruction Nuclear program of Iran …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»