Tradução de "com lógica" para o idioma inglês:
Dicionário Português-Inglês
Lógica - tradução :
Exemplos (Fontes externas, não revisadas)
| 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 . |
| Em muitas definições de lógica, inferência lógica e inferência com conteúdo puramente formal são a mesma coisa. | In many definitions of logic, logical inference and inference with purely formal content are the same. |
| A Lógica filosófica está muito mais preocupada com a conexão entre a Linguagem Natural e a Lógica. | Philosophical logic has a much greater concern with the connection between natural language and logic. |
| A mesma lógica se deu com a Internet. | So if I was talking online with someone at S.D.C. |
| 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. |
| 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 mesma lógica funciona com os livros da bíblia ortodoxa. | The three books of Meqabyan are not to be confused with the books of Maccabees. |
| Um colorido jogo de lógica com modos arcada e táctico | Colorful Logic game with arcade and tactics modes |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| Isso tem a ver com um tipo de lógica ampla e consistente, e essa lógica poderia ser entendida quando alguém ocupa o edifício. | It has to do with a broad, consistent logic, and that logic could be understood as one occupies the building. |
| Lógica formal é o estudo da inferência com conteúdo puramente formal. | Formal logic is the study of inference with purely formal content. |
| Esta lógica pode ainda relacionar se com muitos assuntos em informática. | Intuitionistic logic was proposed by L.E.J. |
| É chamada lógica transistor transistor porque ocorrem as funções porta lógica e de amplificação pelos transistores (em contraste com a RTL e a DTL). | It is called transistor transistor logic because both the logic gating function (e.g., AND) and the amplifying function are performed by transistors (contrast with RTL and DTL). |
| 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 . |
| 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. |
| Teorias formais Verdade lógica A lógica se preocupa com os padrões de razão que podem nos ajudar a dizer se uma proposição é verdadeira ou não. | Formal theories Truth in logic Logic is concerned with the patterns in reason that can help tell us if a proposition is true or not. |
| 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. |
| 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. |
| A lógica é um método sistemático de chegar à conclusão errada com confidência. | Logic is a systematic method of coming to the wrong conclusion with confidence. |
| A lógica é um método sistemático de chegar à conclusão errada com confiança. | Logic is a systematic method of coming to the wrong conclusion with confidence. |
| Para a lógica clássica, pode ser facilmente verificada com uma tabela da verdade. | For classical logic, it can be easily verified with a truth table. |
| Alguns anos depois, Peano publicou seu primeiro livro lidando com a lógica matemática. | A few years later, Peano published his first book dealing with mathematical logic. |
| 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 . |
| Frege queria mostrar que a matemática se desenvolve a partir da lógica, mas ao fazê lo, ele desenvolveu técnicas que o levaram muito além da lógica silogística aristotélica e estóica proposicionais que tinham descido com ele na tradição da lógica. | Frege wanted to show that mathematics grows out of logic, but in so doing, he devised techniques that took him far beyond the Aristotelian syllogistic and Stoic propositional logic that had come down to him in the logical tradition. |
| Os mais populares da literatura são Lógica Tri valorada (ex, Łukasiewicz's e Kleene's), as quais aceitam valores como verdadeiro , falso , e desconhecido , finitas valorações com mais de três valorações, e lógicas de infinitas valorações (ex, Lógica Fuzzy e Lógica Probabilística). | Those most popular in the literature are three valued (e.g., Łukasiewicz's and Kleene's), which accept the values true , false , and unknown , finite valued with more than three values, and the infinite valued (e.g. |
Pesquisas relacionadas : Com Uma Lógica - Escolha Lógica - Lógica Econômica - Concepção Lógica - Lógica Industrial - árvore Lógica - Lógica Relé - Solver Lógica - Consequência Lógica - Lógica Condicional - Lógica Básica - Fornecer Lógica - Extensão Lógica
