- algebra of logic
-
алгебра логики
Англо-русский словарь технических терминов. 2005.
algebra of logic
Смотреть что такое "algebra of logic" в других словарях:
algebra of logic — logikos algebra statusas T sritis automatika atitikmenys: angl. algebra of logic vok. Algebra der Logik, f; logische Algebra, f rus. алгебра логики, f pranc. algèbre logique, f … Automatikos terminų žodynas
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… … Universalium
logic — Synonyms and related words: Aristotelian logic, Boolean algebra, Ramistic logic, admissibility, aesthetics, algebra of classes, algebra of relations, axiology, casuistry, common sense, cosmology, deduction, dialectic, dialectics, doctrine of… … Moby Thesaurus
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
logic — The general science of inference. Deductive logic, in which a conclusion follows from a set of premises, is distinguished from inductive logic, which studies the way in which premises may support a conclusion without entailing it. In deductive… … Philosophy dictionary
Algebra der Logik — logikos algebra statusas T sritis automatika atitikmenys: angl. algebra of logic vok. Algebra der Logik, f; logische Algebra, f rus. алгебра логики, f pranc. algèbre logique, f … Automatikos terminų žodynas
algebra — n. 1 the branch of mathematics that uses letters and other general symbols to represent numbers and quantities in formulae and equations. 2 a system of this based on given axioms (linear algebra; the algebra of logic). Derivatives: algebraic adj … Useful english dictionary
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… … Wikipedia
Álgebra de Boole — (también llamada Retículas booleanas) en informática y matemática, es una estructura algebraica que esquematiza las operaciones lógicas Y, O , NO y Si (AND,OR,NOT,IF), así como el conjunto de operaciones unión, intersección y complemento. Se… … Wikipedia Español
