Tradução de "na lógica" para o idioma inglês:
Dicionário Português-Inglês
Lógica - tradução :
Exemplos (Fontes externas, não revisadas)
| Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais. | Logic In logic, Antisthenes was troubled by the problem of universals. |
| 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. |
| 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. |
| Na lógica chamamos a estes enunciados universais. | Logicians call these statements universal. |
| 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. |
| 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. |
| Na Lógica, uma lógica multi valorada é um calculo proposicional no qual existem mais de dois valores. | In logic, a many or multi valued logic is a propositional calculus in which there are more than two values. |
| ZFC, entretanto, ainda está formalizada na lógica clássica. | ZFC, however, is still formalized in classical logic. |
| 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. |
| Por exemplo, na maioria dos sistemas de lógica (exceto na lógica intuicionista), a lei de Peirce ((( P Q ) P ) P ) é um teorema. | For example, in most systems of logic (but not in intuitionistic logic) Peirce's law ((( P Q ) P ) P ) is a theorem. |
| 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. |
| Na lógica informal este argumento é chamado de contador. | In informal logic this is called a counter argument. |
| A lógica da FSM é mostrada na figura 6. | The FSM logic is shown in Figure 8. |
| 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. |
| Na lógica, mais precisamente em lógica clássica proposicional de primeira ordem uma constante representa uma função 0 ária (zero ária). | A constant function of a single variable, such as formula_3, has a graph that is a horizontal straight line, parallel to the x axis. |
| 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. |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| Após transformar se na pessoa mais nova a terminar um doutorado na Universidade de Varsóvia, Tarski ensinou lógica no Instituto Pedagógico da Polônia, matemática e lógica na universidade, e foi assistente do Lukasiewicz. | After becoming the youngest person ever to complete a doctorate at Warsaw University, Tarski taught logic at the Polish Pedagogical Institute, mathematics and logic at the University, and served as Łukasiewicz's assistant. |
| Argumentos formais e argumentos informais Argumentos informais são estudados na lógica informal. | Formal and informal Informal arguments as studied in informal logic , are presented in ordinary language and are intended for everyday discourse. |
| 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 . |
| 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. |
| 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. |
| Em 1719 foi inscrito na Universidade de Edimburgo para estudar lógica e teologia. | In 1719, he enrolled at the University of Edinburgh to study logic and theology. |
| 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 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. |
| 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. |
| Gottlob Frege apresentou um desenvolvimento independente da lógica com quantificadores no seu Begriffsschrift , publicado em 1879, um trabalho por muitos considerado como uma reviravolta na histórica da lógica. | Gottlob Frege presented an independent development of logic with quantifiers in his Begriffsschrift , published in 1879, a work generally considered as marking a turning point in the history of logic. |
| É evidente que também o Irão não pensou na conclusão lógica da sua situação. | Iran, too, evidently has not thought its position through to its logical conclusion. |
| Na preparação de uma proposta de projecto importa descrever claramente a lógica da mesma. | When preparing a project proposal, it is important to clearly outline the logic of the proposal. |
| Na lógica matemática, esta é muitas vezes feito em termos de teoria de modelos. | In mathematical logic, this is often done in terms of model theory. |
| Apropriadamente dado o seu interesse por lógica e matemática ele vivia na Avenida Euclid. | Appropriately enough given his interest in logic and mathematics they lived on Euclid Avenue. |
| 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. |
Pesquisas relacionadas : Baseada Na 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
