Tradução de "ditames da lógica" para o idioma inglês:
Dicionário Português-Inglês
Lógica - tradução :
Exemplos (Fontes externas, não revisadas)
| Tudo dentro dos ditames legais. | All within the legal framework. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| O desenvolvimento da Lógica. | The development of logic . |
| Lógica para Ciência da Computação. | Ontology and History of Logic. |
| A lógica da devolução é simples. | The logic of devolution is clear. |
| Lógica Matemática é uma sub área da matemática que explora as aplicações da lógica formal para a matemática. | Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. |
| No entanto, os patriarcas que aceitaram os ditames daquele concílio passaram a chamar se patriarcas da Igreja Ortodoxa Grega de Alexandria. | For the patriarchs of the Byzantine Orthodox church after the split with the Oriental Orthodox church, see List of Greek Orthodox Patriarchs of Alexandria. |
| Esse artigo utiliza formas da notação da Lógica. | This article uses forms of logical notation. |
| Tarski produziu axiomas para consequência lógica e trabalhou em sistemas dedutivos, algebrização da lógica e na teoria da definibilidade. | Tarski produced axioms for logical consequence , and worked on deductive systems, the algebra of logic, and the theory of definability. |
| 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. |
| 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. |
| 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. |
| 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. |
| Ciência da computação e lógica A teoria dos Jogos veio a impulsionar importantes leis na lógica e na ciência da computação. | Metagames These are games the play of which is the development of the rules for another game, the target or subject game. |
| A matemática é como a lógica da física. | Mathematics is like the logic of physics. |
| História da Lógica de Aristóteles a Bertrand Russell. | Logic from Russell to Church 6. |
| 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. |
| Isso não esvazia a noção de lógica informal, porque nenhuma lógica formal captura todas as nuances da língua natural. | This does not render the notion of informal logic vacuous, because no formal logic captures all of the nuances of natural language. |
| Lógica informal pode chamar a atenção para o estudo da argumentação, que enfatiza implicação, lógica formal e de inferência. | Informal logic may be said to emphasize the study of argumentation, whereas formal logic emphasizes implication and inference. |
| Ray Anderson sobre a lógica de mercado da sustentabilidade | Ray Anderson on the business logic of sustainability |
| A lógica da FSM é mostrada na figura 6. | The FSM logic is shown in Figure 8. |
| Não é uma força sobrenatural em oposição a Deus, mas um reflexo da luta interna moral dentro de humanidade entre os ditames da moralidade e da renúncia de instintos básicos. | It is not a supernatural force opposed to God, but a reflection of the inner moral combat within mankind between the dictates of morality and the surrender to one's basic instincts. |
| Esta é exactamente a lógica por trás da transformação da NATO. | That is exactly the logic behind NATO s transformation. |
| Dicionário de Lógica. | 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. |
| 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. |
| Valéria de Paiva, matemática, lógica e cientista da computação brasileira | Valeria de Paiva, Brazilian mathematician, logician and computer scientist |
| Lógica informal é o estudo da argumentação em língua natural. | Informal logic is the study of natural language arguments. |
| Lógica matemática é uma extensão da lógica simbólica em outras áreas, em especial para o estudo da teoria dos modelos, teoria da demonstração, teoria dos conjuntos e teoria da recursão. | Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory. |
| Sistemas da teoria dos conjuntos construtiva, como CST, CZF e IZF, firmam seus conjuntos de axiomas na lógica intuicionista em vez da lógica de primeira ordem. | Systems of constructive set theory, such as CST, CZF, and IZF, embed their set axioms in intuitionistic instead of classical logic. |
| É apenas uma questão de tempo até que um dos maiores países Europeus em crise eleja uma liderança política que não aceite mais os ditames da austeridade. | It is only a matter of time before one of the large European crisis countries elects a political leadership that no longer accepts the austerity diktats. |
| 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. |
| 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. |
| A maioria dos governos seguiu os ditames dos líderes autoritários de se manter longe desses diferentes grupos, porque eles eram terroristas. | Most governments followed the dictate of the authoritarian leaders to stay away from these different groups, because they were terrorists. |
| 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. |
| ) No ramo da lógica e da matemática este conceito é uma relação inversa. | ) in logic and mathematics, this is discussing an inverse relationship. |
| Lógica formal é o estudo da inferência com conteúdo puramente formal. | Formal logic is the study of inference with purely formal content. |
Pesquisas relacionadas : Ditames Que - Lógica Da - Lógica Da Página - Lógica Da Guerra - Lógica Da Troca - Lógica Da Ação - Ajustes Da Lógica - Por Trás Da Lógica - Razão E Da Lógica - Resultado Da Operação Lógica - Escolha Lógica - Lógica Econômica - Concepção Lógica
