-
1 теория доказательства
theory of proof мат.Русско-английский научно-технический словарь Масловского > теория доказательства
-
2 теория доказательства
1) Engineering: proof theory2) Mathematics: theory of proofУниверсальный русско-английский словарь > теория доказательства
-
3 теория доказательств
Русско-английский большой базовый словарь > теория доказательств
-
4 схема доказательства
-
5 схема доказательства
Русско-английский словарь по информационным технологиям > схема доказательства
-
6 теория доказательств
теория доказательств
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > теория доказательств
-
7 теория доказательства
Русско-английский технический словарь > теория доказательства
-
8 теория доказательств
Русско-английский словарь по вычислительной технике и программированию > теория доказательств
-
9 теория доказательств
Русско-английский научно-технический словарь Масловского > теория доказательств
-
10 доказательство
с. proofСинонимический ряд:свидетельство (сущ.) подтверждение; свидетельство; указаниеАнтонимический ряд: -
11 формальное доказательство
Русско-английский научный словарь > формальное доказательство
-
12 служит доказательством
Русско-английский военно-политический словарь > служит доказательством
-
13 служащий доказательством
Русско-английский военно-политический словарь > служащий доказательством
-
14 предоставление доказательства
Бизнес, юриспруденция. Русско-английский словарь > предоставление доказательства
-
15 представляющий доказательство
Бизнес, юриспруденция. Русско-английский словарь > представляющий доказательство
-
16 приводит доказательства
Русско-английский военно-политический словарь > приводит доказательства
-
17 приводивший доказательства
Русско-английский военно-политический словарь > приводивший доказательства
-
18 приводящий доказательства
Русско-английский военно-политический словарь > приводящий доказательства
-
19 теория
analysis, science, theory* * *тео́рия ж.
theoryвыдвига́ть тео́рию — advance [propose] a theoryобъясня́ть что-л. на основа́нии тео́рии — explain smth. on a theoryотказа́ться от тео́рии — abandon a theoryотклоня́ть тео́рию — reject a theoryподтвержда́ть тео́рию эксперимента́льно — verify a theory by experimentпринима́ть [признава́ть] тео́рию — accept a theoryтео́рия автомоде́льности — similarity theoryтео́рия адсо́рбции Бруна́уэра—Эмме́тта—Те́ллера — BET theory of adsorptionтео́рия Ба́рдина—Ку́пера—Шри́ффера [БКШ] — Bardeen-Cooper-Schrieffer [BCS] theoryтео́рия больши́х сигна́лов — large signal theoryтео́рия бу́левых а́лгебр — Boolean calculusтео́рия вероя́тностей — theory of probability, probability theoryтео́рия Ви́нера — prediction theoryтео́рия возмуще́ний мат. — perturbation theoryтео́рия второ́го приближе́ния — second-order theoryтео́рия вы́борочного ме́тода стат. ( не путать с отсчё́тами в теории сообщений) — theory of samplingтео́рия вы́четов — residue theoryтео́рия гра́фов мат. — graph theoryтео́рия групп мат. — group theory, theory of groupsтео́рия дво́йственности — duality theoryтео́рия доказа́тельства — proof theoryтео́рия Друде́—Ло́ренца элк. — Drude-Lorentz theoryтео́рия игр мат. — theory of games, game(s) theoryтео́рия информа́ции — general theory of communication, information theoryква́нтовая тео́рия — quantum theoryтео́рия кисло́т и основа́ний — acid-base theoryкласси́ческая тео́рия — classical theoryтео́рия крыла́ — airfoil theoryлучева́я тео́рия — ray theoryтео́рия ма́лых сигна́лов — small signal theoryтео́рия ма́ссового обслу́живания — queueing [waiting-line] theoryтео́рия ме́ры мат. — measure theoryтео́рия мно́жеств — set theoryтео́рия надё́жности — reliability theoryтео́рия наибо́льших деформа́ций — ultimate strain theoryтео́рия относи́тельности — theory of relativityтео́рия относи́тельности, о́бщая — general theory of relativity, general relativityтео́рия относи́тельности, специа́льная — special theory of relativityтео́рия очереде́й — queueing [waiting-line] theoryтео́рия оши́бок — error analysisтео́рия перено́са — transport theoryтео́рия подо́бия — similarity theoryтео́рия по́ля — field theoryтео́рия разме́рностей — dimensional theoryтео́рия регули́рования — control theoryтео́рия реле́йных схем — switching-circuit theoryтео́рия све́та, волнова́я — wave theory of lightтео́рия све́та, ква́нтовая — quantum theory of lightтео́рия све́та, корпускуля́рная — corpuscular theory of lightтео́рия соедине́ний — combinatorial mathematics, combinatoricsтео́рия сравне́ний — congruence theoryтео́рия статисти́ческих оце́нок — theory of estimationтео́рия столкнове́ний — collision theoryстро́гая тео́рия — rigorous theoryтео́рия твё́рдых тел, зо́нная — band theory of solidsтео́рия теплопереда́чи — heat-transfer theoryтео́рия управле́ния — control theoryтео́рия упру́гости — theory of elasticityтео́рия усто́йчивости — stability theoryфеноменологи́ческая тео́рия — phenomenological [formal] theoryформа́льная тео́рия — formal theoryтео́рия цве́тности — theory of colour valueтео́рия цепе́й — circuit [network] theoryтео́рия чи́сел — theory of numbers, number theory -
20 теория
ж. theoryтеория адсорбции Брунауэра—Эмметта—Теллера — BET theory of adsorption
теория Бардина—Купера—Шриффера — Bardeen-Cooper-Schrieffer theory
теория Друде—Лоренца — Drude-Lorentz theory
См. также в других словарях:
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 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
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… … Wikipedia
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
proof — Informally, a procedure that brings conviction. More formally, a deductively valid argument starting from true premises, that yields the conclusion. Most formally, in proof theory, a proof is a sequence of formulae of which each member is either… … Philosophy dictionary
Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… … 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´er — proof «proof», noun, adjective, verb. –n. 1. a way or means of showing beyond doubt the truth of something: »Is what you say a guess, or have you proof? SYNONYM(S): See syn. under evidence. (Cf. ↑evidence) 2. the establishment of the truth of… … Useful english dictionary
Theory (brand) — theory (marketed in lower case letters) is a New York based men s and women s contemporary better sportswear fashion label known for its clean line and luxuriously simple clothes and accessories. theory merchandise is sold through signature… … Wikipedia
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