Translation of "aritmética" to English language:
Dictionary Spanish-English
Examples (External sources, not reviewed)
| Aritmética | Exercise Arithmetic |
| Aritmética | Arithmetic |
| Es aritmética elemental! | And basic math! |
| Consideremos alguna aritmética fiscal. | Consider some fiscal arithmetic. |
| Aritmética usando pegado especial | Arithmetic using Special Paste |
| Tengo una B en aritmética. | I got a B in arithmetic. |
| Cuántos libros de aritmética quedan? | How many arithmetic books are left? |
| Por ejemplo la aritmética mental. | For example mental arithmetic. |
| La precisión es importante en aritmética. | Accuracy is important in arithmetic. |
| La aritmética trata de los números. | Arithmetic deals with numbers. |
| A Tom le gusta la aritmética. | Tom likes arithmetic. |
| Y tenemos algo de incapacidad aritmética básica. | And there's some basic innumeracy going on. |
| El niño puede resolver cualquier problema en la aritmética. | The boy can solve any problem in arithmetic. |
| La jerarquía aritmética es importante en la teoría de recursión, teoría de conjunto descriptivos eficientes, y el estudio de teorías formales tales como aritmética de Peano. | The arithmetical hierarchy is important in recursion theory, effective descriptive set theory, and the study of formal theories such as Peano arithmetic. |
| Al Hassar Sefer ha Ḥeshbon (1271 Tratado de aritmética Steinschneider, l.c. | Al Hassar Sefer ha Ḥeshbon (1271 Treatise on Arithmetic Steinschneider, l.c. |
| Dos por dos era igual a cuatro antes de la Revolución Aritmética. | Two times two equaled four before the Arithmetic Revolution. |
| La aritmética es ser capaz de contar hasta veinte sin quitarte los zapatos. | Arithmetic is being able to count up to twenty without taking off your shoes. |
| (Ver jerarquía analítica para una construcción análoga de la aritmética de segundo orden. | (See analytical hierarchy for the analogous construction of second order arithmetic. |
| Se sabe que los elefantes realizan aritmética simple y los monos Rhesus pueden contar. | Elephants have been known to perform simple arithmetic, and rhesus monkeys and pigeons, in some sense, can count. |
| Aquí tenemos toda la lógica y aritmética binaria que condujo a la revolución de la computación, | Here, we have all the binary arithmetic and logic that drove the computer revolution. |
| La jerarquía hiperaritmética y la jerarquía analítica extienden la jerarquía aritmética clasificando fórmulas y conjuntos adicionales. | The hyperarithmetical hierarchy and the analytical hierarchy extend the arithmetical hierarchy to classify additional formulas and sets. |
| La jerarquía aritmética puede ser definida en todo espacio polaco efectivo la definición es particularmente simple para espacios de Cantor y de Baire porque ellos se ajustan al lenguaje de la ordinario de la aritmética de segundo orden. | The arithmetical hierarchy can be defined on any effective Polish space the definition is particularly simple for Cantor space and Baire space because they fit with the language of ordinary second order arithmetic. |
| Esto no quiere decir que deba consolarse a Israel por la aritmética macabra del derramamiento de sangre. | This is not to say that Israel should be consoled by the macabre arithmetic of bloodshed. |
| La música es la aritmética de los sonidos como la óptica es la geometría de la luz. | Music is the arithmetic of sounds as optics is the geometry of light. |
| Se utiliza una definición paralela para definir la jerarquía aritmética en potencias finitas cartesianas de números naturales. | A parallel definition is used to define the arithmetical hierarchy on finite Cartesian powers of the natural numbers. |
| Existen dos maneras en que se puede clasificar en la jerarquía aritmética un subconjunto del espacio de Baire. | There are two ways that a subset of Baire space can be classified in the arithmetical hierarchy. |
| Ya entonces se quejaban de los manuales antes de cerrarlo con disgusto. La aritmética general los registros de operación, | So, already, they're complaining about the manuals before closing down in disgust ... The General Arithmetic Operating Logs. |
| La aritmética de Heyting adopta los axiomas de Peano, pero utiliza las reglas de inferencia de la lógica intuicionista. | Introduction Heyting arithmetic adopts the axioms of Peano arithmetic (PA), but uses intuitionistic logic as its rules of inference. |
| Formas de pegado especial. Vea las secciones Otros modos de pegado y Aritmética usando pegado especial para más detalles. | Special forms of Paste. See the sections Other Paste Modes and Arithmetic using Special Paste for more details. |
| Así que, si piensas en lo que significa aprender aritmética o aprender a leer, eventualmente estas reprogramando tu propio cerebro. | So if you think about what it means to learn arithmetic or to learn to read, you're actually, literally rewriting your own brain. |
| La jerarquía aritmética, o jerarquía de Kleene clasifica ciertos conjuntos basándose en la complejidad de las fórmulas que los definen. | In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene Mostowski hierarchy classifies certain sets based on the complexity of formulas that define them. |
| Un conjunto es aritmético (o definible aritméticamente) si es definido por alguna fórmula en el lenguaje de aritmética de Peano. | A set is arithmetical (also arithmetic and arithmetically definable) if it is defined by some formula in the language of Peano arithmetic. |
| Basta un poco de aritmética elemental y fundamentos de economía para saber que un problema multilateral no se arregla con una solución bilateral. | Simple arithmetic and basic economics tell us that a multilateral problem cannot be addressed by a bilateral solution. |
| 1895 Georg Cantor publica un libro acerca de teoría de conjuntos conteniendo la aritmética de números cardinales infinitos y la hipótesis del continuo. | 1895 Georg Cantor publishes a book about set theory containing the arithmetic of infinite cardinal numbers and the continuum hypothesis. |
| Aritmética en este ejercicio tiene que resolver una operación con fracciones. Deberá introducir el numerador y el denominador. Este es el ejercicio principal. | Arithmetic in this exercise you have to solve a given fraction task. You have to enter the numerator and the denominator. This is the main exercise. |
| Notar que también podemos definir la jerarquía aritmética de subconjuntos de espacios de Cantor y Baire en forma relativa a algunos conjuntos de enteros. | Note that we can also define the arithmetic hierarchy of subsets of the Cantor and Baire spaces relative to some set of integers. |
| Romney ofrece pocos detalles, pero la aritmética sencilla muestra que su plan requeriría recortes aún más profundos en estos programas que la propuesta de Ryan. | Romney offers few specifics, but simple arithmetic shows that his plan would require even deeper cuts in these programs than Ryan s plan would. |
| La notación polaca, también conocida como notación de prefijo o notación prefija, es una forma de notación para la lógica, la aritmética, y el álgebra. | Polish notation, also known as Polish prefix notation or simply prefix notation, is a form of notation for logic, arithmetic, and algebra. |
| La jerarquía analítica de las fórmulas La notación formula_1indica la clase de fórmulas en el lenguaje de aritmética de segundo orden sin conjunto de cuantificadores. | The analytical hierarchy of formulas includes formulas in the language of second order arithmetic, which can have quantifiers over both the set of natural numbers, formula_1, and over functions from formula_1 to formula_1. |
| El aspecto que se desea capturar es la noción de un predicado de demostración de una teoría formal razonablemente rica, tal como la aritmética de Peano. | The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic. |
| Leí cómo la CPU está constantemente moviendo datos de un lado a otro entre la memoria, la RAM y la ALU, la unidad de aritmética y lógica. | I read about how the CPU is constantly shuffling data back and forth between the memory, the RAM and the ALU, the arithmetic and logic unit. |
| SK En este momento tenemos alrededor de 2.200 videos abarcando todo desde aritmética básica y llegando hasta cálculo vectorial además de algunas de las cosas que vieron ahí. | SK We now have on the order of 2,200 videos covering everything from basic arithmetic all the way to vector calculus and some of the stuff you saw there. |
| Estas características incluyen perforado y lectura de tarjetas a alta velocidad, cinta magnética para entrada y salida, impresión de alta velocidad, programa almacenado, y capacidad aritmética y lógica. | These features include high speed card punching and reading, magnetic tape input and output, high speed printing, stored program, and arithmetic and logical ability. |
| Una fórmula en el lenguaje de aritmética de segundo orden se define mediante formula_2 si es lógicamente equivalente a una fórmula del tipo formula_3 donde formula_4 es formula_5. | A formula in the language of second order arithmetic is defined to be formula_5 if it is logically equivalent to a formula of the form formula_6 where formula_7 is formula_8. |
| En vez de fórmulas con una variable libre, se utilizan fórmulas con k variables libres para definir la jerarquía aritmética sobre conjuntos de k tuplos de números naturales. | Instead of formulas with one free variable, formulas with k free number variables are used to define the arithmetical hierarchy on sets of k tuples of natural numbers. |
Búsquedas relacionadas : Operación Aritmética - Comprobación Aritmética - Progresión Aritmética - Aritmética Simple - Aritmética Básica - Unidad Aritmética - Expresión Aritmética - Media Aritmética - Progresión Aritmética - Media Aritmética - Media Aritmética - Media Aritmética - Aritmética Fraccionaria
