Traducción de "mathematical proof" al idioma español:
Diccionario Inglés-Español
Ejemplos (Fuentes externas, no revisadas)
| 1989a, A new proof of the Gödel incompleteness theorem, Notices of the American Mathematical Society 36 388 390. | 1989a, A new proof of the Gödel incompleteness theorem, Notices of the American Mathematical Society 36 388 390. |
| Mathematical Functions | Funciones matemáticas |
| Mathematical Syntax | Sintaxis matemática |
| mathematical operators | Operadores matemáticos |
| Mathematical Operators | Operadores matemáticos |
| Mathematical Symbols | SímbolosmatemáticosKCharSelect section name |
| Mathematical Operators | Operadores matemáticosKCharselect unicode block name |
| Murray, Mathematical Biology . | Murray, Mathematical Biology . |
| Mathematical Biology I. | Mathematical Biology I. |
| mathematical function plotter | Trazador de funciones matemáticas |
| Supplemental Mathematical Operators | Operadores matemáticos suplementarios |
| Mathematical Alphanumeric Symbols | Símbolos matemáticos alfanuméricos |
| Mathematical Function Plotter | Trazador de funciones matemáticasName |
| Supplemental Mathematical Operators | Operadores matemáticos suplementariosKCharselect unicode block name |
| Angry at Leif Ericson for stealing his thunder 500 years before, Christopher Columbus once wrote a rigorous mathematical proof that showed how Ericson had never actually been to North America. Unfortunately, the proof was too difficult for even the brightest mathematicians to understand. | Enfadado con Leif Ericson por haberle robado el descubrimiento 500 años antes, Cristóbal Colón una vez escribió una rigurosa demostración matemática que demostraba que Ericson nunca había estado realmente en América del Norte. Desgraciadamente, ésta era demasiado difícil de entender incluso para los matemáticos más brillantes. |
| Miscellaneous Mathematical Symbols A | Símbolos matemáticos diversos A |
| Miscellaneous Mathematical Symbols B | Símbolos matemáticos diversos B |
| Miscellaneous Mathematical Symbols A | Símbolos matemáticos diversos AKCharselect unicode block name |
| Proof | Prueba |
| Einstein was a mathematical genius. | Einstein fue un genio de las matemáticas. |
| He is a mathematical genius. | Él es un genio de la matemática. |
| Rubinow, Introduction to mathematical biology . | Rubinow, Introduction to mathematical biology . |
| Mathematical formula typesetting using LaTeX. | Permite escribir fórmulas matemáticas usando LaTeX. |
| KDE Frontend to mathematical applications | Interfaz de usuario de KDE para aplicaciones matemáticas |
| KDE Frontend to Mathematical Software. | Motor de KDE para software matemático. Name |
| Mathematical function plotter for KDE | Trazador de funciones matemáticas para KDE |
| A powerful mathematical equation solver | Un potente sistema de resolución de ecuaciones matemáticasName |
| kformula an editor for mathematical formulae. | kformula un editor de fórmulas matemáticas. |
| The principal American Mathematical Society packages | Los principales paquetes de la American Mathematical Society |
| Mathematical chemistry Discussion and prediction of the molecular structure using mathematical methods without necessarily referring to quantum mechanics. | Química matemática La discusión y predicción de la estructura molecular usando métodos matemáticos sin recurrir necesariamente a la mecánica cuántica. |
| Wait with Proof | Espera con prueba |
| Another example a little bit more mathematical. | Otro ejemplo, un poco más matemático. |
| An implicit proof by mathematical induction for arithmetic sequences was introduced in the al Fakhri written by al Karaji around 1000 AD, who used it to prove the binomial theorem and properties of Pascal's triangle. | Una implícita demostración de la inducción matemática para secuencias aritméticas fue introducida por Al Karaji en la obra Al Fakhri escrita alrededor del 1000 d.C, usado para probar el teorema binomial y propiedades del triángulo de Pascal. |
| Kurt Gödel wrote the first paper on provability logic, which applies modal logic the logic of necessity and possibility to the theory of mathematical proof, but Gödel never developed the subject to any significant extent. | Si bien Kurt Gödel escribió el primer artículo sobre lógica demostrativa, que aplica la lógica modal la lógica de la necesidad y posibilidad a la teoría de la demostración matemática, pero Gödel nunca desarrollo el tema de una manera significativa. |
| Say 'Bring your proof! | Di Aportad vuestra prueba! . |
| Say, Bring your proof. | Di Aportad vuestra prueba! . |
| The proof is trivial. | La prueba es trivial. |
| The proof is trivial. | La demostración es trivial. |
| You have no proof. | No tenés pruebas. |
| Do you want proof? | Quieres pruebas? |
| And I'm living proof. | Soy prueba viviente de ello. |
| And they're retaliation proof. | Están a salvo de represalias. |
| Use default proof profile | Usar perfil de análisis predefinido |
| Turning BURN Proof on | Activando BURN Proof |
| This E8 pattern has very deep mathematical roots. | Este patrón E8 tiene raíces matemáticas muy profundas. |
Related searches : Mathematical Modelling - Mathematical Modeling - Mathematical Model - Mathematical Operation - Mathematical Process - Mathematical Skills - Mathematical Economics - Mathematical Group - Mathematical Logic - Mathematical Product - Mathematical Statement - Mathematical Notation - Mathematical Space
