ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ ЗАВЕРШЕНИЯ

Русско-английский перевод ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ ЗАВЕРШЕНИЯ

proof of termination

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

ДОКАЗАТЕЛЬСТВО — n. proof, demonstration, argument
Russian-English Dictionary of the Mathematical Sciences
ЗАВЕРШЕНИЯ — Wind-up
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Finalizing
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Consummations
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Consummation
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Consummating
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Conclusion
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Completions
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Completion
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Completing
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Come-off
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Close
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Accomplishment
Русско-Американский Английский словарь
ЗАВЕРШЕНИЯ — Accomplishing
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВО — Proof
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВО — 1. proof, evidence; ( довод ) argument в доказательство ( рд. ) — in witness (of) ещё одно яркое доказательство …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ДОКАЗАТЕЛЬСТВО — ср. proof, evidence; argument (довод); demonstration; мн. ч. case (доводы, аргументы) приводить доказательства - to adduce/furnish evidence, to give/show proofs …
Русско-Английский словарь общей тематики
ЗАВЕРШЕНИЯ — End
Russian Learner's Dictionary
ДОКАЗАТЕЛЬСТВО — proof
Russian Learner's Dictionary
ДОКАЗАТЕЛЬСТВО — с. 1. proof, evidence; ( довод ) argument в доказательство ( рд. ) — in witness (of) ещё одно яркое …
Русско-Английский словарь
ДОКАЗАТЕЛЬСТВО — с. 1. proof, evidence; ( довод ) argument в доказательство ( рд. ) — in witness (of) ещё одно яркое …
Russian-English Smirnitsky abbreviations dictionary
ПРАВИЛЬНОСТИ — accuracy
Russian-English Edic
ДОКАЗАТЕЛЬСТВО — demonstration, argument, proof
Russian-English Edic
ДОКАЗАТЕЛЬСТВО — argument, proof
Русско-Английский словарь по машиностроению и автоматизации производства
ДОКАЗАТЕЛЬСТВО — ср. proof, evidence; argument ( довод ) ; demonstration; мн. ч. case ( доводы, аргументы ) приводить доказательства — to …
Русско-Английский краткий словарь по общей лексике
ДОКАЗАТЕЛЬСТВО — proof, warrant
Русско-Английский словарь по строительству и новым строительным технологиям
ДОКАЗАТЕЛЬСТВО — Proof
Британский Русско-Английский словарь
ДОКАЗАТЕЛЬСТВО — argument, attest, demonstration, evidence, proof, witness
Русско-Английский экономический словарь
ДОКАЗАТЕЛЬСТВО — argument, astipulation, authority, probacy, probation, evidence, proof, testation, credible evidence, immaterial evidence, significant evidence
Русско-Английский юридический словарь
ДОКАЗАТЕЛЬСТВО — см. тж. косвенное ~ того, что ; указывать • The evidence for the presence of ... is not fully convincing. …
Русско-Английский научно-технический словарь переводчика
ДОКАЗАТЕЛЬСТВО — proof
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ДОКАЗАТЕЛЬСТВО — n proof evidence; argument
Russian-English WinCept Glass dictionary
ДОКАЗАТЕЛЬСТВО — proof
Русско-Английский биологический словарь
ДОКАЗАТЕЛЬСТВО — ср. proof, evidence argument (довод) demonstration мн. case (доводы, аргументы) приводить доказательства – to adduce/furnish evidence, to give/show proofs представлять …
Большой Русско-Английский словарь
ДОКАЗАТЕЛЬСТВО — доказательство p proof
Русско-Английский словарь Сократ
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Новый большой Англо-Русский словарь
WITNESS — 1. сущ. 1) а) свидетель (особ. в суде), очевидец to bear false witness ≈ давать ложные показания to cross-examine a …
Большой Англо-Русский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
TROUBLE — 1. сущ. 1) а) беспокойство, волнение, тревога to give trouble, to put to trouble ≈ причинять беспокойство (кому-л.) She kept …
Большой Англо-Русский словарь
TOUR — 1. сущ. 1) а) обращение, оборот, цикл б) обход караула в) смена (на фабрике и т. п.) г) круг (обязанностей), …
Большой Англо-Русский словарь
SWEAR — 1. сущ.; разг. 1) зарок, клятва Syn : oath, vow 2) богохульство; ругательство Syn : blasphemy, curse 2. гл. 1) …
Большой Англо-Русский словарь
SCRUTINY — сущ. 1) внимательный, испытующий взгляд He was looking downward with the scrutiny of curiosity. ≈ Он внимательно с любопытством смотрел …
Большой Англо-Русский словарь
PERFECTION — сущ. 1) а) завершение (процесс) process of perfection ≈ завершающий процесс Syn : completion, completing, consummating, finishing, accomplishing б) конец, …
Большой Англо-Русский словарь
LIE-DETECTOR — сущ. 'детектор лжи' (прибор для проверки правильности показаний) to administer, give a lie-detector ≈ применять детектор лжи to subject smb. …
Большой Англо-Русский словарь
JUDGEMENT — сущ. 1) а) редк. судебное разбирательство, процесс sit in judgement Syn : trial б) библ. суд Божий (тж. the Last …
Большой Англо-Русский словарь
INTERRUPTION — сущ. 1) а) перерыв; пауза; заминка I still go on with the work, but with terrible interruptions. ≈ Я все …
Большой Англо-Русский словарь
EXHIBIT — 1. сущ. 1) экспонат (на выставке) 2) показ, выставка to mount, organize an exhibit ≈ проводить выставку art exhibit ≈ …
Большой Англо-Русский словарь
EVIDENCE — 1. сущ. 1) ясность, наглядность, очевидность Evidence cannot be hidden. ≈ Очевидность нельзя спрятать. in evidence Syn : clearness, evidentness …
Большой Англо-Русский словарь
DEATH — сущ. 1) а) смерть at one's death ≈ с чьей-л. смертью At her death the estate was broken up. ≈ …
Большой Англо-Русский словарь
DATE
Большой Англо-Русский словарь
CONSUMMATION — сущ. 1) завершение, выполнение, доведение до конца The king urged the instant consummation of the treaty. ≈ Король требовал немедленного …
Большой Англо-Русский словарь
CODE — 1. сущ. 1) а) ист. сборник законов, изданных во время правления того или иного императора б) юр. кодекс, свод законов …
Большой Англо-Русский словарь
CALL-BACK — 1) возврат/вызов на работу после локаута (т.е. после закрытия предприятий и массового увольнения рабочих с целью заставить их отказаться от …
Большой Англо-Русский словарь
AUDIT — 1. сущ. 1) проверка, ревизия бухгалтерских книг, документов и отчетности to carry out, conduct an audit ≈ провести проверку, провести …
Большой Англо-Русский словарь
ARGUMENT — сущ. 1) довод, аргумент (for - в пользу чего-л.; against - против чего-л.) to drive home arguments, press arguments ≈ …
Большой Англо-Русский словарь
ALGORITHM — сущ.; мат. алгоритм algorithm validation ≈ проверка правильности алгоритма (специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритма ad hoc …
Большой Англо-Русский словарь
PERFECTION — perfection.ogg 1. pəʹfektʃ(ə)n n 1. 1> совершенствование, усовершенствование the path of perfection - путь к совершенству 2> завершение they bring …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROOF — 1) безопасный 2) герметизировать 3) доказательство 4) защищенный 5) испытание 6) непроницаемый 7) нормативный 8) обоснование 9) проба 10) пробный отпечаток 11) проверка 12) рашкетный 13) стандартный • axiom needs no proof — аксиома …
Англо-Русский научно-технический словарь
SCRUTINY — scrutiny сущ.1) внимательный, испытующий взгляд He was looking downward with the scrutiny of curiosity. — Он внимательно и с любопытством …
Англо-Русский словарь Tiger
CONSUMMATION — сущ.1) завершение, выполнение, доведение до конца The king urged the instant consummation of the treaty. — Король требовал немедленного завершения …
Англо-Русский словарь Tiger
COMPLETION CODE — код завершения. число, возвращаемое вызваной программой вызвавшей программе и указывающее способ завершения (0 - нормальное завершение, 1 несущественные ошибки, 2 …
Англо-Русский словарь Tiger
ALGORITHM VALIDATION — проверка правильности алгоритма; доказательство правильности алгоритма
Англо-Русский словарь Tiger
PERFECTION — 1. [pəʹfektʃ(ə)n] n 1. 1) совершенствование, усовершенствование the path of ~ - путь к совершенству 2) завершение they bring no …
Новый большой Англо-Русский словарь - Апресян, Медникова

Большой Русско-Английский словарь

← ДОКАЗАТЕЛЬСТВО ПОДЛИННОСТИ

ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ ПРОГРАММЫ→