Tradução de "set of logic" para a língua portuguesa:
Dicionário Inglês-Português
Logic - translation :
Exemplos (Fontes externas, não revisadas)
| Systems of constructive set theory, such as CST, CZF, and IZF, embed their set axioms in intuitionistic instead of classical 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. |
| Mathematical logic If S is a set of sentences of first order logic and B is a consistent subset of S , then B is included in a set that is maximal among consistent subsets of S . | Lógica matemática Se S é um conjunto de sentenças da lógica de primeira ordem e B é um subconjunto consistente de S , então B está incluso em um conjunto que é maximal entre os subconjuntos consistentes de S . |
| ISBN 0 8264 9528 1 George Tourlakis, Lectures in Logic and Set Theory, Volume 1, Mathematical Logic , Cambridge University Press, 2003. | ISBN 0 8264 9528 1 George Tourlakis, Lectures in Logic and Set Theory, Volume 1, Mathematical Logic , Cambridge University Press, 2003. |
| 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. |
| Set theory is the branch of mathematical logic that studies sets, which are collections of objects. | Teoria dos conjuntos é o ramo da matemática que estuda conjuntos, que são coleções de elementos. |
| The truth values of logical formulas usually form a finite set, generally restricted to two values true and false , but logic can also be continuous valued, e.g., fuzzy logic. | Os valores verdade de fórmulas lógicas geralmente formam um conjunto finito, geralmente restrito a dois valores o verdadeiro e o falso , mas a lógica também pode ser de valor contínuo, por exemplo, a lógica fuzzy. |
| 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. |
| Role in mathematical logic Deductive systems and completeness A deductive system consists of a set formula_56 of logical axioms, a set formula_57 of non logical axioms, and a set formula_58 of rules of inference . | Papel na lógica matemática Sistema dedutivo e completudeUm sistema dedutivo consiste, de um grupo formula_56 de axiomas lógicos, um conjunto formula_57 de axiomas não lógicos, e um conjunto formula_58 de regras de inferência. |
| Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. | A lógica matemática é muitas vezes dividida em campos da teoria dos conjuntos, teoria de modelos, teoria da recursão e teoria da prova. |
| These foundations use toposes, which resemble generalized models of set theory that may employ classical or nonclassical logic. | Essas fundamentações usam tópicos que em muito se parecem com modelos generalizados das teorias dos conjuntos, e empregam lógica clássica ou não clássica. |
| For instance, in mathematical logic, the set of possible formulas of a particular logic is a formal language, and an interpretation assigns a meaning to each of the formulas usually, a truth value. | Por exemplo, em matemática lógica, o conjunto de possíveis fórmulas de uma lógica particular é uma linguagem formal, e uma interpretação atribui um significado para cada uma das fórmulas, geralmente, um valor verdadeiro . |
| 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. |
| In its hardware form, a FIFO primarily consists of a set of read and write pointers, storage and control logic. | Na forma de um hardware o FIFO consiste basicamente de um conjunto de ler e escrever ponteiros, armazenamento e lógica de controle. |
| 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. |
| Formalization of Logic . | Formalization of Logic . |
| Logic In logic, Antisthenes was troubled by the problem of universals. | Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais. |
| 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. |
| Formal theories, systems and proofs In mathematical logic, a formal theory is a set of sentences expressed in a formal language. | Teorias formais, sistemas e provas Na lógica matemática, uma teoria formal é um conjunto de sentenças expressas em uma linguagem formal. |
| The development of logic . | O desenvolvimento da Lógica. |
| Subfields and scope The Handbook of Mathematical Logic makes a rough division of contemporary mathematical logic into four areas set theory model theory recursion theory, and proof theory and constructive mathematics (considered as parts of a single area). | Sub áreas e escopoO manual de lógica matemática divide a matemática contemporânea em quarto áreas teoria dos conjuntos teoria dos modelos teoria da recursão teoria da prova e da matemática construtiva consideradas partes de uma única área. |
| 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. |
| 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. |
| Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. | Lógica Matemática é uma sub área da matemática que explora as aplicações da lógica formal para a matemática. |
| 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. |
| The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. | Autor de mais de 200 livros e artigos, ele foi um dosfundadores da lógica matemática e da teoria dos conjuntos, para as quais ele também contribuiu bastante da notação. |
| The logic of the market | A lógica de mercado |
| Ontology and History of Logic. | Lógica para Ciência da Computação. |
| The Logic of Modern Physics . | The Logic of Modern Physics . |
| Graham Priest, 1984, Logic of Paradox Revisited , Journal of Philosophical Logic , v. 13, n. 2, pp. | Graham Priest, 1984, Logic of Paradox Revisited , Journal of Philosophical Logic , v. 13, n. 2, pp. |
| 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 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. |
| In propositional logic, these symbols can be manipulated according to a set of axioms and rules of inference, often given in the form of truth tables. | Em lógica proposicional, esses símbolos podem ser manipulados de acordo com um conjunto de axiomas e regras de inferência, muitas vezes dadas na forma de tabelas verdade. |
| The logic of devolution is clear. | A lógica da devolução é simples. |
| Probability Theory The Logic of Science . | Probability Theory The Logic of Science . |
| First order logic Axiom of Equality. | Axioma de Igualdade. |
| Reason and logic can however be thought of as distinct, although logic is one important aspect of reason. | A razão é considerada pelos racionalistas a forma mais viável de descobrir o que é verdadeiro ou melhor. |
| 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. |
| Syllabus of a Proposed System of Logic . | Syllabus of a Proposed System of Logic . |
| 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 |
| 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. | 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. |
| The logic of intervention goes through cycles. | A lógica de intervenção passa por diversos ciclos. |
| Mathematics is like the logic of physics. | A matemática é como a lógica da física. |
| Formal Logic or The Calculus of Inference . | Formal Logic or The Calculus of Inference . |
Related searches : Logic Of - System Of Logic - Logic Of War - Logic Of Exchange - Logic Of Control - Logic Of Action - Lack Of Logic - Leap Of Logic - Line Of Logic - Powers Of Logic - Logic Of Confidence - Logic Of Functioning - Sense Of Logic
