1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство
1) логика; логический 2) вчт логические схемы, логика 3) логический блок; логический узел Например: logic with identity — логика с тождеством logic without identity — логика без тождества
1) логика в вычислительной технике - последовательность операций, выполняемых программно или аппаратно. Соответственно говорят о программной логике (software logic) и об аппаратной логике (hardware logic) Смотри также: algorithm 2) логический
имя существительное 1) логика (наука) 2) логика, логичность, закономерность, разумность Например: to apply / use logic — применять логику There is no logic in their policy. — В их политике отсутствует логичность. clear logic — чёткая логика cold logic — беспристрастная логика irrefutable logic — неопровержимая логика simple logic — простая логика 3) [информатика и компьютерные технологии] логическая схема, логический узел (в компьютере)
noun Etymology: Middle English logik, from Anglo-French, from Latin logica, from Greek logikē, from feminine of logikos of reason, from logos reason — more at legend 1. a. (1) a science that deals with the principles and criteria of validity of inference and demonstration; the science of the formal principles of reasoning (2) a branch or variety of logic Example: modal logic Example: Boolean logic (3) a branch of semiotic; especially syntactics (4) the formal principles of a branch of knowledge b. (1) a particular mode of reasoning viewed as valid or faulty (2) relevance, propriety c. interrelation or sequence of facts or events when seen as inevitable or predictable d. the arrangement of circuit elements (as in a computer) needed for computation; also the circuits themselves 2. something that forces a decision apart from or in opposition to reason Example: the logic of war • logician noun
1. A branch of philosophy and mathematics that deals with the formal principles, methods and criteria of validity of inference, reasoning and knowledge. Logic is concerned with what is true and how we can know whether something is true. This involves the formalisation of logical arguments and proofs in terms of symbols representing propositions and logical connectives. The meanings of these logical connectives are expressed by a set of rules which are assumed to be self-evident. Boolean algebra deals with the basic operations of truth values: AND, OR, NOT and combinations thereof. Predicate logic extends this with existential and universal quantifiers and symbols standing for predicates which may depend on variables. The rules of natural deduction describe how we may proceed from valid premises to valid conclusions, where the premises and conclusions are expressions in predicate logic. Symbolic logic uses a meta-language concerned with truth, which may or may not have a corresponding expression in the world of objects called existance. In symbolic logic, arguments and proofs are made in terms of symbols representing propositions and logical connectives. The meanings of these begin with a set of rules or primitives which are assumed to be self-evident. Fortunately, even from vague primitives, functions can be defined with precise meaning. Boolean logic deals with the basic operations of truth values: AND, OR, NOT and combinations thereof. Predicate logic extends this with existential quantifiers and universal quantifiers which introduce bound variables ranging over finite sets; the predicate itself takes on only the values true and false. Deduction describes how we may proceed from valid premises to valid conclusions, where these are expressions in predicate logic. Carnap used the phrase "rational reconstruction" to describe the logical analysis of thought. Thus logic is less concerned with how thought does proceed, which is considered the realm of psychology, and more with how it should proceed to discover truth. It is the touchstone of the results of thinking, but neither its regulator nor a motive for its practice. See also fuzzy logic, logic programming, arithmetic and logic unit, first-order logic, See also Boolean logic, fuzzy logic, logic programming, first-order logic, logic bomb, combinatory logic, higher-order logic, intuitionistic logic, equational logic, modal logic, linear logic, paradox. 2. Boolean logic circuits. See also arithmetic and logic unit, asynchronous logic, TTL.