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

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

program proof

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

ДОКАЗАТЕЛЬСТВО — n. proof, demonstration, argument
Russian-English Dictionary of the Mathematical Sciences
ПРОГРАММЫ — Syllabuses
Русско-Американский Английский словарь
ПРОГРАММЫ — Syllabi
Русско-Американский Английский словарь
ПРОГРАММЫ — Programms
Русско-Американский Английский словарь
ПРОГРАММЫ — Applications
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВО — Proof
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВО — 1. proof, evidence; ( довод ) argument в доказательство ( рд. ) — in witness (of) ещё одно яркое доказательство …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ДОКАЗАТЕЛЬСТВО — ср. proof, evidence; argument (довод); demonstration; мн. ч. case (доводы, аргументы) приводить доказательства - to adduce/furnish evidence, to give/show proofs …
Русско-Английский словарь общей тематики
ПРОГРАММЫ — The programs
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
ПРОГРАММЫ — program, system
Russian-English Edic
ПРАВИЛЬНОСТИ — 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
Русско-Английский биологический словарь
ПРОГРАММЫ — ПЛАНЫ, ПРОГРАММЫ см.также ПУТЬ , ЦЕЛЬ Только имея программу, можно рассчитывать на сверхпрограммные неожиданности. Кароль Ижиковский Даже самый дурацкий замысел …
English-Russian aphorisms, русские афоризмы
ПРОГРАММЫ — n см. программа
Большой Русско-Английский словарь
ДОКАЗАТЕЛЬСТВО — ср. proof, evidence argument (довод) demonstration мн. case (доводы, аргументы) приводить доказательства – to adduce/furnish evidence, to give/show proofs представлять …
Большой Русско-Английский словарь
ПРОГРАММЫ — программы nсм. также программа
Русско-Английский словарь Сократ
ДОКАЗАТЕЛЬСТВО — доказательство 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) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
TURN
Большой Англо-Русский словарь
TROUBLE — 1. сущ. 1) а) беспокойство, волнение, тревога to give trouble, to put to trouble ≈ причинять беспокойство (кому-л.) She kept …
Большой Англо-Русский словарь
SWEAR — 1. сущ.; разг. 1) зарок, клятва Syn : oath, vow 2) богохульство; ругательство Syn : blasphemy, curse 2. гл. 1) …
Большой Англо-Русский словарь
SCRUTINY — сущ. 1) внимательный, испытующий взгляд He was looking downward with the scrutiny of curiosity. ≈ Он внимательно с любопытством смотрел …
Большой Англо-Русский словарь
PROGRAMME — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
PROGRAM — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
PLANK — 1. сущ. 1) а) толстая и широкая гладко оструганная доска, планка (от 20-ти см в ширину и от 5-ти до …
Большой Англо-Русский словарь
LIE-DETECTOR — сущ. 'детектор лжи' (прибор для проверки правильности показаний) to administer, give a lie-detector ≈ применять детектор лжи to subject smb. …
Большой Англо-Русский словарь
JUDGEMENT — сущ. 1) а) редк. судебное разбирательство, процесс sit in judgement Syn : trial б) библ. суд Божий (тж. the Last …
Большой Англо-Русский словарь
FEATURE — 1. сущ. 1) а) особенность, характерная черта; деталь, признак, свойство; свойства, особенности, общий вид characteristic, distinctive, distinguishing feature ≈ характерная …
Большой Англо-Русский словарь
EXHIBIT — 1. сущ. 1) экспонат (на выставке) 2) показ, выставка to mount, organize an exhibit ≈ проводить выставку art exhibit ≈ …
Большой Англо-Русский словарь
EVIDENCE — 1. сущ. 1) ясность, наглядность, очевидность Evidence cannot be hidden. ≈ Очевидность нельзя спрятать. in evidence Syn : clearness, evidentness …
Большой Англо-Русский словарь
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 …
Большой Англо-Русский словарь
ACT
Большой Англо-Русский словарь
PROGRAMME — 1. ʹprəʋgræm n 1. 1> программа party programme - программа партии political programme - политическая программа theatre programme - театральная …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
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
ALGORITHM VALIDATION — проверка правильности алгоритма; доказательство правильности алгоритма
Англо-Русский словарь Tiger
PROGRAMME — 1. [ʹprəʋgræm] n 1. 1) программа party ~ - программа партии political ~ - политическая программа theatre ~ - театральная …
Новый большой Англо-Русский словарь - Апресян, Медникова
PROGRAMME — 1. ʹprəʋgræm n 1. 1> программа party programme - программа партии political programme - политическая программа theatre programme - театральная …
Большой новый Англо-Русский словарь
TROUBLE — n. беспокойство, роды, волнение, тревога, неприятность, беда, горе, затруднение, заботы, хлопоты, усилие, помеха, волнения, беспорядки, болезнь, нарушение правильности действия, нарушение …
English-Russian-dictionary - Bed release
TROUBLE — n. беспокойство, роды, волнение, тревога, неприятность, беда, горе, затруднение, заботы, хлопоты, усилие, помеха, волнения, беспорядки, болезнь, нарушение правильности действия, нарушение …
English-Russian-dictionary - Bed release
SCRUTINY — сущ. 1) внимательный, испытующий взгляд He was looking downward with the scrutiny of curiosity. — Он внимательно и с любопытством …
Англо-Русский словарь по общей лексике
SCRUTINY — сущ. 1) внимательный, испытующий взгляд He was looking downward with the scrutiny of curiosity. — Он внимательно и с любопытством смотрел вниз. 2) …
Англо-Русский словарь общей лексики
ALGORITHM VALIDATION — проверка правильности алгоритма; доказательство правильности алгоритма.
Англо-Русский словарь по компьютерам
VALIDATION — 1) обоснование; проверка правильности, подтверждение правильности 2) аттестация 3) приёмочные испытания 4) придание юридической силы • - validation of a design
Англо-Русский словарь по строительству и новым строительным технологиям
EVIDENCE — 1) средство или средства доказывания; доказательство, доказательства; подтверждение; улика | служить доказательством, подтверждать, доказывать 2) свидетельское показание, свидетельские показания | свидетельствовать, …
Англо-Русский юридический словарь
ECONOMIC OPPORTUNITY ACT OF 1964 — Закон об экономических возможностях 1964 года Стал основой программы администрации Л. Джонсона [Johnson, Lyndon Baines (LBJ)] "Война с бедностью" [War on …

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

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

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