Tradução de "unidade lógica aritmética" para o idioma inglês:
Dicionário Português-Inglês
Aritmética - tradução : Lógica - tradução : Unidade - tradução : Unidade - tradução :
Exemplos (Fontes externas, não revisadas)
| A unidade lógica e aritmética (ULA) ou em inglês Arithmetic Logic Unit (ALU) é um circuito digital que realiza operações lógicas e aritméticas. | In digital electronics, an arithmetic logic unit (ALU) is a digital circuit that performs arithmetic and bitwise logical operations on integer binary numbers. |
| Os outros recursos do processador físico como cache de memória, unidade lógica e aritmética, barramentos, são compartilhados entre os processadores lógicos, parecendo assim um sistema com dois processadores. | These shared resources allow the two logical processors to work with each other more efficiently, and lets one borrow resources from the other when one is stalled. |
| Eu li sobre como a CPU fica constantemente enviando dados para lá e para cá entre a memória, a RAM e a ALU, a unidade de lógica e aritmética. | 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. |
| Aqui nós temos toda a aritmética e lógica binária que conduziu a revolução dos computadores, | Here, we have all the binary arithmetic and logic that drove the computer revolution. |
| A primeira pessoa a realmente explicar isso foi Thomas Hobbes, que em 1651, explicou como a aritmética e a lógica são a mesma coisa, e se você quer ter um pensamento artificial e uma lógica artificial, você pode fazer tudo com a aritmética. | The first person to really explain that was Thomas Hobbes, who, in 1651, explained how arithmetic and logic are the same thing, and if you want to do artificial thinking and artificial logic, you can do it all with arithmetic. |
| Bob Hale e Crispin Wright discutem que não é um problema para a lógica, porque os teoremas da incompletude se aplicam igualmente à lógica de primeira ordem assim como faz para a aritmética. | Bob Hale and Crispin Wright argue that it is not a problem for logicism because the incompleteness theorems apply equally to first order logic as they do to arithmetic. |
| Na lógica, o segundo problema na lista de problemas abertos de David Hilbert, apresentados em 1900, era provar que os axiomas da aritmética são consistentes. | In logic, the second problem on David Hilbert's list of open problems presented in 1900 was to prove that the axioms of arithmetic are consistent. |
| Lógica de segunda ordem predicativa mais Lei Básica V é comprovadamente consistente por métodos finitístico ou construtivos, mas pode interpretar apenas fragmentos muito fracos da aritmética. | Predicative second order logic plus Basic Law V is provably consistent by finitistic or constructive methods, but it can interpret only very weak fragments of arithmetic. |
| Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes de todos menos aos mais triviais sistemas axiomáticos capazes de fazer aritmética. | Gödel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. |
| A parte central do ensino envolvia o estudo das artes preparatórias, ou artes liberais o trivium gramática, retórica e lógica e do quadrivium aritmética, geometria, música e astronomia. | The studies for this were organized by the faculty of arts, where the seven liberal arts were taught arithmetic, geometry, astronomy, music theory, grammar, logic, and rhetoric. |
| Média aritmética geométrica A média aritmética geométrica produz aproximações de alta precisão do logaritmo natural. | Arithmetic geometric mean approximation The arithmetic geometric mean yields high precision approximations of the natural logarithm. |
| Na Europa rapazes encaminhavam se à universidade após completar o estudo do trivium as artes preparatórias da gramática, retórica e lógica ou dialética e do quadrivium aritmética, geometria, música e astronomia. | In Europe, young men proceeded to university when they had completed their study of the trivium the preparatory arts of grammar, rhetoric and dialectic or logic and the quadrivium arithmetic, geometry, music, and astronomy. |
| O fato de que todas as leis usuais da aritmética são válidas nos inteiros pode ser expresso matematicamente dizendo se que (Z, , ) é um anel comutativo com unidade. | The integers form a unital ring which is the most basic one, in the following sense for any unital ring, there is a unique ring homomorphism from the integers into this ring. |
| Ao trabalhar com a lógica fuzzy é comum chamar a lógica booleana de lógica nítida. | Fuzzy logic has been applied to many fields, from control theory to artificial intelligence. |
| A aritmética lida com números. | Arithmetic deals with numbers. |
| A aritmética mexe com números. | Arithmetic deals with numbers. |
| Ele é bom em aritmética. | He's good at arithmetic. |
| Quantos livros de aritmética faltam? | How many arithmetic books are left? |
| A lógica simbólica é frequentemente dividida em dois ramos lógica proposicional e a lógica de predicados. | Symbolic logic is often divided into two branches propositional logic and predicate logic. |
| Tendo exposto essa possibilidade, o propósito maior de Frege era defender a visão de que a aritmética é um ramo da lógica, uma visão conhecida como logicismo ao contrário de geometria, aritmética era para ser mostrada como não ter qualquer base na intuição , e sem necessidade de axiomas não lógicos. | Having exhibited this possibility, Frege's larger purpose was to defend the view that arithmetic is a branch of logic, a view known as logicism unlike geometry, arithmetic was to be shown to have no basis in intuition , and no need for non logical axioms. |
| O trabalho de ambos autores foi muito influenciado por Kurt Gödel e o seu teorema da completude, principalmente pela enumeração de Gödel para fórmulas lógicas a fim de reduzir a lógica a aritmética. | The work of both authors was heavily influenced by Kurt Gödel's earlier work on his incompleteness theorem, especially by the method of assigning numbers (a Gödel numbering) to logical formulas in order to reduce logic to arithmetic. |
| Lógica NMOS | Designs (e.g. |
| Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais. | Logic In logic, Antisthenes was troubled by the problem of universals. |
| A precisão é importante na aritmética. | Accuracy is important in arithmetic. |
| Como o número de horas começa de novo depois que atinge 12, esta aritmética é chamada aritmética módulo 12. | Because the hour number starts over after it reaches 12, this is arithmetic modulo 12. |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| E se você coloca muitos desses juntos, você têm a essência de um computador moderno. a unidade aritmética, o controle central, a memória, o meio de gravação, o input e o output. | And you put lots of those together, you get the essentials of the modern computer the arithmetic unit, the central control, the memory, the recording medium, the input and the output. |
| É totalitário exigir leitura, escrita e aritmética? | Is it totalitarian to require reading, writing and arithmetic? |
| Fonte Comissão Europeia . Média aritmética não pond . | Source European Commission . |
| Este é o teorema fundamental da aritmética. | This is the fundamental theorem of arithmetic. |
| Está, portanto, demonstrado o Teorema Fundamental da Aritmética. | GCD and the Fundamental Theorem of Arithmetic at cut the knot. |
| Toda aritmética aqui está feita em módulo 9 . | All arithmetic here is done modulo 9. |
| Jogo de lógica GFingerPoken | GFingerPoken logic game |
| A lógica de mercado | The logic of the market |
| Um Prelúdio á Lógica. | Cohen and M.W. |
| Introdução à Lógica Simbólica. | Introduction to Mathematical Logic . |
| A lógica, entretanto, prevaleceu. | However, it is all we have. |
| (Veja também lógica intuicionista). | U.S. Dept. |
| Mundo Possível Lógica Modal | Acumben Publishing Limited. |
| O desenvolvimento da Lógica. | The development of logic . |
| Complemento do título Unidade Multiplicador da unidade | Title complement Unit |
| Complemento do título Unidade Multiplicador da unidade | Title complement Unit Unit multiplier Decimals National language title Compilation |
| Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. | These areas share basic results on logic, particularly first order logic, and definability. |
| Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições. | In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. |
Pesquisas relacionadas : Unidade Aritmética - Unidade Lógica - Unidade Lógica - Unidade Lógica - Aritmética - Unidade De Processamento Aritmética - Aritmética Mental - Operação Aritmética - Verificação Aritmética - Progressão Aritmética - Aritmética Simples - Aritmética Básica - Inteiro Aritmética
