-
1 prove
∎ the facts prove her (to be) guilty les faits prouvent qu'elle est coupable;∎ the autopsy proved that it was suicide l'autopsie prouva que c'était un suicide;∎ the evidence goes to prove that… les témoignages concourent à prouver que…;∎ the accused is innocent until proved or proven guilty l'accusé est innocent jusqu'à preuve du contraire ou tant que sa culpabilité n'est pas prouvée;∎ to prove sb right/wrong donner raison/tort à qn;∎ they can't prove anything against us ils n'ont aucune preuve contre nous;∎ to do sth to prove a point faire qch pour prouver qu'on a raison;∎ after their relegation last season, the team will be out to prove a point après sa relégation de la saison dernière, l'équipe tâchera de montrer de quoi elle est capable;∎ I think I've proved my point je crois avoir apporté la preuve de ce que j'avançais;∎ it remains to be proved whether the decision was correct rien ne prouve que cette décision était la bonne;∎ she quickly proved herself indispensable elle s'est vite montrée indispensable;∎ he has already proved his loyalty il a déjà prouvé sa fidélité, sa fidélité n'est plus à prouver(b) (proposition, theorem → in maths, logic) démontrer(c) (put to the test) mettre à l'épreuve;∎ the method has not yet been proved la méthode n'a pas encore fait ses preuves;∎ to prove oneself faire ses preuves(a) (turn out) s'avérer, se révéler;∎ your suspicions proved (to be) well-founded vos soupçons se sont avérés fondés;∎ the arrangement proved (to be) unworkable cet arrangement s'est révélé impraticable;∎ the hotel proved to be open l'hôtel s'avéra être ouvert;∎ he may prove (to be) of help to you il pourrait bien vous être utile;∎ it has proved impossible to find him il a été impossible de le retrouver;∎ if that proves to be the case s'il s'avère que tel est le casmettre à l'épreuvefaire ses preuves
См. также в других словарях:
Test Automation FX — is a Windows GUI test automation framework for Visual Studio 2005 and Visual Studio 2008. Test Automation FX requires no special knowledge when it comes to custom made scripting language, since it stores all test logic in .NET code. The test… … Wikipedia
Logic analyzer — A logic analyzer is an electronic instrument which displays signals in a digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or correlate assembly with… … Wikipedia
Test-driven development — (TDD ) is a software development technique consisting of short iterations where new test cases covering the desired improvement or new functionality are written first, then the production code necessary to pass the tests is implemented, and… … Wikipedia
Logic redundancy — occurs in a a digital gate network containing circuitry that does not affect the static logic function. There are several reasons why logic redundancy may exist. One reason is that it may have been added deliberately to suppress transient… … Wikipedia
Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… … Wikipedia
Logic probe — A logic probe is a hand held pen like test probe used for analyzing and troubleshooting the logical states (Boolean 0 or 1) of a digital circuit. While most are powered by the circuit under test, some devices use batteries. They can be used on… … Wikipedia
Test probe — Typical passive oscilloscope probe being used for testing an integrated circuit. A test probe (test lead, test prod, or scope probe) is a physical device used to connect electronic test equipment to the device under test (DUT). They range from… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Logic puzzle — Part of a series on Puzzles … Wikipedia
Test-and-set — In computer science, the test and set instruction is an instruction used to both test and (conditionally) write to a memory location as part of a single atomic (i.e. non interruptible) operation. This means setting a value, but first performing… … Wikipedia