-
21 многозначная логика
multiple-valued [multivalued\] logicАнгло-русский словарь технических терминов > многозначная логика
-
22 MIIL
multivalued integrated injection logic - многозначная интегральная инжекционная логическая схема -
23 calculus
-
24 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
25 MIIL
- 1
- 2
См. также в других словарях:
multivalued logic — daugiareikšmė logika statusas T sritis automatika atitikmenys: angl. many valued logic; multiple valued logic; multivalued logic vok. mehrdeutige Logik, f; mehrstellige Logik, f; mehrwertige Logik, f rus. многозначная логика, f pranc. logique… … 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
Fuzzy logic — is a form of multi valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. Just as in fuzzy set theory the set membership values can range (inclusively) between 0 and 1, in fuzzy logic the degree … Wikipedia
Noise-based logic — (NBL)[1][2][3][4][5][6][ … Wikipedia
many-valued logic — daugiareikšmė logika statusas T sritis automatika atitikmenys: angl. many valued logic; multiple valued logic; multivalued logic vok. mehrdeutige Logik, f; mehrstellige Logik, f; mehrwertige Logik, f rus. многозначная логика, f pranc. logique… … Automatikos terminų žodynas
multiple-valued logic — daugiareikšmė logika statusas T sritis automatika atitikmenys: angl. many valued logic; multiple valued logic; multivalued logic vok. mehrdeutige Logik, f; mehrstellige Logik, f; mehrwertige Logik, f rus. многозначная логика, f pranc. logique… … Automatikos terminų žodynas
Principle of bivalence — In logic, the semantic principle of bivalence states that every proposition takes exactly one of two truth values (e.g. truth or falsehood ). The laws of bivalence, excluded middle, and non contradiction are related, but they refer to the… … Wikipedia
Truth value — In logic and mathematics, a logical value, also called a truth value, is a value indicating the extent to which a proposition is true.In classical logic, the only possible truth values are true and false.However, other values are possible in… … Wikipedia
Edward J. McCluskey — (16 October 1929, Orange, New Jersey) is currently a Professor Emeritus at Stanford University. He is a pioneer in the field of Electrical Engineering.BiographyProfessor McCluskey worked on electronic switching systems at the Bell Telephone… … Wikipedia
daugiareikšmė logika — statusas T sritis automatika atitikmenys: angl. many valued logic; multiple valued logic; multivalued logic vok. mehrdeutige Logik, f; mehrstellige Logik, f; mehrwertige Logik, f rus. многозначная логика, f pranc. logique multiforme, f; logique… … Automatikos terminų žodynas
logique multiforme — daugiareikšmė logika statusas T sritis automatika atitikmenys: angl. many valued logic; multiple valued logic; multivalued logic vok. mehrdeutige Logik, f; mehrstellige Logik, f; mehrwertige Logik, f rus. многозначная логика, f pranc. logique… … Automatikos terminų žodynas