DictionaryForumContacts

   English
Terms containing assertion | all forms | exact matches only
SubjectEnglishRussian
gen.a mere assertionголословное утверждение
avia.Airport Assertions Coordinating CouncilКоординационный совет ассоциаций аэропортов
telecom.alarm assertionпоявление аварийного сигнала (oleg.vigodsky)
progr.assertion-basedна основе утверждений (ssn)
progr.assertion-based verificationверификация на основе утверждений (ssn)
ITassertion boxвводящий блок (на блок-схеме программы)
progr.assertion boxящик утверждения (ssn)
progr.assertion checkerпрограмма подтверждения отсутствия ошибок (ssn)
data.prot.assertion checkerусловный верификатор
ITassertion checkerревизор утверждений (программная или аппаратная система)
ITassertion checkerблок проверки утверждений
robot.assertion checkerблок проверки утверждений (в СИИ)
ITassertion checkerблок контроля утверждений
ITassertion checkerблок проверки утверждения
ITassertion checkerверификатор условий
comp.assertion checkerпрограмма верификации
progr.assertion checkingпроверка отсутствия ошибок (ssn)
progr.assertion checkingпроверка утверждений (ssn)
microel.assertion-driven breakpointточка прерывания, управляемая логическим выражением
comp., MSassertion 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)
lawassertion of a claimзаявление требования (Leonid Dzhepko)
lawassertion of a rightправопритязание (Leonid Dzhepko)
Makarov.assertion of compromiseутверждение условий компромисса
progr.assertion of consequentдоказательство истинности основания методом обращения следствия (логическая ошибка ssn)
Makarov.assertion of goalутверждение цели
Makarov.assertion of goalподтверждение цели
lawassertion of jurisdictionосуществление юрисдикции (yo)
gen.assertion of ownershipпритязание на право собственности (Igor Kondrashkin)
lawassertion 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знак утверждения
logicassertion signзнак логического вывода (ssn)
math.assertion signтурникет (h)
comp.assertion signштопор
comp.assertion signтурникет
comp.assertion signзнак выводимости
ITassertion statementоператор контроля
progr.assertion statementоператор утверждения (ssn)
progr.assertion statementоператор подтверждения отсутствия ошибок (ssn)
lawassertion 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автодуальное утверждение
Gruzovikbare assertionголословное утверждение
ITbase assertionосновное суждение
ITbase 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сравнительное утверждение
ITconcept 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опровергаемое притязание
lawcontest an assertionоспаривать утверждение (Alex_Odeychuk)
logiccontested assertionоспариваемое утверждение (Ivan Pisarev)
logiccontested assertionспорный довод (Ivan Pisarev)
logiccontested assertionспорное предположение (Ivan Pisarev)
logiccontested assertionспорное допущение (Ivan Pisarev)
logiccontested assertionспорное суждение (Ivan Pisarev)
logiccontested 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)
logicdebatable assertionспорное суждение (Ivan Pisarev)
logicdebatable assertionспорное предположение (Ivan Pisarev)
patents.debatable assertionспорное утверждение
logicdebatable assertionспорный довод (Ivan Pisarev)
logicdebatable assertionспорное допущение (Ivan Pisarev)
logicdebatable assertionоспариваемое утверждение (Ivan Pisarev)
logicdebatable 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оспаривать утверждение
logicdisputed assertionоспариваемое утверждение (Ivan Pisarev)
logicdisputed assertionспорное допущение (Ivan Pisarev)
logicdisputed assertionспорное предположение (Ivan Pisarev)
logicdisputed assertionспорный довод (Ivan Pisarev)
logicdisputed assertionспорное суждение (Ivan Pisarev)
logicdisputed 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)
formalfactual assertionsутверждения об имевших место фактах (about ... – относительно ... чего-либо // The Guardian, 2021 Alex_Odeychuk)
progr.failure assertionс проверкой ошибок (e.g., failure assertion programming – программирование с проверкой ошибок Alex_Odeychuk)
progr.failure assertion programmingпрограммирование с проверкой ошибок (ssn)
lawfailure to contest an assertionотказ от оспаривания утверждения (Alex_Odeychuk)
math.false assertionложное утверждение
rhetor.fanciful assertionпричудливое утверждение (Alex_Odeychuk)
ITfinal assertionконечное утверждение
audit.financial statements assertionsутверждения, на основе которых подготовлена финансовая отчётность
progr.finite failure assertion setмножество фактов финитно-неудачных вызовов (ssn)
lawforcible assertion of private rightсамоуправство
lawforcible assertion of private rightнасильственное правопритязание
lawforcible assertion of rightсамоуправство
lawforcible assertion of rightнасильственное правопритязание
progr.formal assertionформальное высказывание (ssn)
progr.formal assertions about the typing of programsформальные высказывания о типах в программах (ssn)
progr.Furthermore, assertions/properties can be used to describe both expected and prohibited behaviorКроме того, утверждения / свойства могут использоваться для описания как ожидаемых, так и запрещённых сценариев поведения (устройства; см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield (2004))
ITglobal assertionглобальное утверждение (содержащееся среди описателей программы)
progr.grouped assertionгрупповое утверждение (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk)
Makarov.hardy assertionопрометчивое утверждение
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ошибочное утверждение
ITinductive assertionиндуктивное утверждение
ITinitial assertionначальное утверждение
ITinput assertionначальное утверждение
ITintermediate 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закон утверждения
ITlocal 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изобличить во лжи
lawnaked assertionголословное утверждение
econ.national assertionнациональное самоутверждение (A.Rezvov)
progr.not-null assertion operatorоператор проверки на непустое значение (kotlinlang.org Alex_Odeychuk)
gen.on what do you rest your assertion?на чём основываете вы ваши уверения?
lawout-of-court assertionвнесудебное заявление
lawout-of-court assertionвнесудебное утверждение
lawout-of-court assertionутверждение
IToutput 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)
lawpost-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не верить чьим-л. утверждениям
logicquestionable assertionспорное утверждение (Ivan Pisarev)
logicquestionable assertionоспариваемое утверждение (Ivan Pisarev)
logicquestionable assertionспорное предположение (Ivan Pisarev)
logicquestionable assertionспорное суждение (Ivan Pisarev)
logicquestionable assertionспорное допущение (Ivan Pisarev)
patents.questionable assertionутверждение, вызывающее сомнение
logicquestionable assertionспорный довод (Ivan Pisarev)
gen.questionable assertionне внушающее доверия утверждение
lawrebut 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)
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настойчивое отстаивание своих притязаний
ed.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)
lawtestimonial 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)
lawveracity of the assertionдостоверность утверждения (в суде trismegist)
lawverification 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)