-
1 оператор контроля
Русско-английский политехнический словарь > оператор контроля
-
2 оператор контроля
Русско-английский большой базовый словарь > оператор контроля
-
3 оператор контроля
Русско-английский словарь по информационным технологиям > оператор контроля
-
4 оператор контроля
1) Computers: assertion operator2) Engineering: assert statement3) Information technology: assert statement (в языке Ада), assertion, assertion statement -
5 оператор подтверждения отсутствия ошибок
Programming: assert statement, assertionУниверсальный русско-английский словарь > оператор подтверждения отсутствия ошибок
-
6 оператор контроля
(в языках C, C++, Ада) assert statementРусско-английский словарь по вычислительной технике и программированию > оператор контроля
-
7 утверждать
state, assert, affirm, predicate, approve, argue, maintain• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• В действительности можно утверждать, что... - In fact it can be asserted that...• В первую очередь мы утверждаем, что... - We shall first give a statement of...• Гипотеза Римана утверждает, что... - Riemann's hypothesis states that...• Гипотеза Смита утверждает, что... - The Smith conjecture states that...• Гипотеза утверждает, что... - The hypotheses holds that...• Далее мы утверждаем, что... - Next we assert that...• Данный принцип утверждает, что... - This principle states that...• Другими словами, можно было бы утверждать, что... - In other words, it could be argued that...• Иногда говорят, что... - It is sometimes said that...• Иногда утверждали, что... - It has been argued on occasion that...• Иногда утверждают, что... - It is sometimes argued that...• Как мы утверждали в самом начале,... - As we stated at the outset,...• Мы снова утверждаем, что... - Again we argue that...; We argue, in the same way as before, that...• По-видимому есть основания утверждать, что... - It seems reasonable to say that...• Следовательно, мы можем достоверно утверждать, что... - We can therefore speak without ambiguity of...• Теперь мы утверждаем, что... - We now assert that...• Ученые утверждают, что... - The scientists argue that...• Хорошо известная теорема из математического анализа утверждает, что... - A well-known theorem of analysis states that...• Это важный результат. Он утверждает, что... - This is an important result. It says that...• Это уравнение просто утверждает, что... - This equation simply states that... -
8 заявить
1) General subject: announce, assert, claim, declare, make a declaration, make a statement, outspeak, profess, pronounce, state, inform, say2) American: allow3) Law: file a complaint5) leg.N.P. submit -
9 заявить о себе
General subject: make a name (for oneself), make a statement, assert oneself -
10 заявлять
1) General subject: allege (обыкн. голословно), announce, assert, claim, contend, declare, enounce, make a statement, outtell, predicate, profess, profess (во всеуслышание), pronounce, purport, state, enter a protest, lodge a protest, make a protest, raise a protest3) History: bid4) Mathematics: declare (если нет полной уверенности в правильности чего-л.)5) Law: apply, argue, avouch, avouchment, lay (в ходе процесса), lodge (прошение, заявку, жалобу, возражение, протест), maintain, plead (в суде), plead the baby act, prefer (протест, требование и т. д.), protest, represent, return, say, submit, swear, testify, vouch6) Patents: deposit -
11 сделать заявление
1) General subject: make a declaration, make a statement, move2) Mathematics: assert3) Law: utter a declaration, make application -
12 сказать
(= говорить) say, tell, assert• Безусловно, это вовсе не то же самое, что сказать, что... - Of course this is not to say that...• В любом случае, возможно, было бы честным сказать, что... - In any case, it is probably fair to say that...• В отличие от этого, мы не всегда можем сказать, что... - In contrast, we cannot always say that...• В связи с (его/ее) важностью молено сказать несколько слов относительно... - In view of its importance, a few words may be said here about...• В таком случае естественно сказать, что... - In this case it is natural to say that...• В упрощенной форме можно было бы сказать, что... - In a simplified way one may say that...• В целом, мы не можем ничего сказать более о... - In general nothing more can be said about...• Вместо этого мы обязаны сказать, что... - Instead, we must say that...• Возможно, это не будет слишком сильным сказать, что... - Perhaps it is not putting the matter too strongly to say that...• Временно не принимая во внимание это усложнение, мы можем сказать, что... - Disregarding this complication for the moment, we may say that...• Все, что необходимо здесь сказать, это что... - All that need be said now is that...• Достаточно сказать, что... - Suffice it to say that...• Другим способом сказать то же самое является... - Another way of expressing this is...• Имеется один мало заметный момент, о котором здесь необходимо сказать. - There is a subtle point that should be mentioned here.• Используя более общие понятия, мы можем сказать, что... - In more general terms, we may say that...• Итак, мы можем сказать, что... - Thus we may say that...• Можно без преувеличения сказать... - It is hardly to much to say...; It can be said without exaggeration...• Можно с полным правом сказать, что... - It is valid to say that...• Можно с уверенностью сказать, что... - It can be said with confidence that...; We can state with assurance that...; It is safe to say...• Можно сказать с достаточной уверенностью, что... - We can say with reasonable confidence that...; It is reasonably safe to suggest that...• Мы мало сказали о... - We have said little about...• Мы можем сказать это же в другой форме:... - Another way of saying this is...• Мы не хотим этим сказать, что... - That is not to say that...• Невозможно определенно сказать, что... - It is impossible to state conclusively that...• Невозможно сказать, когда... - There is no way of telling when...• Необходимо сказать с самого начала, что... - It should be said from the outset that...• Обратное не является справедливым: ничего нельзя сказать относительно... - The converse is not true: nothing can be said about...• Однако мы могли бы грубо сказать, что... - But we may say roughly that...• Однако следует сказать, что... - However, it should be said that...• Однако это легче сказать, чем сделать. - But this is easier said than done.• Однако это самое большее, что можно сказать в общем. - This is the most that can be said in general however.• Относительно этого у нас будет больше что сказать под заголовком... - We shall have more to say on this point later under the heading of...• Подводя итоги, мы могли бы сказать, что... - То summarize these results, we may say that...• Следует честно сказать, что... - In fairness it ought to be said that...• Таким образом, мы можем грубо сказать, что.., - Thus we can say roughly that...• Таким образом, невозможно заранее сказать, действительно ли... - Thus, it is not possible to say in advance whether...• Теперь уже мы не можем сказать, что... - We can no longer say that...• То же самое может быть сказано для... - The same may be said for...• То же самое может быть сказано относительно... - The same things can be said about...• То же самое можно сказать еще следующим образом:... - Another way of putting it is that...• Уместно сказать несколько слов относительно... - A few words concerning (the...) may be in order.• Формализуя эту концепцию, мы скажем, что... - Formalizing this concept, we say that...• Это другой способ сказать, что... - This is another way of saying that...• Это не то же самое, что сказать, что... - This is not the same as saying that... -
13 формулировать(ся)
(= сформулировать) formulate, word, lay down, state• В этой главе формулируются основные положения... - This chapter provides an outline of...• Данный результат можно сформулировать в несколько более простой форме следующим образом. - This result can be written in a slightly simpler form as follows.• Данный результат принадлежит Гауссу. Давайте сформулируем его как теорему. - This result is due to Gauss. Let us formulate it as a theorem.• Для удобства сформулируем здесь данную теорему. - We state this theorem here for convenience.• Задача формулируется следующим образом. - The problem is specified as follows.• Мы можем сформулировать (= извлечь) два важных заключения. - We may draw two important conclusions.• Мы можем сформулировать этот результат в виде теоремы. - We can state the result as a theorem.• Прежде чем сформулировать больше примеров, давайте... - Before presenting more examples, let us...• Прежде чем сформулировать эту теорему... - Before quoting the theorem, we present a revised definition of...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Сформулируем это требование более точно. - We state this requirement more precisely as follows.• Так же просто эти идеи могут быть сформулированы (и) для... - These ideas can be formulated just as easily for...• Таким образом, мы можем сформулировать общее правило, согласно которому... - Thus we may assert as a general rule that...• Теперь мы можем сформулировать и доказать... - We are now in a position to state and prove...• Теперь мы можем сформулировать следующий результат. - We are now in a position to state the following result.• Теперь мы сформулируем более общее утверждение... - We now give a more general statement of...• Теперь мы сформулируем это более формально. - We now express this more formally.• Тот лее самый результат может быть сформулирован в другой форме. - The same result can be put in a different form.• Чтобы сформулировать более общую задачу, мы... - То formulate the more general problem, we...• Чтобы сформулировать эту концепцию, мы начинаем (с)... - То obtain this concept, we begin with...Русско-английский словарь научного общения > формулировать(ся)
-
14 противоречия
Английское contradiction в переводе сильно песню не испортит, но все же надо иметь в виду, что это существительное воспринимается прежде всего как производное от глагола to contradict, а его смысловая структура такова (по American Heritage Dictionary): 1. to assert the opposite of. 2. to deny the statement of и только как третье to be contrary or inconsistent with.Противоречия внутри администрации — лучше не contradictions differences/tensions/dissension in/within the administration.
Идеологические противоречия - здесь может подойти discord. Cр.: the philosophical discord that is becoming increasingly obvious in the current Bush administration (New York Times).
Расовые, национальные и конфессиональные противоречия углубляются во всем мире –- Racial, interethnic and interfaith conflicts/tensions are on the rise throughout the world.
-
15 заявлять
claim глагол:
См. также в других словарях:
assert — 1. noun /əˈsɜːt,əˈsɝt/ an assert statement; a section of source code which tests whether an expected condition is true. 2. verb /əˈsɜːt,əˈsɝt/ a) To declare with assurance or plainly and strongly; to state positively. he would often assert his… … Wiktionary
assert — 1 Assert, declare, profess, affirm, aver, protest, avouch, avow, predicate, warrant agree in meaning to state positively usually either in anticipation of denial or objection or in the face of it. Assert implies absence of proof: it usually… … New Dictionary of Synonyms
assert — [ə sʉrt′] vt. [< L assertus, pp. of asserere, to join to, claim < ad , to + serere, join: see SERIES] 1. to state positively; declare; affirm 2. to maintain or defend (rights, claims, etc.) assert oneself to insist on one s rights, or on… … English World dictionary
assert — [[t]əsɜ͟ː(r)t[/t]] asserts, asserting, asserted 1) VERB If someone asserts a fact or belief, they state it firmly. [FORMAL] [V that] Mr. Helm plans to assert that the bill violates the First Amendment... [V n] The defendants, who continue to… … English dictionary
assert — transitive verb Etymology: Latin assertus, past participle of asserere, from ad + serere to join more at series Date: circa 1604 1. to state or declare positively and often forcefully or aggressively 2. a. to … New Collegiate Dictionary
Statement (programming) — In computer programming a statement can be thought of as the smallest standalone element of an imperative programming language. A program is formed by a sequence of one or more statements. A statement will have internal components (eg,… … Wikipedia
Signing statement (United States) — A signing statement is a written pronouncement issued by the President of the United States upon the signing of a bill into law. There is an ongoing controversy concerning the extensive use of signing statements by President George W. Bush to… … Wikipedia
make a statement — I verb affirm, allege, argue, assert positively, asseverate, attest, authenticate, aver, avouch, avow, bear, certify, claim, confirm, contend, converse, declare, explain, express, formulate, maintain, present, proclaim, profess, pronounce,… … Law dictionary
Promela — (Process or Protocol Meta Language) is a verification modeling language. The language allows for the dynamic creation of concurrent processes to model, for example, distributed systems. In PROMELA models, communication via message channels can be … Wikipedia
Miranda warning — The Miranda warning (also referred to as Miranda rights) is a warning that is required to be given by police in the United States to criminal suspects in police custody (or in a custodial interrogation) before they are interrogated to inform them … Wikipedia
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia