FORMAL PROOF

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

формальное доказательство

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

FORMAL PROOF — формальное доказательство
Большой Англо-Русский словарь
FORMAL PROOF — матем. формальное доказательство
Англо-Русский научно-технический словарь
FORMAL PROOF — формальное доказательство
Англо-Русский словарь по компьютерам
FORMAL PROOF — формальное доказательство
Англо-Русский словарь компьютерных терминов
FORMAL PROOF — 1) формальное доказательство 2) доказывание с помощью формальных доказательств 3) установление факта формальными доказательствами
Англо-Русский юридический словарь
FORMAL PROOF — формальное доказательство
Новый большой Англо-Русский словарь
FORMAL — adj formal
Interlingua English vocab
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
FORMAL
Webster's New International English Dictionary
FORMAL — (a.) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal courtesy, etc.
Английский словарь Webster
FORMAL — (a.) Devoted to, or done in accordance with, forms or rules; punctilious; regular; orderly; methodical; of a prescribed form; exact; …
Английский словарь Webster
FORMAL — (a.) Done in due form, or with solemnity; according to regular method; not incidental, sudden or irregular; express; as, he …
Английский словарь Webster
FORMAL — ( a. ) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal …
Webster's Revised Unabridged 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
FORMAL — formal 1 — formalness , n. /fawr"meuhl/ , adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: …
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
FORMAL — I. ˈfȯr-məl adjective Etymology: Middle English, from Latin formalis, from forma Date: 14th century 1. a. : belonging to or …
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
FORMAL — adj sound; normal. 2. formal ·adj dependent in form; conventional. 3. formal ·noun ·see methylal. 4. formal ·adj belonging to …
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
FORMAL — [for.mal] adj [ME, fr. MF or L; MF, fr. L formalis, fr. forma] (14c) 1 a: belonging to or constituting …
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
PROOF — / pruːf; NAmE / noun , adjective , verb ■ noun 1. [ U , C ] proof (of sth …
Oxford Advanced Learner's English Dictionary
FORMAL — / ˈfɔːml; NAmE ˈfɔːrml/ adjective 1. ( of a style of dress, speech, writing, behaviour, etc. ) very correct and …
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
FORMAL — I. form ‧ al 1 S2 W2 /ˈfɔːm ə l $ ˈfɔːr-/ BrE AmE adjective [ Word Family: noun : …
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 …
Английский основной разговорный словарь
FORMAL — adj. & n. --adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Английский основной разговорный словарь
PROOF — n., adj., & v. n. 1 facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Concise Oxford English Dictionary
FORMAL — adj. & n. adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
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
FORMAL — adj. & n. --adj. 1. used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
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
FORMAL — ( formals) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour …
Collins COBUILD Advanced Learner's English Dictionary
FORMAL — (~s) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour is …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
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
FORMAL — I. adjective COLLOCATIONS FROM OTHER ENTRIES a formal announcement ▪ A formal announcement will be made in Parliament. a formal …
Longman DOCE5 Extras English vocabulary
PROOF — Synonyms and related words : Christophany, Ditto copy, Photostat, Satanophany, Xerox, Xerox copy, absolute indication, account, acid test, acquaintance, affirmation, …
Moby Thesaurus English vocabulary
FORMAL — n. 25B6; adjective a formal dinner : CEREMONIAL, ceremonious, ritualistic, ritual, conventional, traditional; stately, courtly, solemn, dignified; elaborate, ornate, dressy. …
Concise Oxford Thesaurus English vocabulary
FORMAL — 1. FORmula MAnipulation Language. An early Fortran extension for symbolic mathematics . ["FORMAL, A Formula Manipulation Language", C.K. Mesztenyi, Computer …
FOLDOC Computer 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
FORMAL — adj. 1 standard, conventional, customary, established, prescribed, regular, normal, correct, proper; strict, formulaic, inflexible, punctilious, exacting, unchanging, methodical, orderly, systematic, …
Oxford Thesaurus English vocab
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
FORMAL — прил. 1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) мат., лог. строгий, формальный (о максимально точном и выразительном …
Большой Англо-Русский словарь
PROOF — proof.ogg 1. pru:f n 1. доказательство; подтверждение proof positive - неопровержимое доказательство /подтверждение/ documentary proof, proof by documentary evidence - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FORMAL — formal.ogg 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) …
Большой Англо-Русский политехнический словарь
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) крепость (спирта и спиртных …
Большой Англо-Русский политехнический словарь - РУССО
PROOF — 1) безопасный 2) герметизировать 3) доказательство 4) защищенный 5) испытание 6) непроницаемый 7) нормативный 8) обоснование 9) проба 10) пробный отпечаток 11) проверка 12) рашкетный 13) стандартный • axiom needs no proof — аксиома …
Англо-Русский научно-технический словарь
FORMAL — formal прил.1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) матем., логика строгий, формальный (о максимально точном и выразительном …
Англо-Русский словарь Tiger
PROOF — 1. pru:f n 1. доказательство; подтверждение proof positive - неопровержимое доказательство /подтверждение/ documentary proof, proof by documentary evidence - документальное …
Большой новый Англо-Русский словарь
FORMAL — 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних туалетах …
Большой новый Англо-Русский словарь
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 …
Англо-Русский словарь общей лексики
FORMAL — _a. 1> официальный; formal permission - официальное разрешение - formal call 2> формальный; номинальный - formal acquiescence 3> относящийся к …
Англо-Русский словарь Мюллера - 24 редакция
FORMAL — a. 1. официальный; formal permission - официальное разрешение - formal call 2. формальный; номинальный - formal acquiescence 3. относящийся к …
Англо-Русский словарь Мюллера - редакция bed
PROOF — 1. сущ.; мн. ч. - proofs доказательство - admission of proof - afford proofs - burden of proof lies with - judgement proof - proof beyond …
Англо-Русский словарь по экономике
FORMAL — прил. официальный - formal approach - formal authority - formal bid - formal framework - formal organization - formal relationship
Англо-Русский словарь по экономике
PROOF — 1) доказательство || доказывать 2) проверка 3) обеспечивать сопротивляемость (напр., против неумелого использования) • - formal program proof - formal proof - indirect proof - irreducible proof - …
Англо-Русский словарь по вычислительной технике и программированию
FORMAL — _a. 1> официальный; formal call официальный визит; formal permission официальное разрешение 2> формальный; номинальный; formal acquiescence формальное согласие 3> относящийся …
Англо-Русский словарь Мюллера
PROOF — 1) доказательство 2) испытание, проверка - proof in bankruptcy - proof of deposits - proof of indebtedness - proof of …
Англо-Русский словарь по экономике и финансам
PROOF — 1) доказательство, доказательства 2) доказывание 3) доказанность 4) судебное следствие; шотл. рассмотрение дела судьёй вместо суда присяжных 5) пробный оттиск, корректура • proof and hearing — …
Англо-Русский юридический словарь
PROOF — 1) испытание; проба; проверка 2) корректура, корректурный оттиск; гранка; пробный оттиск 3) контрольный отпечаток (пробный отпечаток текста, полученный на печатающем …
Англо-Русский словарь по полиграфии и издательскому делу

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

← FORMAL PROGRAM VALIDATION FORMAL REASONING→