Information | |
---|---|
has gloss | eng: 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 proof by exhaustion contains two stages: |
lexicalization | eng: proof by exhaustion |
lexicalization | eng: Proof-by-exhaustion |
instance of | (noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof |
Meaning | |
---|---|
Castilian | |
has gloss | spa: Prueba por exhaución, también conocida como el método de fuerza bruta, es un método de demostración matemática en el cual la proposición a ser probada se divide en un número finito de casos, y cada caso es demostrado por separado. Una prueba por exhaución consta dos etapas: |
lexicalization | spa: Prueba por exhaucion |
lexicalization | spa: prueba por exhaución |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint