-
1 formal proof
-
2 formal proof
The English-Russian dictionary general scientific > formal proof
-
3 formal proof
Большой англо-русский и русско-английский словарь > formal proof
-
4 formal proof
1) Математика: формальное доказательство2) Юридический термин: доказывание с помощью формальных доказательств, установление факта формальными доказательствами3) Лингвистика: формально-логическое доказательство -
5 formal proof
-
6 formal proof
встановлення факту формальними доказами, доведення за допомогою формальних доказів, формальне доведення -
7 formal proof
English-Russian dictionary of computer science and programming > formal proof
-
8 formal proof
formeel bewijs -
9 formal proof
-
10 formal proof
мат.• формално доказателство -
11 formal proof
-
12 formal proof
формальное доказательствоEnglish-Russian dictionary of technical terms > formal proof
-
13 formal proof
-
14 formal proof
தர்க்கமுறைச் சான்று -
15 formal, proof
preuve f formelle -
16 formal proof
Англо-русский словарь по исследованиям и ноу-хау > formal proof
-
17 proof
1) доказательство || доказывать2) проверка3) обеспечивать сопротивляемость (напр., против неумелого использования)•- direct digital color proof
- formal program proof
- formal proof
- indirect proof
- irreducible proof
- page proof
- program proof
- proof of termination
- tree form proof
- variant proof
- zero proofEnglish-Russian dictionary of computer science and programming > proof
-
18 proof
1) доказательство, доказательства2) доказывание3) доказанность4) судебное следствие; шотл. рассмотрение дела судьёй вместо суда присяжных5) пробный оттиск, корректура•proof and hearing — судебное следствие и выступления сторон;
proof beyond all reasonable doubt — доказанность при полном отсутствии оснований для сомнения в ней;
proof beyond any reasonable doubt — доказанность при отсутствии какого-л. основания для сомнения в ней;
proof beyond reasonable doubt — доказанность при отсутствии обоснованного в ней сомнения ( критерий доказанности обвинения);
proof by admission — см. proof of admission 1., 2., 3.;
proof by affidavit — 1. доказательство, полученное с помощью аффидевита 2. доказывание посредством аффидевита 3. установление факта с помощью аффидевита;
proof by circumstantial [indirect] evidence — доказывание или доказанность косвенными доказательствами;
proof by confession — см. proof of confession 1., 2., 3., 4.;
proof by direct evidence — доказывание или доказанность прямыми доказательствами;
proof by evidence — см. proof of evidence 1., 2., 3.;
proof by notoriety — осведомлённость суда, судейская осведомлённость (в отношении фактов, полагаемых известными суду без доказательств);
proof by presumption — доказывание по презумпции;
proof by testimony — 1. доказывание посредством свидетельских показаний 2. доказанность свидетельскими показаниями;
proof from the contrary — 1. доказательство от противного 2. доказывание от противного 3. доказанность от противного;
proof on a preponderance of probabilities — доказанность наличием большей вероятности ( критерий доказанности в гражданском процессе);
to develop proof — представить или получить доказательства;
to take proof — получить доказательства;
- proof of attestationproof to the contrary — 1. доказательство противного 2. доказывание противного 3. доказанность противного
- proof of confession
- proof of consistency
- proof of evidence
- proof of fact
- proof of official record
- proof of record
- proof of witness
- affirmative proof
- affirmative proof of loss
- categorical proof
- circular proof
- circumstantial proof
- clear proof
- conclusive proof
- controvertible proof
- conviction proof
- crucial proof
- direct proof
- evident proof
- formal proof
- foundation proof
- foundational proof
- hard proof
- incontrovertible proof
- independent proof
- indirect proof
- indubitable proof
- infallible proof
- inferential proof
- irrefutable proof
- judgement proof
- literal proof
- negative proof
- positive proof
- presumptive proof
- relevant proof
- reliable proof
- satisfactory proof
- substantial proof
- testimonial proof
- uncontrovertible proof
- virtual proof
- decisive proof -
19 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
20 formal
формальний; офіційний; належним чином оформлений; запротокольований; встановлений закономformal admission in answer to a notice to admit facts — формальне визнання факту у відповідь на повідомлення з вимогою визнати факти по справі
formal admission in answer to interrogatories — формальне визнання факту у відповідь на запитання, що міститься у письмовому опитуванні
- formal accusation of a crimeformal qualifications for presidential candidacy — встановлені законом вимоги до кандидата у президенти
- formal acquiescence
- formal address
- formal adjudication
- formal admission
- formal admission at the trial
- formal admission by letter
- formal agreement
- formal amendment
- formal approval
- formal authority
- formal authorization
- formal charge
- formal contract
- formal conviction
- formal decision
- formal declaration
- formal declaration of war
- formal defect
- formal diversion
- formal document
- formal effort
- formal entity
- formal equality
- formal equality at law
- formal error
- formal examination
- formal head of state
- formal justification
- formal law
- formal legislation
- formal means of lawmaking
- formal notification
- formal order
- formal permission
- formal point of view
- formal police action
- formal police powers
- formal power
- formal powers
- formal procedure
- formal process
- formal proof
- formal protest
- formal punitive system
- formal qualifications
- formal registration
- formal relations
- formal reply
- formal request
- formal requirement
- formal requisition
- formal right
- formal service
- formal signature
- formal social security system
- formal source
- formal statement
- formal submission
- formal treaty
- formal trial stage
- formal verdict
- formal vote
- formal warrant
См. также в других словарях:
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
Proof-Carrying Code — (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application s executable code. The host system can compare the conclusions of the proof to its own security… … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
proof of debt — United Kingdom The form (proof of debt general form) on which a creditor submits details of its claim in a liquidation. In an administration, there is no prescribed proof of debt form but in practice administrators adopt the format of the proof… … Law dictionary