Tradução de "lógica simbólica" para o idioma inglês:
Dicionário Português-Inglês
Lógica - tradução :
Exemplos (Fontes externas, não revisadas)
| Introdução à Lógica Simbólica. | Introduction to Mathematical 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. |
| 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. |
| 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. |
| 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 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. |
| O Entscheidungsproblem (termo alemão para problema de decisão ) é um problema da lógica simbólica que consiste em achar um algoritmo genérico para determinar se um dado enunciado da lógica de primeira ordem pode ser provado. | By the completeness theorem of first order logic, a statement is universally valid if and only if it can be deduced from the axioms, so the can also be viewed as asking for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic. |
| É uma herança simbólica. | A symbolic inheritance. |
| A bandeira ucraniana é simbólica. | It has the same colours as the flag of Opole. |
| Esse trabalho compactava e desenvolvia os trabalhos de Boole, de Morgan, e Peirce e se tornou uma grande referência para lógica simbólica, como era conhecida no fim do século XIX. | This work summarized and extended the work of Boole, De Morgan, and Peirce, and was a comprehensive reference to symbolic logic as it was understood at the end of the 19th century. |
| Aqui está uma fotografia simbólica disso. | Here's just a symbolic picture of that. |
| Também pode ter uma função simbólica ou religiosa. | In addition to furniture's functional role, it can serve a symbolic or religious purpose. |
| 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 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. |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| Simbólica e materialmente, a Igreja Católica permanece em uma posição favorável. | Symbolically and materially, the Roman Catholic Church remains in a favourable position. |
| O Atomium é outra construção simbólica significativa na arquitetura do país. | The Atomium is a symbolic tall structure that was built for the 1958 World's Fair. |
| Livia Rothkirchen chama Kafka de a figura simbólica da sua época . | Livia Rothkirchen calls Kafka the symbolic figure of his era . |
| 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. |
| 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. |
| Foi director do Grupo de Computação Simbólica na Escola de Ciência Informática. | He is a former director of the Symbolic Computation Group in the School of Computer Science. |
| 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. |
| 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 . |
| 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 . |
| 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. |
| 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. |
| Um jogo sobre lógica de número | A number logic game |
Pesquisas relacionadas : Representação Simbólica - Resistência Simbólica - Função Simbólica - Ilustração Simbólica - Natureza Simbólica - Ação Simbólica - Figura Simbólica - Carga Simbólica - Estrutura Simbólica - Interação Simbólica - Soma Simbólica - Taxa Simbólica - Greve Simbólica - Moeda Simbólica
