-
81 integrating by substitution
1. интегрирование подстановкой2. интегрирующий подстановкойThe English-Russian dictionary general scientific > integrating by substitution
-
82 rule
[ru:l]appropriation rule правило выделения ассигнований rules of the game правила игры; rules of decorum правила приличия, правила этикета; as a rule как правило, обычно; by rule по (установленным) правилам as a rule как правило basic rule основное правило break a rule нарушать правило rules of the game правила игры; rules of decorum правила приличия, правила этикета; as a rule как правило, обычно; by rule по (установленным) правилам capital requirement rule правило оценки инвестиций в основной и оборотный капитал choice-of-law rule правило выбора правовых норм column rule полигр. строкоразрядная линейка common rule постановление суда, принятое без ходатайства стороны compositional inference rule вчт. композиционное правило вывода connecting factor rule правило коллизионной привязки empirical rule эмпирическое правило estimation rule вчт. правило оценивания exemption rule правило предоставления льгот first loss rule правило первых убытков first-in-first-out rule вчт. принцип обслуживания в порядке поступления gag rule жесткий регламент gag rule политика затыкания рта general rule общая норма general rule общее правило golden rule золотое правило банковского бизнеса (кредиты и депозиты должны балансироваться по срокам) hard and fast rule твердое правило; точный критерий; international rules in force действующие нормы международного права home rule автономия home rule (H. R.) ист. гомруль home rule самоуправление, автономия home rule самоуправление to make it a rule взять за правило; I make it a rule to get up early я обычно рано встаю inference rule вчт. правило вывода infringe a rule не соблюдать правило hard and fast rule твердое правило; точный критерий; international rules in force действующие нормы международного права rule правило; принцип; норма; образец; it is a rule with us у нас такое правило joint rule общее правило last-in-first-out rule вчт. обслуживание в обратном порядке legal rule законное правило to make it a rule взять за правило; I make it a rule to get up early я обычно рано встаю standing rule постоянно действующие правила; to make rules устанавливать правила nonpreemptive rule вчт. правило обслуживания без прерывания omnibus rule мор.страх. правило, объединяющее различные требования optimal decision rule правило принятия оптимальных решений optional rule необязательное правило perpetuity rule непрерывное правопреемство priority rule вчт. правило назначения приоритетов pro rata rule правило пропорциональности pro rata rule принцип пропорциональности production rule вчт. правило вывода provisional rule временная норма provisional rule временное правило queue-selection rule вчт. правило выбора очереди random rule вчт. правило случайного выбора resolution rule вчт. правило резолюции restrictive practices rule принцип ограничительной торговой практики restrictive rule ограничительная норма rewrite rule вчт. правило подстановки rule власть rule господство rule господствовать rule действовать rule контролировать rule полигр. линейка; шпон rule (масштабная) линейка; наугольник; масштаб rule линовать, графить rule норма rule норма права rule постановление, решение суда или судьи; rule nisi см. nisi rule постановление, предписание, приказ rule постановление rule постановлять (that); устанавливать правило rule постановлять rule правило; принцип; норма; образец; it is a rule with us у нас такое правило rule правило rule править rule правление, господство, власть rule правление, власть; владычество, господство; the rule of the people власть народа; the rule of force власть силы rule правление rule предписание rule разрешать дело rule руководить rule стоять на определенном уровне (о ценах); rule out исключать rule стоять на уровне rule управлять, править, властвовать; руководить; господствовать rule управлять rule устав (общества, ордена) rule устанавливать rule устанавливать порядок судебного производства rule устанавливать правило rule устанавливать правовую норму rule based system вчт. продкукционная система rule for borrowing правило получения займа rule постановление, решение суда или судьи; rule nisi см. nisi rule of apportionment правило распределения rule of caveat emptor правило "качество на риске покупателя" rule of dating правило датировки rule of entry правило бухгалтерской проводки rule правление, власть; владычество, господство; the rule of the people власть народа; the rule of force власть силы rule of imputed rent value правило условно начисленной арендной стоимости rule of law власть закона rule of law господство права rule of law законность rule of law норма права, правовая норма rule of law норма права rule of law правопорядок rule of law торжество права rule of negligence принцип преступной небрежности rule of notice правило уведомления rule of precedent норма прецедента rule правление, власть; владычество, господство; the rule of the people власть народа; the rule of force власть силы rule of the road правила (уличного) движения rule of the road мор. правила расхождения судов; rule of three мат. тройное правило rule of the road мор. правила расхождения судов; rule of three мат. тройное правило rule of thumb практический способ, метод (в отличие от научного) rule of thumb приближенный подсчет rule of transition принцип перехода rule стоять на определенном уровне (о ценах); rule out исключать rule out исключать rules of the game правила игры; rules of decorum правила приличия, правила этикета; as a rule как правило, обычно; by rule по (установленным) правилам rules of the game правила игры; rules of decorum правила приличия, правила этикета; as a rule как правило, обычно; by rule по (установленным) правилам scope rules вчт. правила видимости slide rule = sliding rule slide rule счетная логарифмическая линейка slide rule = sliding rule sliding rule логарифмическая линейка slip rule правило-листовка special rule специальное правило standing rule постоянно действующие правила; to make rules устанавливать правила statutory rule установленное правило tax rule принцип налогообложения taxation rule принцип налогообложения transformation rule вчт. правило трансформации transitional rule временно действующее правило venue rule правило территориальной подсудности visibility rule вчт. правило видимости work rules правила распорядка на предприятии -
83 left recursive rule
Вычислительная техника: леворекурсивное правило (подстановки), леворекурсивное правило подстановки -
84 right recursive rule
Вычислительная техника: праворекурсивное правило (подстановки), праворекурсивное правило подстановки -
85 rough-and-ready rule
1. правило быстрых приближенных расчетов; правило прикидкиone-year rule — «правило одного года»
2. правило прикидкиletter-into-sound rule — правило соответствия "буква-звук"
-
86 integrating by substitution
1. интегрирование подстановкой2. интегрирующий подстановкойEnglish-Russian big polytechnic dictionary > integrating by substitution
-
87 production rule
1. порождающее правило; продукция2. правило выводаletter-into-sound rule — правило соответствия "буква-звук"
-
88 laying down the rule
1. формулирование правилаletter-into-sound rule — правило соответствия "буква-звук"
2. формулирующий правилоEnglish-Russian big polytechnic dictionary > laying down the rule
-
89 ground rule
1. спорт. основные правила игрыletter-into-sound rule — правило соответствия "буква-звук"
2. основные правила; принципы, основной модус -
90 production
prəˈdʌkʃən сущ.
1) производство, получение;
изготовление;
добыча;
выработка to decrease, roll back production ≈ уменьшить объемы производства to increase, speed up, step up production ≈ увеличить объемы производства That model won't go into production before late
1990. ≈ Эта модель будет запущена в производство не ранее конца 1990 года. coal production ≈ добыча угля oil production ≈ добыча нефти steel production ≈ производство стали production workers ≈ рабочие (в отличие от служащих) Syn: manufacture, making
2) продукция;
изделия We needed to increase the volume of production. ≈ Нам необходимо увеличить объем продукции. Syn: output, produce
3) производительность, продуктивность, эффективность;
объем выработки production standard ≈ норма выработки Syn: productivity, output
4) а) постановка( пьесы, кинокартины) For this production she has learned the role in Spanish. ≈ Для этого спектакля она выучила роль на испанском языке. б) художественное произведение, произведение искусства в) ведение телевизионной передачи;
выпуск телевизионных программ
5) предъявление( документа и т. п.) on production of one's pass ≈ по предъявлении пропуска
6) физ. образование, генерация, генерирование;
рождение (частиц)
7) биол. продуцирование These proteins stimulate the production of blood cells. ≈ Эти белки стимулируют продуцирование кровяных клеток.
8) вчт. правило вывода;
правило продукции;
правило подстановки производство, изготовление;
выработка;
добыча - mass *, * in bulk массовое производство изготовление продукции партиями производственный счет эксплуатация - * of coal добыча угля - * of textiles выработка текстильных изделий производственный процесс технология - relations of * (политэкономия) производственные отношения организация производственного процесса технологическое проектирование - * planning производственное планирование - * line поточная линия;
технологическая линия единица продукции производственная единица - * plane серийный самолет - to be in * действовать( о предприятии) ;
работать - the new car is now in * начато серийное производство автомобиля новой модели производительность, выработка;
добыча - weekly * недельная производительность - * rate производительность;
норма выработки продукция, продукт, изделие - the newest * of the factories новейшая продукция заводов постановка (пьесы, фильма) - a new * of "Hamlet" новая постановка "Гамлета" начальник производственного отдела (киностудии) директор кинокартины - * script постановочный киносценарий - * still фотография рабочего момента (съемки кинофильма) произведение( литературы, искусства) предъявление (билета) - on * of one's pass по предъявлении пропуска проведение (линии) (физическое) образование, генерация, генерирование;
рождение (частиц) (биология) продуцирование (юридическое) предъявление в суде документа (компьютерное) продукция (компьютерное) правило вывода, порождающее правило agricultural ~ сельскохозяйственное производство annual ~ годовой объем производства batch ~ серийное производство bulk ~ массовое производство daily ~ дневная выработка daily ~ дневная производительность excess ~ перепроизводство full-scale ~ серийное производство household ~ домашнее производство (товары и услуги, произведенные и потребленные в домашнем хозяйстве, без использования рыночных каналов) housing ~ жилищное строительство industrial ~ промышленное производство intermittent ~ выпуск продукции с перерывами job ~ изготовление продукции по заказам job ~ мелкосерийное производство large-scale ~ крупносерийное производство large-scale ~ массовое производство large-scale ~ серийное производство line ~ поточное производство line ~ размещение оборудования для поточного производства long-run ~ массовое производство monthly ~ месячная выработка monthly ~ месячная производительность municipal ~ муниципальное производство national ~ отечественное производство niche ~ продукция для незанятого рынка товаров oil ~ добыча нефти one-off ~ разовое производство own ~ собственное производство petty ~ мелкое производство potential ~ производственный потенциал primary ~ основное производство production выработка ~ добыча ~ изготовление ~ предъявление, представление( документа, доказательства и т.д.) ~ предъявление документа ~ продукция, изделия ~ продукция;
изделия ~ продукция ~ (художественное) произведение;
постановка (пьесы, кинокартины) ~ производительность, выработка, добыча ~ производительность;
выработка, добыча ~ производительность ~ производственный ~ производство, изготовление ~ производство;
изготовление;
production on a commercial scale производство в промышленном масштабе ~ производство ~ attr. производственный;
production standard норма выработки;
production workers рабочие (в отличие от служащих) ~ before court обращение в суд ~ for inspection предъявление для осмотра ~ for stock изготовление продукции на склад ~ in court обращение в суд ~ of evidence предъявление доказательств ~ of evidence предъявление улики ~ of evidence at alternative court показания свидетеля в альтернативном суде ~ of witness before court показания свидетеля в суде ~ производство;
изготовление;
production on a commercial scale производство в промышленном масштабе ~ attr. производственный;
production standard норма выработки;
production workers рабочие (в отличие от служащих) ~ attr. производственный;
production standard норма выработки;
production workers рабочие (в отличие от служащих) profitable ~ рентабельное производство quantity ~ поточно-массовое производство record ~ рекордный объем продукции scale ~ крупномасштабное производство scale ~ массовое производство serial ~ серийное производство series ~ серийное производство single piece ~ единичное производство single piece ~ индивидуальное производство single piece ~ штучное производство stock ~ создание запасов surplus ~ избыточное производство wholesale ~ массовое производство wholesale ~ производство для оптовой продажи wholesome ~ экологически чистое производствоБольшой англо-русский и русско-английский словарь > production
-
91 allophonic rule
аллофоническое правило; правило соединения аллофоновletter-into-sound rule — правило соответствия "буква-звук"
-
92 left recursive rule
one-year rule — «правило одного года»
-
93 right recursive rule
-
94 context-free rule
letter-into-sound rule — правило соответствия "буква-звук"
-
95 decision rule
letter-into-sound rule — правило соответствия "буква-звук"
-
96 empty rule
letter-into-sound rule — правило соответствия "буква-звук"
-
97 chain rule
letter-into-sound rule — правило соответствия "буква-звук"
-
98 content rule
letter-into-sound rule — правило соответствия "буква-звук"
-
99 fixed rule
letter-into-sound rule — правило соответствия "буква-звук"
-
100 lay down the rule
letter-into-sound rule — правило соответствия "буква-звук"
English-Russian big polytechnic dictionary > lay down the rule
См. также в других словарях:
правило подстановки — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN rewrite rulesubstitution rule … Справочник технического переводчика
правило подстановки — pakeitimo taisyklė statusas T sritis automatika atitikmenys: angl. rewriting rule; substitution rule vok. Substitutionsregel, f rus. правило подстановки, n pranc. règle de substitution, f … Automatikos terminų žodynas
ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… … Философская энциклопедия
ПОДСТАНОВКИ ПРАВИЛО — одно из вывода правил логико математических исчислений. Под названием П. п. могут фигурировать различные виды правил. Напр., в высказываний исчислении это П. п. формулы вместо всех вхождений пропозициональной переменной. Для предикатное… … Математическая энциклопедия
ПОДСТАНОВКИ, ПРАВИЛО — В лингвистике – правило, которое определяет, как одна лингвистическая форма должна быть изменена, чтобы получилась грамматическая фраза или предложение. Например, NP (Art N – это правило вывода, согласно которому фраза с существительным (NP)… … Толковый словарь по психологии
ПРОИЗВОДНОЕ ПРАВИЛО — вывода для данного исчисления вывода правило, заключение к рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода является П. п., поскольку в этом исчислении имеет место выводимость из посылок:… … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
логика комбинаторная — (от лат. combinare соединять, сочетать) одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках классической математической логики принимаются без дальнейшего изучения (напр., понятия переменная , функция ,… … Словарь терминов логики
ЛОГИКА КОМБИНАТОРНАЯ — одно из направлений логики, занимающихся ее основаниями, т.е. такими осн. понятиями и методами, к рые при построении формальных логич. систем или исчислений предполагаются обычно не нуждающимися в пояснениях (содержательно понятными) и не… … Философская энциклопедия