Traducción de "fixed point arithmetic" al idioma español:
Diccionario Inglés-Español
Ejemplos (Fuentes externas, no revisadas)
| Fixed Point | Punto fijo |
| Arithmetic | AritméticaComparison Exercise |
| Arithmetic | Aritmética |
| Arithmetic | Aritmetica |
| Arithmetic Operators | Operadores |
| Arithmetic Operators | Operadores de Asignación |
| Exercise Arithmetic | Aritmética |
| Tom likes arithmetic. | A Tom le gusta la aritmética. |
| 1912 Luitzen Egbertus Jan Brouwer presents the Brouwer fixed point theorem. | 1912 Luitzen Egbertus Jan Brouwer presenta el teorema del punto fijo de Brouwer. |
| Consider some fiscal arithmetic. | Consideremos alguna aritmética fiscal. |
| Arithmetic deals with numbers. | La aritmética trata de los números. |
| For example mental arithmetic. | Por ejemplo la aritmética mental. |
| Arithmetic using Special Paste | Aritmética usando pegado especial |
| The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic. | 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. |
| A little arithmetic shows why. | Para entender por qué, basta hacer unas cuentas. |
| Accuracy is important in arithmetic. | La precisión es importante en aritmética. |
| I got a B in arithmetic. | Tengo una B en aritmética. |
| How many arithmetic books are left? | Cuántos libros de aritmética quedan? |
| Introduction Heyting arithmetic adopts the axioms of Peano arithmetic (PA), but uses intuitionistic logic as its rules of inference. | La aritmética de Heyting adopta los axiomas de Peano, pero utiliza las reglas de inferencia de la lógica intuicionista. |
| The boy can solve any problem in arithmetic. | El niño puede resolver cualquier problema en la aritmética. |
| 1998, Gottlob Frege and the Foundations of Arithmetic. | 1998, Gottlob Frege and the Foundations of Arithmetic. |
| 1977, On deciding the provability of certain fixed point statements, Journal of Symbolic Logic 42 191 193. | 1977, On deciding the provability of certain fixed point statements, Journal of Symbolic Logic 42 191 193. |
| A set is arithmetical (also arithmetic and arithmetically definable) if it is defined by some formula in the language of Peano arithmetic. | Un conjunto es aritmético (o definible aritméticamente) si es definido por alguna fórmula en el lenguaje de aritmética de Peano. |
| Basic carbon arithmetic illustrates the scale of the problem. | La magnitud del problema se muestra mediante cálculos básicos del balance de carbono. |
| Two times two equaled four before the Arithmetic Revolution. | Dos por dos era igual a cuatro antes de la Revolución Aritmética. |
| Fixed Pre fixed floating Zero coupon | Fijo Prefijado variable Cupón cero |
| (See analytical hierarchy for the analogous construction of second order arithmetic. | (Ver jerarquía analítica para una construcción análoga de la aritmética de segundo orden. |
| Al Hassar Sefer ha Ḥeshbon (1271 Treatise on Arithmetic Steinschneider, l.c. | Al Hassar Sefer ha Ḥeshbon (1271 Tratado de aritmética Steinschneider, l.c. |
| Fixed | Fijo |
| Fixed | FijoSize Policy |
| Fixed | Fija |
| The bids with the lowest swap point quotations are satisfied first and subsequently successively higher swap point quotations areaccepted until the total amount of the fixed currency to be allotted is exhausted . | Las pujas con los puntos swap más bajosson las primeras en cubrirse y después , sucesivamente , se van aceptando las pujas con puntos swapmás altos , hasta agotar el volumen total de divisa base que ha de adjudicarse . |
| The bids with the highest swap point quotations are satisfied first and subsequently successively lower swap point quotations are accepted until the total amount of the fixed currency to be absorbed is exhausted . | Las pujas con puntos swap más altos son las primeras en cubrirse y después , sucesivamente , se van aceptando las pujas con puntos swap más bajos , hasta agotar el volumen de absorción total de divisa base . |
| The bids with the lowest swap point quotations are satisfied with priority and successively higher swap point quotations are accepted until the total amount of the fixed currency to be allotted is exhausted . | Las pujas con los puntos swap más bajos son las primeras en cubrirse y después , sucesivamente , se van aceptando las pujas con puntos swap más altos , hasta agotar el volumen total de divisa base que ha de adjudicarse . |
| The bids with the highest swap point quotations are satisfied with priority and successively lower swap point quotations are accepted until the total amount of the fixed currency to be absorbed is exhausted . | Las pujas con puntos swap más altos son las primeras en cubrirse y después , sucesivamente , se van aceptando las pujas con puntos swap más bajos , hasta agotar el volumen de absorción total de divisa base . |
| Rømer then saw that the freezing point of pure water was roughly one eighth of the way (about 7.5 degrees) between these two points, so he redefined the lower fixed point to be the freezing point of water at precisely 7.5 degrees. | Rømer vio que el punto de congelación del agua quedaba a casi un octavo de este valor (7,5 grados), y usó este valor como otro punto de referencia. |
| ( ii ) fixed | ( ii ) fijo |
| Fixed assets | Activo fijo |
| Fixed assets | D. No C. Resto clasificados del mundo en los anteriores |
| Fixed Nodes | Nodos Fixed |
| Fixed font | Tipo de letra fija |
| Fixed Date | Fecha fija |
| Fixed Font | Tipo de letra de ancho fijo |
| Fixed width | Anchura fijafont usage |
| Fixed font | Tipo de letra monoespaciado |
Related searches : Floating Point Arithmetic - Fixed Point - Fixed-point Part - Fixed-point Notation - Fixed Point Format - Fixed Datum Point - Fixed-point Number - Mental Arithmetic - Arithmetic Operation - Arithmetic Check - Arithmetic Calculation - Simple Arithmetic - Basic Arithmetic
