Tradução de "symbolic logic" para a língua portuguesa:

Dicionário Inglês-Português

Logic - translation :

Symbolic - translation :

Palavras-chave : Lógica Lógica Lógico Raciocínio Matemática Simbólico Simbólicos Gesto Simboliza Simbolismo

Exemplos (Fontes externas, não revisadas)

Symbolic logic is often divided into two branches propositional logic and predicate logic.	A lógica simbólica é frequentemente dividida em dois ramos lógica proposicional e a lógica de predicados.
Introduction to Symbolic Logic with Applications .	Introduction to Symbolic Logic with Applications .
Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics.	A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais.
Peters for the Association for Symbolic Logic, 2001.	Peters for the Association of Symbolic Logic, 2001.
Predicate logic Predicate logic is the generic term for symbolic formal systems such as first order logic, second order logic, many sorted logic, and infinitary logic.	Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas.
John Venn 1881 Symbolic Logic , MacMillan and Co., London.	John Venn 1881 Symbolic Logic , MacMillan and Co., London.
For example, in symbolic logic and mathematical logic, proofs by humans can be computer assisted.	Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador.
Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.	Lógica simbólica é o estudo das abstrações simbólicas que capturam as características formais da inferência lógica.
Hans Reichenbach, Elements of Symbolic Logic , Dover, New York, 1947, 1975.	Hans Reichenbach, Elements of Symbolic Logic , Dover, New York, 1947, 1975.
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.	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.
An example of this is the use of the rules of inference found within symbolic logic.	Na lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.
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.	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.
Hans Reichenbach 1947 Elements of Symbolic Logic republished 1980 by Dover Publications, Inc., NY, ISBN 0 486 24004 5.	Hans Reichenbach 1947 Elements of Symbolic Logic republished 1980 by Dover Publications, Inc., NY, ISBN 0 486 24004 5.
John Barkley Rosser, 1936, Extensions of some theorems of Gödel and Church, reprinted from the Journal of Symbolic Logic vol.	John Barkley Rosser, 1936, Extensions of some theorems of Gödel and Church, reprinted from the Journal of Symbolic Logic vol.
John Barkley Rosser, 1939, An Informal Exposition of proofs of Gödel's Theorem and Church's Theorem , Reprinted from the Journal of Symbolic Logic , vol.	John Barkley Rosser, 1939, An Informal Exposition of proofs of Gödel's Theorem and Church's Theorem , Reprinted from the Journal of Symbolic Logic , vol.
Dan E. Willard (2001), Self Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles , Journal of Symbolic Logic , v. 66 n. 2, pp.	Dan E. Willard (2001), Self Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles , Journal of Symbolic Logic , v. 66 n. 2, pp.
docjazzmusic Symbolic?	docjazzmusic Simbólico?
A symbolic inheritance.	É uma herança simbólica.
symlink (symbolic link translator) Implements symbolic links for filesystems that don't support them.	symlink (tradutor link simbólico) Implementa links simbólicos para os sistemas de arquivos que não os suportam.
Compensatory Fuzzy Logic The CFL (Compensatory Fuzzy Logic) is a branch of Fuzzy Logic.	Na lógica fuzzy são utilizados para definir o grau máximo e mínimo de pertinência do conjunto.
Logic.	Dicionário de Lógica.
388 390 and p. 676, reprinted in Boolos, 1998, Logic, Logic, and Logic , Harvard Univ.	388 390 and p. 676, reprinted in Boolos, 1998, Logic, Logic, and Logic , Harvard Univ.
Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science.	A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações.
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.	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.
that commonly called 'Eulerian circles,' has met with any general acceptance... The first to use the term Venn diagram was Clarence Irving Lewis in 1918, in his book A Survey of Symbolic Logic .	A primeira referência escrita conhecida do termo Diagrama de Venn surge apenas em 1918, no livro de Clarence Irving Lewis, A Survey of Symbolic Logic .
Some aspects of logic system design make use of Boolean logic.	Alguns aspectos dos sistemas lógicos são projetados utilizando princípios da lógica Booleana.
Logic In logic, Antisthenes was troubled by the problem of universals.	Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais.
There are several logic families with different characteristics (power consumption, speed, cost, size) such as RDL (resistor diode logic), RTL (resistor transistor logic), DTL (diode transistor logic), TTL (transistor transistor logic) and CMOS (complementary metal oxide semiconductor).	História Em 1854, o matemático britânico George Boole (1815 1864), através da obra intitulada An Investigation of the Laws of Thought (Uma Investigação Sobre as Leis do Pensamento), apresentou um sistema matemático de análise lógica conhecido como álgebra de Boole.
Alonzo Church, An unsolvable problem of elementary number theory , American Journal of Mathematics, 58 (1936), pp 345 363 Alonzo Church, A note on the Entscheidungsproblem , Journal of Symbolic Logic, 1 (1936), pp 40 41.	Referências Alonzo Church, An unsolvable problem of elementary number theory , American Journal of Mathematics, 58 (1936), pp 345 363 Alonzo Church, A note on the Entscheidungsproblem , Journal of Symbolic Logic, 1 (1936), pp 40 41.
Do symbolic mathematics and quick calculations	Faz cálculos matemáticos simbólicos e cálculos rápidos
Symbolic analyzer of linear analog circuits	Analisador simbólico de circuitos analógicos lineares
Can you imagine? It's very symbolic.	Conseguem imaginar? É muito simbólico.
His main statement regarding symbolic understanding of the world is that meaning is a symbolic healing of injury.	Compreensão divinatória Significa uma adivinhação imediata ou apreensão imediata do sentido de um texto.
GFingerPoken logic game	Jogo de lógica GFingerPoken
Logic circuit simulator	Simulador de circuitos lógicos
Blackbox Logic Game	Jogo de Lógica Caixa Preta
Formalization of Logic .	Formalization of Logic .
These areas share basic results on logic, particularly first order logic, and definability.	Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade.
In 18th century Europe, attempts to treat the operations of formal logic in a symbolic or algebraic way had been made by philosophical mathematicians including Leibniz and Lambert, but their labors remained isolated and little known.	Na Europa do século XVIII, filósofos matemáticos, como Leibniz e Lambert tentaram representar as operações da lógica formal através de símbolos, de forma algébrica mas seus esforços e trabalhos permaneceram isolados e pouco reconhecidos.
Logic control Logic control systems for industrial and commercial machinery were historically implemented at mains voltage using interconnected relays, designed using ladder logic.	Controles lógicos Sistemas de controles lógicos para a indústria e equipamentos comerciais foram historicamente implementados através da lógica de relés, projetados utilizando a lógica ladder.
Perform symbolic and numeric calculations using Maxima	Efectua cálculos numéricos e simbólicos usando o Maxima
Here's just a symbolic picture of that.	Aqui está uma fotografia simbólica disso.
It's symbolic. Roots make a firm foundation.	Isso é simbólico. Raízes desenvolvem uma fundação firme.
Egypt today is hugely symbolic of that.	O Egito é hoje um grande símbolo disso.
Or does it require sub symbolic processing?	Ou ela requer processamento sub simbólico?

Display this page in English