- relative proof
- мат. относительное доказательство
Большой англо-русский и русско-английский словарь. 2001.
relative proof
Смотреть что такое "relative proof" в других словарях:
relative — adj. & n. adj. 1 considered or having significance in relation to something else (relative velocity). 2 (foll. by to) having existence only as perceived or considered by (beauty is relative to the eye of the beholder). 3 (foll. by to)… … Useful english dictionary
Proof — • The establishment of a disputed or controverted matter by lawful means or arguments. Catholic Encyclopedia. Kevin Knight. 2006. Proof Proof … Catholic encyclopedia
proof — [pro͞of] n. [ME profe < OFr prueve < LL proba < L probare: see PROBE] 1. the act or process of proving; a testing or trying of something 2. anything serving or tending to establish the truth of something, or to convince one of its truth; … English World dictionary
proof — ► NOUN 1) evidence establishing a fact or the truth of a statement. 2) the proving of the truth of a statement. 3) a series of stages in the resolution of a mathematical or philosophical problem. 3) archaic a test or trial. 4) Printing a trial… … English terms dictionary
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
proof — noun 1》 evidence establishing a fact or the truth of a statement. ↘Law the evidence in a trial. ↘the proving of the truth of a statement. ↘a series of stages in the resolution of a mathematical or philosophical problem. 2》 a test or… … English new terms dictionary
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Quantum relative entropy — In quantum information theory, quantum relative entropy is a measure of distinguishability between two quantum states. It is the quantum mechanical analog of relative entropy. Motivation For simplicity, it will be assumed that all objects in the… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
