prueba
1. sust.
f.
1ª datación del corpus: Chaves, Sacrobosco, Sphera, 1545.
Marca diatécnica:
Metod.
Definición:Razón, argumento, instrumento u otro medio con que se pretende mostrar y hacer patente la verdad o falsedad de algo. (DLE).Ejemplo(s):
|
2. sust.
f.
1ª datación del corpus: Urrea, Vitruvio, Architectura, 1582.
Marca diatécnica:
Metod.
Definición:Ensayo o experimento que se hace de algo, para saber cómo resultará en su forma definitiva. (DLE).Ejemplo(s):
|
3. sust.
f.
1ª datación del corpus: Ortega, Conpusición Arismética y Geometría, 1512.
Marca diatécnica:
Metod.
Definición:Operación matemática que se ejecuta para comprobar que otra ya hecha es correcta. (DLE).Ejemplo(s):
Información enciclopédica:"Operación cuyo objeto es cerciorarse de que otra operación está bien efectuada. Las pruebas no dan la certidumbre de que la primera operación está bien efectuada, porque por ser la prueba una operación, necesita otra prueba, y esta otra, y así hasta el infinito. Las pruebas, para que sean ventajosas, deben satisfacer a dos condiciones: primera, ser más breves que la operación; segunda, no tener que escribir en ellas nuevas cifras" (Picatoste y Rodríguez, F., 1862, Vocabulario matemático-etimológico, pp. 97-98). |
4. sust.
f.
1ª datación del corpus: Pérez Vargas, De re metallica, 1568.
Marca diatécnica:
Metal.
Definición:Examen de un metal para conocer su grado de fineza.Ejemplo(s):
|
5. sust.
f.
1ª datación del corpus: Arphe, Quilatador de la plata, 1585-87.
Marca diatécnica:
Metal.
Definición:Comprobación de la calidad de los minerales o la ley de los metales preciosos.Ejemplo(s):
|
~ de(l) nueve
1ª datación del corpus: Aurel, Arithmética algebrática, 1552.
Marca diatécnica:
Arit.
Definición:Cálculo sencillo que sirve para verificar el resultado de las operaciones aritméticas, especialmente en la multiplicación y en la división, fundado en que el resto de dividir un número por nueve es el mismo que el de dividir también por nueve la suma de sus cifras. (DRAE 2001).Ejemplo(s):
Información enciclopédica:"El origen de este método es oscuro. Se encuentra en trabajos de autores árabes a partir del siglo IX, en textos matemáticos hindúes del siglo XII, y se utiliza con profusión en los manuales europeos desde el siglo XV hasta nuestros días [...]. Proposición: El resto de dividir un número por 9 coincide con el resto de dividir por 9 la suma de las cifras de dicho número. Es decir: x0 + 10x1+ 10 |
~ de siete
1ª datación del corpus: Aurel, Arithmética algebrática, 1552.
Marca diatécnica:
Arit.
Definición:Cálculo sencillo que sirve para verificar el resultado de las operaciones aritméticas, especialmente en la multiplicación y en la división, fundado en que el resto de dividir un número por siete es el mismo que el de dividir también por siete la suma de sus cifras.Ejemplo(s):
Información enciclopédica: |
~ real
1ª datación del corpus: Aurel, Arithmética algebrática, 1552.
Marca diatécnica:
Arit.
Definición:Conjunto de operaciones que se ejecutan para comprobar que otra ya hecha es totalmente correcta.Ejemplo(s):
|
<< Volver