-
1 доказательство
proof матем.* * *доказа́тельство с.
proofиме́ется [существу́ет] доказа́тельство, что … — there is evidence that …не приводя́ доказа́тельств — without proofдоказа́тельство предлага́ется привести́ чита́телю — proof will be left to the readerдедукти́вное доказа́тельство — deductive proofко́свенное доказа́тельство — indirect proofдоказа́тельство ме́тодом математи́ческой инду́кции — proof by perfect inductionнесводи́мое доказа́тельство — irreducible proofнестро́гое доказа́тельство — nonrigorous proofдоказа́тельство от проти́вного — proof by contradictionдоказа́тельство перебо́ром всех возмо́жных значе́ний переме́нных — proof by exhaustionстро́гое доказа́тельство — rigorous proofдоказа́тельство существова́ния — existence proof* * * -
2 доказательство путём анализа
Russian-English Dictionary "Microeconomics" > доказательство путём анализа
-
3 доказательство
с. proofСинонимический ряд:свидетельство (сущ.) подтверждение; свидетельство; указаниеАнтонимический ряд: -
4 доказывать перебором
1. prove by exhaustion2. proved by exhaustion -
5 доказательство путём полного перебора вариантов
Mathematics: proof by exhaustionУниверсальный русско-английский словарь > доказательство путём полного перебора вариантов
-
6 testigo
adj.witness.f. & m.1 witness (person).ser testigo de algo to witness somethingtú eres testigo de que estuve allí you are my witness that I was thereun castillo que ha sido testigo de innumerables batallas a castle that has witnessed countless battlesponer por testigo a alguien to cite somebody as a witnesstestigo de cargo/descargo witness for the prosecution/defensetestigo de Jehová Jehovah's Witnesstestigo ocular o presencial eyewitness2 control, standard of comparison in an experiment.3 boundary marker, marker.4 baton, baton in a relay race.m.baton (sport).* * *1 witness1 (prueba) proof, evidence, witness2 DEPORTE baton\a Dios pongo por testigo I swear to Godponer a alguien por testigo to call somebody as witnesstestigo de cargo witness for the prosecutiontestigo de descargo witness for the defence (US defense)testigo ocular / testigo presencial eyewitnessTestigos de Jehová Jehovah's Witnesses* * *noun mf.* * *1. SMF1) (Jur) witness; [de boda, contrato] witness2) (=espectador) witnesstú eres testigo de que nunca le he pegado — you can testify to o vouch for the fact that I have never hit him
estas paredes han sido testigo de nuestro amor — these walls have witnessed o are the witness of our love
3) (Rel)2. SM1) (Dep) [en relevos] baton2) (Aut)3) [en experimento] control4) (Geol) sample core3.ADJ INV* * *masculino y femenino1)a) ( que presencia algo) witness; (Der) witnessPablo es testigo de que no lo toqué — I didn't touch it, Pablo can vouch for me
la historia será testigo de que... — history will bear witness to the fact that...
b) ( en boda) witness2) testigo masculino ( en carreras de relevos) baton* * *masculino y femenino1)a) ( que presencia algo) witness; (Der) witnessPablo es testigo de que no lo toqué — I didn't touch it, Pablo can vouch for me
la historia será testigo de que... — history will bear witness to the fact that...
b) ( en boda) witness2) testigo masculino ( en carreras de relevos) baton* * *testigo11 = witness.Ex: The hearings before the Royal Commission, including among the witnesses some of the most prominent librarians and scholars of that day, extended from 1847 to 1849.
* relato de testigo presencial = eyewitness account.* ser testigo de = witness, be witness to, stand as + witness to.* testigo luminoso = pilot light.* testigo ocular = eyewitness.* testigo presencial = eyewitness.testigo22 = baton.Ex: To quote Mr Wedgeworth, 'the baton for the next IFLA Conference has now been transferred from the Chinese Organizing Committee to the Danish Organizing Committee'.
* pasar el testigo = pass (on) + the torch, pass (on) + the baton.testigo33 = dummy book, memento slip.Ex: It used to be common practice to keep certain books in the librarian's office or in a locked cupboard (eg books on sex), so a dummy book was place on the appropriate shelf.
Ex: Shelf-reading also provides the opportunity to check the existence of memento slips in case of displaced volumes.* * *A1 (que presencia algo) witness; ( Der) witnesste lo juro, Pablo es testigo de que no lo toqué I swear I didn't touch it, Pablo can vouch for me o ask Pablopongo a Dios por testigo as God is my witnesscierra la puerta, no quiero testigos close the door, I don't want an audienceestas murallas han sido testigo de muchas batallas these walls have witnessed many battlesla historia será testigo de que cometemos un gran error history will bear witness to the fact that we are making a great mistake2 (en una boda) witnessfui testigo or ( RPl) salí de testigo en su casamiento I acted as o I was a witness at their weddingCompuestos:witness for the prosecutionwitness for the defense*Jehovah's Witnesshearsay witnesswitness● testigo ocular or presencialeyewitnessB1 (en carreras de relevos) baton2 (en experimentos) control3 (mojón) marker4 (luz) warning light, indicator light* * *
testigo sustantivo masculino y femenino
witness;
testigo
I mf
1 (en un juicio, boda, documento) witness
Jur testigo de cargo/descargo, witness for the prosecution/ defence
Jur testigo presencial, eyewitness
2 (de un crimen, suceso) witness: eres testigo de que me lo acaba de proponer, you are a witness that he has just suggested it to me
3 Rel Testigos de Jehová, Jehovah's Witnesses
II sustantivo masculino Dep baton: agotado, el corredor pasó el testigo a su relevo, in a state of exhaustion, the runner passed the baton on to the next relay runner
' testigo' also found in these entries:
Spanish:
calidad
- descargo
- encajar
- interrogar
- reclamar
- citar
- declaración
- declarar
- interrogatorio
- involuntario
- ver
English:
baton
- bystander
- cross-examine
- defence
- defense
- expert witness
- eyewitness
- fulfillment
- fulfilment
- Jehovah
- witness
- best
- eye
* * *♦ nmf1. [en juicio, de acción] witness;ser testigo de algo to witness sth;fue testigo del accidente he witnessed the accident;tú eres testigo de que estuve allí you are my witness that I was there;un castillo que ha sido testigo de innumerables batallas a castle that has witnessed countless battles;RPsalir de testigo a alguien to be a witness for sbtestigo de cargo witness for the prosecution;testigo de descargo witness for the defence;testigo de Jehová Jehovah's Witness;testigo ocular eyewitness;testigo presencial eyewitness2. [en boda] witness♦ nmDep baton* * *I m/f JUR witness;ser testigo be a witness;testigo de boda witnessII m DEP baton* * *testigo nmf: witness* * *testigo n2. (en atletismo) baton
См. также в других словарях:
Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… … Wikipedia
proof by exhaustion — noun The indirect verification or falsification of a statement by the verification or falsification of each of the finite number of cases which arise therefrom … Wiktionary
Proof by verbosity — is a term used to describe an excessively verbose mathematical proof that may or may not actually prove the result. Such proofs are most often presented by students who don t fully grasp the concepts they are writing about. Students presenting… … Wikipedia
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
Method of exhaustion — This article is about the method of finding the area of a shape using limits. For the method of proof, see Proof by exhaustion. The method of exhaustion (methodus exhaustionibus, or méthode des anciens) is a method of finding the area of a shape… … Wikipedia
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
Direct proof — In mathematics and logic, a direct proof is a way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually existing lemmas and theorems, without making any further assumptions. In order … Wikipedia
Kepler conjecture — In mathematics, the Kepler conjecture is a conjecture about sphere packing in three dimensional Euclidean space. It says that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing … Wikipedia
Exhaust — may refer to:In mathematics: *Proof by exhaustion, proof by examining all individual cases *Exhaustion by compact sets, in analysis, a sequence of compact sets that converges on a given set *Collectively exhaustive, in probability and set theory … Wikipedia
Experimental mathematics — For the mathematical journal of the same name, see Experimental Mathematics (journal) Experimental mathematics is an approach to mathematics in which numerical computation is used to investigate mathematical objects and identify properties and… … Wikipedia
Полный перебор — У этого термина существуют и другие значения, см. Перебор. Полный перебор (или метод «грубой силы», англ. brute force) метод решения математических задач. Относится к классу методов поиска решения исчерпыванием всевозможных… … Википедия