Tradução de "lógica do computador" para o idioma inglês:
Exemplos (Fontes externas, não revisadas)
| Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. | For example, in symbolic logic and mathematical logic, proofs by humans can be computer assisted. |
| Ele fez muito do seu trabalho na década de 60, e então muito desta teoria de lógica foi deixada de lado quando entramos na revolução do computador digital, mas agora está voltando. | He did a lot of this work in the '60s, and so a lot of this logic theory lay fallow as we went down the digital computer revolution, but it's now coming back. |
| História O programa de computador surgiu antes do desenvolvimento do computador eletrônico. | A collection of computer programs and related data is referred to as the software. |
| 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. |
| Lógica tradicional Esta tradição começou com o livro Lógica, ou a arte do pensamento ou Lógica de Port Royal de Antoine Arnauld e Pierre Nicole. | Traditional logic The textbook tradition Traditional logic generally means the textbook tradition that begins with Antoine Arnauld and Pierre Nicole's Logic, or the Art of Thinking , better known as the Port Royal Logic . |
| 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. |
| O sistema lógico de Aristóteles foi responsável pela introdução do silogismo hipotético, lógica modal temporal e lógica indutiva. | Aristotle's system of logic was responsible for the introduction of hypothetical syllogism, temporal modal logic, and inductive logic, as well as influential terms such as terms, predicables, syllogisms and propositions. |
| 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. |
| E a lógica do nosso experimento foi simples. | And the logic of our experiment was simple. |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| O computador do Tom está quebrado. | Tom's computer is broken. |
| O computador do Billy é novo. | Billy's computer is new. |
| Diferentes usos do computador na educação. | Computers and Education, 54, 1145 1156. |
| Embora seja a essência do computador, o microprocessador diferente do microcontrolador, está longe de ser um computador completo. | Structure The internal arrangement of a microprocessor varies depending on the age of the design and the intended purposes of the microprocessor. |
| 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 . |
| Ver também Computador Computação Gráfica Computador doméstico Computador pessoal Servidor Supercomputador Notebook | A transaction could refer to a set of operations including disk read writes, operating system calls, or some form of data transfer from one subsystem to another. |
| 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. |
| Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal. | Conversely, formal arguments are studied in formal logic (historically called symbolic logic , more commonly referred to as mathematical logic today) and are expressed in a formal language. |
| O estudo da lógica O conceito de forma lógica é central à lógica, que se baseia na ideia de que a validade de um argumento é determinada pela sua forma lógica, não pelo seu conteúdo. | The study of logic The concept of logical form is central to logic, it being held that the validity of an argument is determined by its logical form, not by its content. |
| Produção rápida é um arquivo de computador enviado diretamente do computador para a máquina de produção. | Rapid manufacturing is a computer file sent directly from the computer to the manufacturing machine. |
| A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais. | Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics. |
| Como é o interior do seu computador? | What does the inside of your computer actually look like? |
| A cor do computador é o vermelho. | The computer's color is red. |
| Meu computador pifou por causa do calor. | My computer broke due to the heat. |
| Jogo de Lógica tipo Sokoban | Sokoban like Logic Game |
| Jogo de Lógica Caixa Preta | Blackbox Logic Game |
| Esta seria a conclusão lógica. | That would seem the logical conclusion. |
| Vossa resposta não tem lógica. | Your answer doesn't make sense. |
| Deve haver uma explicação lógica. | There must be a logical explanation. |
| Lógica para Ciência da Computação. | Ontology and History of Logic. |
| Paradoxo Matemática Lógica Antinomia jurídica | W. Windelband, History of Philosophy (Eng. |
| Lógica Modus ponens Modus tollens | Introduction to Medieval Logic . |
| Lógica simbólica é o estudo das abstrações simbólicas que capturam as características formais da inferência lógica. | Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference. |
| É um computador molecular construindo um computador eletrônico. | It's a molecular computer building an electronic computer. |
| Uma lógica semelhante conduziu à expansão do sistema de auto estradas interestaduais. | A similar logic led to the expansion of the interstate highway system. |
Pesquisas relacionadas : Lógica Do Núcleo - Lógica Do Núcleo - Lógica Do Controle - Lógica Do Circuito - Lógica Do Processo - Lógica Do Projeto - Lógica Do Design - Lógica Do Desenvolvimento - Lógica Do Mercado - Lógica Do Inversor - Rígido Do Computador - Recursos Do Computador - Placa Do Computador
