| Subject | English | Russian |
| gen. | All right, look, lady, If you do not get into that car without further incident, then I am happy to add resisting arrest to your rap sheet | Хорошо, слушайте, леди, или вы садитесь в машину без дальнейших препирательств, или я с удовольствием добавлю сопротивление аресту к списку ваших правонарушений (Taras) |
| progr. | condition part of an if-then rule | часть условия правила импликации (множество фактов или утверждений в части "если" правила импликации ("если-то") ssn) |
| progr. | However, if the initial choices are the same, and for each initial choice the subsequent behaviours are the same, then obviously the processes are identical | если же множества начального выбора оказываются равными и для каждой начальной альтернативы дальнейшее поведение процессов совпадает, то очевидно, что процессы тождественны (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
| math. | if a fraction is expressed in the form a/b in-line notation, then the slash "/" between a and b is called a solidus | черта в дроби |
| math. | if a point is equidistant to the sides of an angle then | если точка равноудалена от сторон угла, тогда (the point lies on the bisector of the angle; ...) |
| math. | if a point is equidistant to the sides of an angle then | если точка равноудалена от сторон угла, тогда (the point lies on the bisector of the angle) |
| IT | if A then B gate | вентиль В ИЛИ-НЕ А |
| IT | if A then B gate | вентиль функции "если А |
| IT | if A then B gate | схема функции "если А, то В" |
| IT | if A then B gate | вентиль функции "если А, то В" |
| IT | if A then B gate | схема В ИЛИ-НЕ А |
| IT | if A then B gate | то В" |
| IT | if A then NOT B gate | схема И-НЕ |
| IT | if A then NOT B gate | вентиль функции "если А, то НЕ В" |
| IT | if A then NOT B gate | схема функции "если А, то НЕ В" |
| IT | if A then NOT B gate | вентиль И-НЕ |
| progr. | if all the above conditions are met except that a thread at the same priority is ready to run, then this thread will give up CPU after its timeslice expires, and the other thread will be given a chance to run | если удовлетворены все вышеизложенные условия, за исключением того, что становится готов к работе другой поток с таким же самым приоритетом, то предыдущий поток освободит процессор после того, как истечёт выделенный ему квант времени – таким образом, другой поток будет иметь шанс на обслуживание (см. "Getting Started with QNX Neutrino 2. A Guide for Realtime Programmers" by Rob Krten 1996 ssn) |
| progr. | if all the above conditions are met except that a thread at the same priority is ready to run, then this thread will give up CPU after its timeslice expires, and the other thread will be given a chance to run | если удовлетворены все вышеизложенные условия, за исключением того, что становится готов к работе другой поток с таким же самым приоритетом, то предыдущий поток освободит процессор после того, как истечёт выделенный ему квант времени таким образом, другой поток будет иметь шанс на обслуживание (см. "Getting Started with QNX Neutrino 2. A Guide for Realtime Programmers" by Rob Krten 1996 ssn) |
| math. | if all the eigenvalues of a symmetric matrix are negative, then this matrix is said to be negative definite | отрицательно определённая матрица |
| math. | if all the eigenvalues of a symmetric matrix are positive, then this matrix is said to be positive definite | положительно определённая матрица |
| progr. | if alternative representation of programming language elements is available, then the display representation is generally user-selectable | если допускается альтернативное представление элементов языка программирования, то вывод на дисплей обычно осуществляется по выбору пользователя (см. IEC 61131-1 2003 ssn) |
| math. | if f z is analytic and free from zeros in A then | если функция f z является аналитической и не имеет нулей в А, то |
| gen. | if he doesn’t want to, then don’t try to persuade him | если он не хочет, то не уговаривайте его |
| gen. | if he said it then it must be true | если он это сказал, значит, это действительно так |
| scient. | if it is supposed that it is, then | если предполагается, что это есть ..., то тогда ... |
| proverb, context. | if it looks like a duck, swims like a duck, and quacks like a duck, then it probably is a duck | нет дыма без огня (подходит для некоторых ситуаций SirReal) |
| proverb, literal. | if it looks like a duck, swims like a duck, and quacks like a duck, then it probably is a duck | если нечто выглядит как утка, крякает как утка и плавает как утка, то, скорее всего, это и есть утка |
| gen. | if it's not French, what is it then? | если это не французский, что же это в таком случае? |
| saying. | if it's not one thing, then it's another | куда ни кинь-всюду клин (VLZ_58) |
| math. | if K is large enough then there exists | если K является достаточно большим, то |
| chess.term. | if 21 ... Kd4 22 Rf4+ e4 then 23 Qf5 and mates | если 21. ... Kpd4 22. Лf4+, то 23. Of5 с матом |
| gen. | if not me, then who else? | если не я, то кто (boggler) |
| gen. | if not one, then the other | не тот, как другой |
| gen. | if not ..., then at least | если не ..., то как минимум (if not better, then at least the same 4uzhoj) |
| progr. | if several tasks have a valid requirement, then the task with the highest priority will be executed | если несколько задач имеют одинаковые условия, тогда выполняется задача с наивысшим приоритетом (ssn) |
| gen. | if so, then do it your own way | когда так, делайте по-вашему |
| math. | if some material substance were placed between these poles, then the flux density would change | если бы ... то ... бы |
| quot.aph. | if that is so, then | если это так, то (Alex_Odeychuk) |
| gen. | if that's so, then I don't even want to now him | когда так, то я его знать не хочу |
| progr. | if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton | если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| progr. | if the assignment symbol followed by an expression is not present in a constant declaration, then the declaration declares a deferred constant | если в объявлении константы отсутствует символ присваивания и следующее за ним выражение, то такое объявление описывает неполную константу (см. IEEE Std. 1076-87. IEEE Standard VHDL. Language Reference Manual ssn) |
| math. | if the equation is satisfied then | если уравнение выполняется, то |
| math. | if the function f is a polynomial or a rational function then f is continouos wherever it is defined | повсюду, где она определёна |
| math. | if the function f is a polynomial or a rational function then f is continuous wherever it is defined | повсюду, где она определена |
| mech. | if the graph of fx fails to satisfy this condition at a point, then the derivative fails to exist | если график функции fx не удовлетворяет этому условию в некоторой точке, то производная не существует |
| math. | if the initial temperature T is prescribed then | если начальная температура Т задана, то |
| math. | if the matrix A is of order unity and positive definite, then | порядка единицы |
| math. | if the matrix is symmetric, then the work can further be reduced by one-half | наполовину (на половину) |
| quot.aph. | if the molehill won't come to Terrence, then Terrence will come to the molehill | если гора не идёт к Магомету, то Магомет идёт к горе (antonchyk) |
| quot.aph. | if the Mountain won't go to Mohammed, then Mohammed must come to the Mountain | если гора не идёт к Магомету, то Магомет идёт к горе (medium.com 4uzhoj) |
| math. | if the temperature sinks below the critical point then | если температура падает ниже критической точки, то |
| math. | if the temperature sinks below the critical point then | если температура падает ниже критической точки, то |
| math. | if the three angles of each triangle are equal, then these triangles are said to be similar | подобные треугольники |
| patents. | if the trademarks are found to be analogous then | если тождество знаков будет установлено |
| math. | if the value of f x gets larger and larger without bound as x approaches a, then: | если значение f x стремится к бесконечности при a стремящемся к нулю, то |
| telecom. | if then | импликация (oleg.vigodsky) |
| math. | if x is odd then | если, то |
| math. | if ... then | если ... , то и |
| automat. | IF THEN | ЕСЛИ ТОГДА (логическая схема) |
| math. | if x is odd then | если ... , то |
| scient. | if there is in fact, then it is associated with | если действительно существует ..., то оно связано с ... |
| gen. | if this is what is expected then | если это то, что ожидается, тогда (ssn) |
| gen. | if this is what is expected then | если это то, что нам нужно, тогда (ssn) |
| gen. | if x = a and y = a then x = y | если х = а и у = а, то х = у |
| gen. | if x = a and y = a then x = y | раз x = a и y = a, то x = y |
| gen. | if x = a and y = a then x = y | если x = a и y = a, то x = y |
| gen. | if x equals 5, then 5x equals 25 | если x равен 5, то 5x равны 25 |
| gen. | if you are tired then you'd better stay at home | если вы устали, лучше оставайтесь дома |
| gen. | if you broke the window then you must pay for it | если вы разбили окно, то вам и платить |
| gen. | if you can understand the me, then I can understand the you | если ты сможешь меня понять, я пойму тебя (Alex_Odeychuk) |
| progr. | if you need to connect a document that you don't have yet, you can create and insert it directly into the object's document survey, which then makes the connection | если необходимо связать документ, который вы ещё не имеете, можно создать и вставить его непосредственно в обзор документов объекта, тогда делающий соединение |
| Makarov. | if you're not careful, the police could yank you in on a small charge and then find out about the jewel robbery | если ты будешь вести себя неосторожно, полиция может задержать тебя по пустяковому обвинению, а затем докопаться до ограбления |
| el. | if-A-then-NOT-B | отрицание конъюнкции |
| el. | if-A-then-NOT-B | И НЕ (логическая операция) |
| Makarov. | if-A-then-NOT-B gate | логический элемент И НЕ |
| IT | IF-THEN | импликация (функция) |
| Makarov. | IF-THEN-ELSE | условный оператор: если ... , то ... , иначе |
| IT | if-then-else | условный оператор |
| progr. | IF-THEN-ELSE statement | оператор IF-THEN-ELSE (ssn) |
| progr. | if-then-else statements | операторы if-then-else (ssn) |
| progr. | IF-THEN-ELSE structure | управляющая структура программы с выбором (ssn) |
| progr. | IF-THEN-ELSE structure | управляющая структура программы с ветвлением (ssn) |
| IT | IF-THEN gate | схема функции "если – то" |
| IT | IF-THEN gate | вентиль функции "если – то" |
| automat. | if-then logic tree | логическое дерево на основе связки "если ..., то ... " |
| tech. | IF-THEN operation | операция импликации |
| progr. | IF-THEN parts | части IF-THEN (ssn) |
| progr. | if-then rule | правило "если, то" (ssn) |
| progr. | if-then rule | правило импликации (ssn) |
| automat. | if-then rules | правила поиска решений |
| progr. | if-then rules | правила "если, то" (ssn) |
| automat. | if-then statement | условный оператор |
| progr. | if/then statement | условный оператор (ssn) |
| progr. | left-hand side of an if-then rule | левая часть правила импликации (множество фактов или утверждений в части "если" правила импликации ("если-то") ssn) |
| proverb | listen, then, if you have ears! | имеющий уши да услышит! |
| progr. | mapping rules have IF-THEN parts | правила отображения имеют части IF-THEN (ssn) |
| progr. | nested if-then-else statement | вложенный оператор if-then-else (ssn) |
| progr. | nested if-then-else statements | вложенные операторы if-then-else (ssn) |
| progr. | nobody expects a bridge to be moved by ten meters after it has been built. Similarly, nobody should expect a software product to happily perform different tasks after it has been built. If this is what is expected then the software has not failed | Никто не ожидает, что мост будет перемещён на десять метров после того, как он был построен. Точно так же не следует ожидать, что программный продукт успешно выполнит различные задачи после того, как будет создан. Если это то, что нам нужно, тогда программное обеспечение создано удачно (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| IT | NOT-IF-THEN gate | схема отрицания импликации |
| IT | NOT-IF-THEN gate | вентиль отрицания импликации |
| IT | NOT-IF-THEN operation | операция отрицания импликации |
| IT | NOT-IF-THEN operation | операция исключения |
| progr. | premise part of an if-then rule | часть предпосылки правила импликации (множество фактов или утверждений в части "если" правила импликации ("если-то") ssn) |
| progr. | set of facts or statements in the "if" part of an if-then rule | множество фактов или утверждений в части "если" правила импликации (ssn) |
| progr. | synthesizing nested if-then-else statements | синтез вложенных операторов if-then-else (ssn) |
| progr. | the consequence is that if offending class dependencies i.e. class dependencies that introduce cycles can be eliminated or made harmless then the overall software architecture of layers and packages can be so much more stable | Последствие таково, что если неприятные зависимости классов то есть, зависимости классов, которые представляют циклы могут быть устранены или сделаны безопасными, то вся структура уровней и пакетов ПО может быть намного более устойчива (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| progr. | the number output by the counter at any given time will be directly related to the real time. If the counter had an infinite number of bits, then this number could be read and converted to find the time | Числовой выход счётчика в любое данное время будет непосредственно связан с реальным временем. Если бы счётчик имел неограниченное число бит, то это число можно было бы читать и преобразовывать, чтобы найти время (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |
| progr. | this implies that if a superset object is deleted destroyed, then its subset objects must also be deleted | Отсюда следует, что если объект супермножества удалён уничтожен, объекты его подмножеств также удаляются (см. Maciaszek, L.A.: Requirements Analysis and System Design, 3rd ed. 2007 ssn) |
