Tradução de "lógica e abordagem" para o idioma inglês:
Exemplos (Fontes externas, não revisadas)
| 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. |
| Os frameworks web MVC mais recentes levam uma abordagem de thin client que colocou quase o modelo, a visão e a lógica do controlador inteiros no servidor. | Early web MVC frameworks took a thin client approach that placed almost the entire model, view and controller logic on the server. |
| ) aparecerem em 1910 1913, a abordagem dominante para a lógica matemática ainda era a de George Boole (1815 1864) e seus descendentes intelectuais, especialmente Ernst Schröder (1841 1902). | ) appeared in 1910 13, the dominant approach to mathematical logic was still that of George Boole (1815 64) and his intellectual descendants, especially Ernst Schröder (1841 1902). |
| 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. |
| 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 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. |
| 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. |
| 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 . |
| 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. |
| 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. |
| 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. |
| Qual o relacionamento entre Lógica e Matemática. | In one sense it is irrefutable and logically true. |
| A fim de tornar as operações de seleção subsequentes na tabela resultante significativa, um significado semântico precisa ser atribuído ao nulos, na abordagem de Codd a lógica proposicional usada pela seleção é estendido a uma lógica de três valores, embora elidimos os detalhes neste artigo. | In order to make subsequent selection operations on the resulting table meaningful, a semantic meaning needs to be assigned to nulls in Codd's approach the propositional logic used by the selection is extended to a three valued logic, although we elide those details in this article. |
| 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. |
| Essas opções são o que eu chamo de abordagem gerontológica e abordagem geriátrica. | They're what I'm calling here the gerontology approach and the geriatrics approach. |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| 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. |
| 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. |
| E a lógica do nosso experimento foi simples. | And the logic of our experiment was simple. |
| Ele tem uma cabeça lógica e é chato. | He was so logical and boring. |
| 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 . |
| 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. |
| 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. |
| A lógica da abordagem liberal é de que os benefícios económicos do comércio surgem das importações quanto mais baratas forem as importações, melhor, mesmo que o resultado seja um défice comercial. | The logic of the liberal approach is that the economic benefits of trade arise from imports the cheaper the imports, the better, even if the result is a trade deficit. |
| 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. |
| 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 abordagem é semelhante à abordagem da matemática aplicada. | The approach is similar to that of applied mathematics. |
| E a lógica é um pouco mais sutil aqui. | And the logic's a little more subtle here. |
| O Turco é uma língua muito regular e lógica. | Turkish is a very regular and logical language. |
| É 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). |
| o estreitamento do desvio entre a abordagem avançada e a abordagem fundamental baseadas em notações internas | the narrowing of the gap between the advanced and foundation IRB approaches |
| ABORDAGEM GLOBAL | GENERAL APPROACH |
| Nesse vídeo nós estamos usando uma abordagem chamada abordagem reativa. | So, in this video we're using an approach called the reactive approach. |
| Jogo de Lógica tipo Sokoban | Sokoban like Logic Game |
Pesquisas relacionadas : Abordagem Lógica - E Lógica - Lógica E Objectivo - Lógica E Design - Física E Lógica - Lógica E Os Objectivos - Razão E Da Lógica - Estratégia E Abordagem - Atitude E Abordagem - Objetivos E Abordagem - Abordagem E Estrutura - Abordagem E Resultados - Abordagem E Procedimento
