PROGRAM PROOF

Англо-русский перевод PROGRAM PROOF

доказательство правильности программы

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

PROGRAM PROOF — доказательство правильности программы
Большой Англо-Русский словарь
PROGRAM PROOF — доказательство правильности программы
Англо-Русский словарь по компьютерам
PROGRAM PROOF — доказательство правильности программы
Англо-Русский словарь компьютерных терминов
PROGRAM PROOF — доказательство правильности программы
Новый большой Англо-Русский словарь
PROGRAM — [c mediumvioletred] (as used in expressions) Point Four Program regional development program {{link=stored program concept">stored program concept
Английский словарь Британика
PROOF — I. ˈprüf noun ( -s ) Etymology: Middle English proof, prove, alteration (influenced by proven to prove) of preef, preve, …
Webster's New International English Dictionary
PROGRAM — I. ˈprōˌgram, -raam, -ōgrəm noun or pro·gramme -ˌgram ( -s ) Etymology: in sense 1, from Late Latin programma, from …
Webster's New International English Dictionary
PROOF — /proohf/ , n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. …
Random House Webster's Unabridged English Dictionary
PROGRAM — /proh"gram, -greuhm/ , n. , v. , programmed or programed, programming or programing . n. 1. a plan of action …
Random House Webster's Unabridged English Dictionary
PROOF — I. ˈprüf noun Etymology: Middle English prof, prove, alteration of preve, from Anglo-French preove, from Late Latin proba, from Latin …
Merriam-Webster's Collegiate English vocabulary
PROGRAM — I. ˈprō-ˌgram, -grəm noun Etymology: French programme agenda, public notice, from Greek programma, from prographein to write before, from pro- …
Merriam-Webster's Collegiate English vocabulary
PROOF — noun firmness of mind; stability not to be shaken. 2. proof ·adj used in proving or testing; as, a proof …
Webster English vocab
PROOF — [proof] n [ME, alter. of preove, fr. OF preuve, fr. LL proba, fr. L probare to prove--more at prove] (13c) …
Merriam-Webster English vocab
PROGRAM — [pro.gram] n [F programme agenda, public notice, fr. Gk programma, fr. prographein to write before, fr. pro- before + graphein …
Merriam-Webster English vocab
PROOF — in liquor distilling, a measure of the absolute alcohol content of a distilled liquor, which is a mixture of alcohol …
Britannica English vocabulary
PROGRAM — program BrE AmE ˈprəʊ ɡræm § -ɡrəm AmE ˈproʊ- ▷ program|ed, ~med d ▷ program|ing, ~ming ɪŋ ▷ program|s z …
Longman Pronunciation English Dictionary
PROOF — / pruːf; NAmE / noun , adjective , verb ■ noun 1. [ U , C ] proof (of sth …
Oxford Advanced Learner's English Dictionary
PROGRAM — / ˈprəʊgræm; NAmE ˈproʊ-/ noun , verb ■ noun 1. ( computing ) a set of instructions in code that …
Oxford Advanced Learner's English Dictionary
PROOF — I. proof 1 S3 W3 /pruːf/ BrE AmE noun [ Word Family: verb : ↑ prove ≠ ↑ disprove ; …
Longman Dictionary of Contemporary English
PROGRAM — I. pro ‧ gram 1 W1 /ˈprəʊɡræm $ ˈproʊ-/ BrE AmE noun [countable] [ Date: 1600-1700 ; Language: French ; …
Longman Dictionary of Contemporary English
PROOF — n., adj., & v. --n. 1 facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Английский основной разговорный словарь
PROOF — n., adj., & v. n. 1 facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Concise Oxford English Dictionary
PROOF — n., adj., & v. --n. 1. facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Oxford English vocab
-PROOF — ( -proofs, -proofing, -proofed) 1. -proof combines with nouns and verbs to form adjectives which indicate that something cannot be …
Collins COBUILD Advanced Learner's English Dictionary
PROOF — ( proofs) Frequency: The word is one of the 3000 most common words in English. 1. Proof is a fact, …
Collins COBUILD Advanced Learner's English Dictionary
PROGRAM — ( programs, programming, programmed) Frequency: The word is one of the 1500 most common words in English. 1. A program …
Collins COBUILD Advanced Learner's English Dictionary
PROOF — I. noun COLLOCATIONS FROM OTHER ENTRIES conclusive proof/evidence/findings etc ▪ The investigation failed to provide any conclusive evidence. documentary evidence/proof …
Longman DOCE5 Extras English vocabulary
PROGRAM — I. noun COLLOCATIONS FROM OTHER ENTRIES a computer program (= a set of instructions stored inside a computer ) ▪ …
Longman DOCE5 Extras English vocabulary
PROGRAM — n. Point Four Program program computer regional development program stored program concept
Britannica Concise Encyclopedia
PROOF — Synonyms and related words : Christophany, Ditto copy, Photostat, Satanophany, Xerox, Xerox copy, absolute indication, account, acid test, acquaintance, affirmation, …
Moby Thesaurus English vocabulary
PROGRAM — Synonyms and related words : Beveridge Plan, Cultural Revolution, Fair Deal, Great Society, Marshall Plan, New Deal, New Frontier, Philharmonic …
Moby Thesaurus English vocabulary
PROGRAM — noun 1 set of instructions for a computer ADJECTIVE ▪ computer , software ▪ analysis , database , design , …
Oxford Collocations English Dictionary
PROOF — n. 1 evidence, verification, corroboration, confirmation, validation, authentication, ratification, substantiation; documentation, document, facts, data, certification, testimony, Colloq ammunition Is there …
Oxford Thesaurus English vocab
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
PROGRAM — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
PROOF — proof.ogg 1. pru:f n 1. доказательство; подтверждение proof positive - неопровержимое доказательство /подтверждение/ documentary proof, proof by documentary evidence - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) …
Большой Англо-Русский политехнический словарь
PROGRAM — 1) программа || программировать, составлять [подготавливать] программу; разрабатывать программу || программный 2) план; программа; проект 3) осуществление программы, проекта, плана …
Большой Англо-Русский политехнический словарь
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) крепость (спирта и спиртных …
Большой Англо-Русский политехнический словарь - РУССО
PROGRAM — 1) программа || программировать, составлять [подготавливать] программу; разрабатывать программу || программный 2) план; программа; проект 3) осуществление программы, проекта, плана • to launch a …
Большой Англо-Русский политехнический словарь - РУССО
PROOF — 1) безопасный 2) герметизировать 3) доказательство 4) защищенный 5) испытание 6) непроницаемый 7) нормативный 8) обоснование 9) проба 10) пробный отпечаток 11) проверка 12) рашкетный 13) стандартный • axiom needs no proof — аксиома …
Англо-Русский научно-технический словарь
PROGRAM — 1) операция 2) программа 3) программировать 4) программный 5) разработка • application-specific program package — компьют. пакет прикладных программ applications program RAM — компьют. память програмная dual liner …
Англо-Русский научно-технический словарь
PROOF — 1. pru:f n 1. доказательство; подтверждение proof positive - неопровержимое доказательство /подтверждение/ documentary proof, proof by documentary evidence - документальное …
Большой новый Англо-Русский словарь
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 confirmed by the most …
Англо-Русский словарь общей лексики
PROGRAM — программа; управляющая программа, УП || программировать; готовить УП to conversationally program — программировать в диалоговом режиме to display the program …
Англо-Русский словарь по машиностроению и автоматизации производства 2
PROGRAM — программа; управляющая программа, УП || программировать; готовить УП to conversationally program — программировать в диалоговом режиме to display the program — выводить …
Англо-Русский словарь по машиностроению и автоматизации производства
PROGRAM — программа, см. тж application || программировать a program has ended — программа завершила работу a program is too big to …
Англо-Русский словарь по компьютерам
PROGRAM — 1. программа 2. план; последовательность операций - additional development program - allocation program - automatic-statics correction program - bit program - boring program - bottomhole assembly …
Большой Англо-Русский словарь по нефти и газу
PROOF — 1. сущ.; мн. ч. - proofs доказательство - admission of proof - afford proofs - burden of proof lies with - judgement proof - proof beyond …
Англо-Русский словарь по экономике
PROGRAM — 1. сущ. 1) программа 2) план (работы и т.п.) - acreage-allotment program - acreage-allotment programme - allocation program - continuous improvement program - diversionary programme - export program - …
Англо-Русский словарь по экономике
PROOF — 1) доказательство || доказывать 2) проверка 3) обеспечивать сопротивляемость (напр., против неумелого использования) • - formal program proof - formal proof - indirect proof - irreducible proof - …
Англо-Русский словарь по вычислительной технике и программированию
PROGRAM — программа, см. тж application || программировать a program has ended — программа завершила работу a program is too big to fit in …
Англо-Русский словарь по вычислительной технике и программированию
PROGRAM — программа, application || программировать a program has ended — программа завершила работу a program is too big to fit in …
Англо-Русский словарь компьютерных терминов
PROOF — 1) доказательство 2) испытание, проверка - proof in bankruptcy - proof of deposits - proof of indebtedness - proof of …
Англо-Русский словарь по экономике и финансам
PROGRAM — программа; план [c crimson]|| составлять программу или план; планировать - draw up a program - program of motivation - ad …
Англо-Русский словарь по экономике и финансам
PROGRAM — план, проект; программа - program of work - building program - completed program - experimental program - housing renewal program …
Англо-Русский строительный словарь
PROGRAM — 1) радио- или ТВ-программа 2) программное обеспечение, ПО • - communication program - computer program - data-entry program - diagnostic program - DSP program - information program - input …
Англо-Русский словарь по телекоммуникациям
PROOF — 1) доказательство, доказательства 2) доказывание 3) доказанность 4) судебное следствие; шотл. рассмотрение дела судьёй вместо суда присяжных 5) пробный оттиск, корректура • proof and hearing — …
Англо-Русский юридический словарь
PROOF — 1) испытание; проба; проверка 2) корректура, корректурный оттиск; гранка; пробный оттиск 3) контрольный отпечаток (пробный отпечаток текста, полученный на печатающем …
Англо-Русский словарь по полиграфии и издательскому делу
PROGRAM — программа [c crimson]|| программировать, вводить в программу - automatic page numbering update program - composition program - computer hyphenation program …
Англо-Русский словарь по полиграфии и издательскому делу
PROGRAM — 1) программа последовательность команд на каком-либо языке программирования или команд процессора, описывающая решение определённой задачи см. тж. application program, background program, canned …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
PROOF — 1) доказательство; доказывание 2) проба, пробный оттиск • - accessory proof - additional proof - documentary proof - failing proof - proof of evidence - proof of novelty - …
Англо-Русский словарь по патентам и товарным знакам
PROGRAM — программа см. access program см. access control program см. antipiracy program см. anti-viral program см. anti-virus program см. application program …
Англо-Русский словарь компьютерной безопасности

Англо-Русский словарь по вычислительной технике и программированию

← PROGRAM PREPARATION AIDS PROGRAM REFERENCE TABLE→