- logical expression
-
логическое выражение
Англо-русский словарь технических терминов. 2005.
logical expression
Смотреть что такое "logical expression" в других словарях:
logical expression — loginis reiškinys statusas T sritis automatika atitikmenys: angl. Boolean expression; logical expression vok. logischer Ausdruck, m rus. логическое выражение, n pranc. expression booléenne, f; expression logique, f … Automatikos terminų žodynas
logical expression — loginis reiškinys statusas T sritis informatika apibrėžtis ↑Reiškinys, sudarytas iš ↑loginių kintamųjų, ↑loginių reikšmių ir ↑loginių operacijų (↑inversijos, ↑konjunkcijos, ↑disjunkcijos ir kt.), taip pat paprastųjų skliaustų. Paprastai… … Enciklopedinis kompiuterijos žodynas
expression booléenne — loginis reiškinys statusas T sritis automatika atitikmenys: angl. Boolean expression; logical expression vok. logischer Ausdruck, m rus. логическое выражение, n pranc. expression booléenne, f; expression logique, f … Automatikos terminų žodynas
expression logique — loginis reiškinys statusas T sritis automatika atitikmenys: angl. Boolean expression; logical expression vok. logischer Ausdruck, m rus. логическое выражение, n pranc. expression booléenne, f; expression logique, f … Automatikos terminų žodynas
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… … Wikipedia
Logical atomism — is a philosophical belief that originated in the early 20th century with the development of analytic philosophy. Its principal exponents were the British philosopher Bertrand Russell, the early work of his Austrian born pupil and colleague Ludwig … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… … Wikipedia
Logical Intuitive Extrovert — The Logical Intuitive Extrovert, LIE, ENTj, the Enterpriser, the Entrepreneur, Jack London, or types. The Logical Intuitive Extrovert is a rational, extroverted, dynamic type whose leading functions are extroverted logic and introverted intuition … Wikipedia
Logical consequence — Therefore redirects here. For the symbol, see therefore sign. Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences (or propositions) and a sentence (proposition) when the former entails… … Wikipedia
