Subject | English | Russian |
gen. | a mere assertion | голословное утверждение |
avia. | Airport Assertions Coordinating Council | Координационный совет ассоциаций аэропортов |
telecom. | alarm assertion | появление аварийного сигнала (oleg.vigodsky) |
progr. | assertion-based | на основе утверждений (ssn) |
progr. | assertion-based verification | верификация на основе утверждений (ssn) |
progr. | assertion box | вводящий блок |
IT | assertion box | вводящий блок (на блок-схеме программы) |
progr. | assertion box | ящик утверждения (ssn) |
progr. | assertion checker | программа подтверждения отсутствия ошибок (ssn) |
data.prot. | assertion checker | условный верификатор |
IT | assertion checker | ревизор утверждений (программная или аппаратная система) |
IT | assertion checker | блок проверки утверждений |
robot. | assertion checker | блок проверки утверждений (в СИИ) |
IT | assertion checker | блок контроля утверждений |
IT | assertion checker | блок проверки утверждения |
IT | assertion checker | верификатор условий |
comp. | assertion checker | программа верификации |
progr. | assertion checking | проверка отсутствия ошибок (ssn) |
progr. | assertion checking | проверка утверждений (ssn) |
microel. | assertion-driven breakpoint | точка прерывания, управляемая логическим выражением |
comp., MS | assertion failure | сбой проверочного утверждения (The inability of a condition to hold true at some particular point in a program. When a condition does not hold true, execution of the program is interrupted, and a dialog box or message may appear) |
math. | assertion i is a consequence of Lemma 3 | следствие Леммы 3 |
math. | assertion-level logic | логика высказываний (ssn) |
progr. | assertion library | библиотека проверки утверждений (для тестирования программного обеспечения; англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
progr. | assertion method | метод с утверждением (на этапе тестирования программы williamspublishing.com owant) |
law | assertion of a claim | заявление требования (Leonid Dzhepko) |
law | assertion of a right | правопритязание (Leonid Dzhepko) |
Makarov. | assertion of compromise | утверждение условий компромисса |
progr. | assertion of consequent | доказательство истинности основания методом обращения следствия (логическая ошибка ssn) |
Makarov. | assertion of goal | утверждение цели |
Makarov. | assertion of goal | подтверждение цели |
law | assertion of jurisdiction | осуществление юрисдикции (yo) |
gen. | assertion of ownership | притязание на право собственности (Igor Kondrashkin) |
law | assertion of right | правопритязание |
econ. | assertion of rights | отстаивание прав |
progr. | assertion operator | оператор подтверждения отсутствия ошибок (ssn) |
comp. | assertion operator | оператор контроля |
progr. | assertion provided by the user | утверждение, заданное пользователем (Microsoft Alex_Odeychuk) |
progr. | assertion set | множество фактов (ssn) |
progr. | assertion set as array | множество фактов как массив (ssn) |
progr. | assertion set as data structure | множество фактов как структура данных (ssn) |
progr. | assertion set as input-output | множество фактов как входные и выходные данные (ssn) |
math. | assertion sign | знак утверждения |
logic | assertion sign | знак логического вывода (ssn) |
math. | assertion sign | турникет (h) |
comp. | assertion sign | штопор |
comp. | assertion sign | турникет |
comp. | assertion sign | знак выводимости |
progr. | assertion statement | оператор утверждения (ssn) |
IT | assertion statement | оператор контроля |
progr. | assertion statement | оператор подтверждения отсутствия ошибок (ssn) |
law | assertion that | утверждение, что (Alex_Odeychuk) |
gen. | assertion training | выработка уверенности в себе |
gen. | assertion training | лечение от застенчивости |
progr. | assertions for correctness | утверждение в целях проверки корректности программного обеспечения (Alex_Odeychuk) |
rhetor. | assertions that feel true but have no basis in fact | утверждения, которые выглядят правдоподобно, но не основываются на фактах (New York Times Alex_Odeychuk) |
progr. | assertions to document programs | утверждения для документирования программ (ssn) |
gen. | assertions unjustified by facts | утверждения, не подкреплённые фактами |
audit. | at the assertion level | на уровне предпосылок (предпосылок подготовки финансовой бухгалтерской отчётности (в российских стандартах аудита Ellisa) |
progr. | attribute value assertion | проверка значения атрибута (ssn) |
math. | autodual assertion | автодуальное утверждение |
Gruzovik | bare assertion | голословное утверждение |
IT | base assertion | основное суждение |
IT | base assertion | исходное высказывание |
busin. | baseless assertion | необоснованное утверждение |
gen. | be emphatic in one's assertion | настойчиво утверждать |
gen. | be emphatic in one's assertion | настойчиво заявлять |
patents. | bring proof of an assertion | представить доказательство в подтверждение чего-либо |
patents. | bring proof of an assertion | представлять доказательство в подтверждение |
progr. | built-in assertion | встроенное утверждение (ssn) |
gen. | categoric assertions | категорические утверждения |
ling. | categorical assertion | категорическое утверждение |
gen. | categorical assertions | категорические утверждения |
ling. | cautious assertion | осторожное утверждение |
progr. | checking of assertion sets | контроль множеств фактов (ssn) |
ecol. | comparative assertion | сравнительное утверждение |
IT | concept of assertions | поддержка проверки утверждений (Alex_Odeychuk) |
progr. | concept of assertions | концепция утверждений (Alex_Odeychuk) |
progr. | concurrent assertion statement | параллельный оператор утверждения (ssn) |
progr. | conditional assertion | условное утверждение (ssn) |
math. | conditional assertion | условное суждение |
patents. | confutable assertion | опровержимое утверждение |
patents. | confutable assertion | опровергаемое утверждение |
patents. | confutable assertion | опровергаемое притязание |
law | contest an assertion | оспаривать утверждение (Alex_Odeychuk) |
logic | contested assertion | оспариваемое утверждение (Ivan Pisarev) |
logic | contested assertion | спорный довод (Ivan Pisarev) |
logic | contested assertion | спорное суждение (Ivan Pisarev) |
logic | contested assertion | спорное предположение (Ivan Pisarev) |
logic | contested assertion | спорное допущение (Ivan Pisarev) |
logic | contested assertion | спорное утверждение (Ivan Pisarev) |
Makarov. | contradictory assertions | противоречивые утверждения |
polit. | contrary to public assertions | что идёт вразрез с публичными заявлениями (by ... – кого-либо; Washington Post Alex_Odeychuk) |
polit. | contrary to public assertions | что шло вразрез с публичными заявлениями (by ... – кого-либо; Washington Post Alex_Odeychuk) |
patents. | corroborate an assertion | подтверждать заявление |
med. | Cross-Enterprise User Assertion | Контроль процесса авторизации пользователей (XUA Aleksandra007) |
logic | debatable assertion | спорное суждение (Ivan Pisarev) |
logic | debatable assertion | спорное предположение (Ivan Pisarev) |
logic | debatable assertion | спорное допущение (Ivan Pisarev) |
logic | debatable assertion | оспариваемое утверждение (Ivan Pisarev) |
logic | debatable assertion | спорный довод (Ivan Pisarev) |
patents. | debatable assertion | спорное утверждение |
logic | debatable assertion | спорное утверждение (Ivan Pisarev) |
patents. | debatable assertion | спорное притязание |
Makarov. | demolish assertions | разбить чьи-либо утверждения |
Makarov. | demolish assertions | разбивать чьи-либо утверждения |
gen. | deny an assertion | опровергнуть утверждение (Азери) |
patents. | dispute an assertion | оспаривать утверждение |
patents. | dispute an assertion | оспаривать притязание |
mil. | dispute assertions | оспорить утверждение |
mil. | dispute assertions | оспаривать утверждение |
logic | disputed assertion | оспариваемое утверждение (Ivan Pisarev) |
logic | disputed assertion | спорный довод (Ivan Pisarev) |
logic | disputed assertion | спорное суждение (Ivan Pisarev) |
logic | disputed assertion | спорное предположение (Ivan Pisarev) |
logic | disputed assertion | спорное допущение (Ivan Pisarev) |
logic | disputed assertion | спорное утверждение (Ivan Pisarev) |
mil. | disputing assertions | оспаривающий утверждение |
mil. | disputing assertions | оспаривание утверждения |
Gruzovik, relig. | dogmatic assertion | догма |
gen. | dogmatic assertion | догма |
Игорь Миг | dubious assertion at best | сомнительное, чтобы не сказать больше, утверждение |
Игорь Миг | dubious assertion at best | по меньшей мере сомнительное утверждение |
tech. | ensure patent assertion of an invention | обеспечивать патентную защиту изобретения |
math. | establish the assertion | доказать утверждение |
Makarov. | evidence to sustain an assertion | показания, подтверждающие какое-либо заявление |
Makarov. | evidence to sustain an assertion | факты, подтверждающие какое-либо заявление |
gen. | evidence to sustain an assertion | показания подтверждающие заявление |
math. | existential assertion | экзистенциальное суждение |
gen. | experience makes against this assertion | опыт опровергает это утверждение |
gen. | fact-free assertion | безосновательное утверждение (irip) |
formal | factual assertions | утверждения об имевших место фактах (about ... – относительно ... чего-либо // The Guardian, 2021 Alex_Odeychuk) |
progr. | failure assertion | с проверкой ошибок (e.g., failure assertion programming – программирование с проверкой ошибок Alex_Odeychuk) |
progr. | failure assertion programming | программирование с проверкой ошибок (ssn) |
law | failure to contest an assertion | отказ от оспаривания утверждения (Alex_Odeychuk) |
math. | false assertion | ложное утверждение |
rhetor. | fanciful assertion | причудливое утверждение (Alex_Odeychuk) |
IT | final assertion | конечное утверждение |
audit. | financial statements assertions | утверждения, на основе которых подготовлена финансовая отчётность |
progr. | finite failure assertion set | множество фактов финитно-неудачных вызовов (ssn) |
law | forcible assertion of private right | самоуправство |
law | forcible assertion of private right | насильственное правопритязание |
law | forcible assertion of right | самоуправство |
law | forcible assertion of right | насильственное правопритязание |
progr. | formal assertion | формальное высказывание (ssn) |
progr. | formal assertions about the typing of programs | формальные высказывания о типах в программах (ssn) |
IT | global assertion | глобальное утверждение (содержащееся среди описателей программы) |
progr. | grouped assertion | групповое утверждение (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
Makarov. | hardy assertion | опрометчивое утверждение |
for.pol., USA | have walked back the State Department's assertion | дезавуировать заявление Государственного департамента (that ... – о том, что ... cnn.com Alex_Odeychuk) |
Makarov. | he cannot discover any substantiation of this assertion | он не находит никакого обоснования этому утверждению |
Makarov. | he staked his reputation as a prophet on this assertion | он ставил на карту свою репутацию предсказателя, делая это заявление |
gen. | he was emphatic in his assertion that | он настойчиво утверждал, что |
Makarov. | her silence and lack of self-assertion | её молчаливость и отсутствие уверенности в себе |
Makarov. | his naked assertion | его голословное утверждение |
dipl. | however, I'm emphatic in my assertion that | тем не менее, я настойчиво утверждаю, что (bigmaxus) |
gen. | I cannot discover any substantiation of the assertion that | я не нахожу подтверждения заявлению о том, что |
gen. | I hesitate to make the flat assertion, but | не берусь утверждать, но (Света Сурмина) |
data.prot. | identity assertion | декларация идентификационных данных (uni-stuttgart.de Alex_Odeychuk) |
gen. | in proof of my assertion | в доказательство моего утверждения |
progr. | in such a Semantic Web of relational data and logical assertions, computer logic is in its element, and can do much more | в таком Семантическом Вебе связанной информации и логических суждений компьютерная логика является составляющим элементом и может сделать гораздо больше (ssn) |
busin. | incorrect assertion | ошибочное утверждение |
IT | inductive assertion | индуктивное утверждение |
IT | initial assertion | начальное утверждение |
IT | input assertion | начальное утверждение |
IT | intermediate assertion | промежуточное утверждение |
progr. | introduce assertion | введение утверждения (ssn) |
gen. | is a mere assertion | голословный (tfennell) |
Makarov. | it is vain to argue against assertions like these which can only be met by an equally positive denial of them | бесполезно спорить о подобных утверждениях, которым можно противопоставить только равное им по силе отрицание |
Makarov. | it would be hard to justify this particular assertion by an appeal to facts | будет сложно доказать это утверждение обращением к фактам |
gen. | it's a debatable assertion | это спорное утверждение (Taras) |
patents. | justification of an assertion | оправдание утверждения |
math. | law of assertion | закон утверждения |
IT | local assertion | локальное утверждение (содержащееся в теле программы) |
progr. | logical assertion | логическое высказывание (ssn) |
progr. | logical assertion | логическое суждение (ssn) |
progr. | logical assertions | логические высказывания (ssn) |
progr. | logical assertions | логические суждения (ssn) |
Makarov. | ludicrous assertion | смехотворное утверждение |
Makarov. | ludicrous assertion | абсурдное утверждение |
busin. | make an assertion | делать заявление |
psychol. | make an assertion | утверждать |
Makarov. | make an assertion | высказать утверждение |
progr. | make assertions about the class | позволять судить о классе (ssn) |
gen. | make broad assertions that are not based in fact | делать необоснованные обобщения (New York Times Alex_Odeychuk) |
rhetor. | make unfounded assertions that | делать беспочвенные заявления о том, что (Washington Post Alex_Odeychuk) |
gen. | mere assertion | голое утверждение (Andrey Truhachev) |
gen. | mere assertion | голословное утверждение |
AI. | model assertions | модельные утверждения (бизнес-правила, применяемые к прогнозам модели машинного обучения, которые исправляют недостатки в изученной логике модели Valeriy_Yatsenkov) |
lit. | Moss and de Borchgrave first grabbed national attention over two years ago with another Birchite type novel, The Spike. In that book, they indulged in McCarthyite fantasies, including assertions that the Us media have been secretly helping the Soviet Union. | Мосс и де Борчгрейв впервые привлекли к себе внимание всей страны два года назад, когда вышел другой их роман берчистского толка "Шип". В этой книге они пустились в маккартистские фантазии, пытаясь доказать, например, что американские средства массовой информации тайно подыгрывают Советскому Союзу. (Daily World, 1983) |
gen. | nail an assertion | доказать неверность известия, тем предотвратить его распространение |
gen. | nail an assertion | изобличить во лжи |
law | naked assertion | голословное утверждение |
econ. | national assertion | национальное самоутверждение (A.Rezvov) |
progr. | non-null assertion | подтверждение отсутствия пустого значения (Alex_Odeychuk) |
progr. | non-null assertion operator | оператор подтверждения отсутствия пустого значения (Alex_Odeychuk) |
progr. | not-null assertion operator | оператор проверки на непустое значение (kotlinlang.org Alex_Odeychuk) |
gen. | on what do you rest your assertion? | на чём основываете вы ваши уверения? |
law | out-of-court assertion | внесудебное заявление |
law | out-of-court assertion | внесудебное утверждение |
law | out-of-court assertion | утверждение |
IT | output assertion | выходное утверждение |
gen. | patent assertion entities | организации по защите патентов (PAEs – businesses that acquire patents from third parties and seek to generate revenue by asserting them against alleged infringers. LadaP) |
tech. | patent assertion of an invention | патентная защита изобретения |
patents. | patentee's assertion | защита прав патентообладателя |
patents. | patentee's assertion | защита прав патентовладельца |
progr. | post assertion | пост-условие (ssn) |
progr. | postcondition: assertion that pertains to a point immediately following, in the execution sequence, a specified portion of a program | постусловие: оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполнения (ISO/IEC 2382:2015 ssn) |
law | post-testamentary assertion | правопритязание, заявленное после составления завещания |
progr. | pre and post assertions | пред-и пост-условия (ssn) |
progr. | pre assertion | предусловие (ssn) |
math. | prime assertion | исходное утверждение |
math. | probability assertion | вероятностное суждение |
ling. | provisoed assertion | условное утверждение |
polit. | public assertions | публичные заверения (Washington Post Alex_Odeychuk) |
gen. | put no faith in smb.'s assertions | не верить чьим-л. утверждениям |
patents. | questionable assertion | утверждение, вызывающее сомнение |
logic | questionable assertion | спорный довод (Ivan Pisarev) |
logic | questionable assertion | оспариваемое утверждение (Ivan Pisarev) |
logic | questionable assertion | спорное допущение (Ivan Pisarev) |
logic | questionable assertion | спорное предположение (Ivan Pisarev) |
logic | questionable assertion | спорное суждение (Ivan Pisarev) |
logic | questionable assertion | спорное утверждение (Ivan Pisarev) |
gen. | questionable assertion | не внушающее доверия утверждение |
law | rebut assertion | опровергать утверждение (that Leonid Dzhepko) |
gen. | refute an assertion | опровергнуть утверждение (Азери) |
data.prot. | remote server's identity assertion | декларация идентификационных данных удалённого сервера (uni-stuttgart.de Alex_Odeychuk) |
data.prot. | security assertion | декларация безопасности (entrust.com Alex_Odeychuk) |
data.prot. | security assertion markup | разметка декларации безопасности (entrust.com Alex_Odeychuk) |
data.prot. | security assertion markup language | язык разметки декларации безопасности (entrust.com Alex_Odeychuk) |
comp., net. | Security Assertion Markup Language SAML | язык разметки, предусматривающий защиту данных (rfcmd.ru fountik) |
ed. | self-assertion | отстаивание себя |
gen. | self-assertion | защита своих требований |
adv. | self-assertion | отстаивание своего превосходства |
patents. | self-assertion | уверенность в себе |
adv. | self-assertion | отстаивание своих притязаний |
adv. | self-assertion | отстаивание своих требований |
adv. | self-assertion | отстаивание своих прав |
med. | self-assertion | самоутверждение |
Makarov. | self-assertion | настойчивое отстаивание своих прав |
Makarov. | self-assertion | настойчивое отстаивание своих притязаний |
Makarov. | self-assertion | настойчивое отстаивание своего превосходства |
gen. | self-assertion | самоуверенность |
gen. | self-assertion | самонадеянность |
gen. | self-assertion | напористость |
gen. | self-assertion | защита своих прав |
gen. | self-assertion | защита себя, своих прав и требований |
psychol. | self-assertion in authoritarian atmosphere | самоутверждение в авторитарной атмосфере |
psychol. | self-assertion in authoritarian atmosphere | самозащита в авторитарной атмосфере |
Makarov. | shatter someone's assertions | разбить чьи-либо утверждения |
Makarov. | shatter someone's assertions | разбивать чьи-либо утверждения |
progr. | specification and assertion language | язык SPECIAL (ssn) |
progr. | specification and assertion language | язык спецификаций и утверждений (ssn) |
progr. | static assertion | проверка во время компиляции (Alex_Odeychuk) |
math. | statistical assertion | статистическое утверждение |
math. | strong assertion | сильное утверждение |
ecol. | sweeping assertions | далеко идущие утверждения (translator911) |
math. | syntactic assertion | синтаксическое утверждение |
progr. | taking an assertion out of a loop | вынесение утверждения из цикла (ssn) |
progr. | test assertion | тестовое утверждение (williamspublishing.com owant) |
Test. | test runner and assertion library | библиотека выполнения тестов и проверки утверждений (Alex_Odeychuk) |
Test., softw. | test runner and assertion library | библиотека запуска тестов и проверки утверждений (Alex_Odeychuk) |
law | testimonial assertion | утверждение свидетеля при даче им показаний |
Makarov. | the statute does not seem to support the assertions for which it was cited | указ, на который сослались ради подкрепления утверждений, этих утверждений не подтверждает |
Makarov. | the statute does not seem to support the assertions for which it was cited | представляется, что процитированный закон не подкрепляет утверждений, ради которых на него ссылались |
Makarov. | there isn't a grain of truth in his assertion | в его утверждении нет ни крупицы правды |
math. | this assertion has no justification | данное утверждение ничем не оправдывается |
gen. | this assertion seems implausible | это утверждение звучит неправдоподобно (bigmaxus) |
Makarov. | this case undoubtedly sustains his assertion | это обстоятельство, безусловно, подтверждает его утверждение |
progr. | three kinds of assertions | утверждения трёх типов (ssn) |
progr. | Thus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner | Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
microel. | timing assertion | временное утверждение |
math. | true assertion | истинное суждение |
Makarov. | true assertion | истинное утверждение |
progr. | type assertion | утверждение типа (Alex_Odeychuk) |
progr. | type assertion | утверждение о типе (Alex_Odeychuk) |
mil. | unfounded assertion | необоснованное утверждение |
sec.sys. | unfounded assertion | беспочвенное утверждение (Washington Post Alex_Odeychuk) |
sec.sys. | unfounded assertion | беспочвенное заявление (Washington Post Alex_Odeychuk) |
gen. | unfounded assertion | безосновательное утверждение (Азери) |
econ. | unqualified assertion | безоговорочное утверждение (A.Rezvov) |
progr. | using assertions to document programs | использование утверждений для документирования программ (ssn) |
law | veracity of the assertion | достоверность утверждения (в суде trismegist) |
law | verification of the veracity of the assertion | проверка достоверности предположения (trismegist) |
dipl. | vindicate assertion | доказать справедливость своего утверждения |
math. | weak assertion | слабое утверждение |
progr. | weakened assertions | ослабленные утверждения (ssn) |
gen. | what would your assertion be against mine? | каково будет ваше возражение на моё высказывание? |
progr. | writing assertions | запись утверждений (ssn) |
progr. | writing assertions as program comments | запись утверждений в виде комментариев (ssn) |
progr. | zero-width assertion | утверждение нулевой длины (dimock) |