Булевой - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Я имел в виду, что не согласен с вашей общей посылкой, а не то, что я думаю, что каждое предложение, которое вы использовали, чтобы объяснить это, было неправильным в соответствии с булевой логикой. |
I meant that I disagreed with your general premise, not that I thought every single sentence you used to explain it was wrong according to boolean logic. |
Цифровая логика-это применение булевой алгебры 0 и 1 к электронному оборудованию, состоящему из логических элементов, соединенных для формирования принципиальной схемы. |
Digital logic is the application of the Boolean algebra of 0 and 1 to electronic hardware consisting of logic gates connected to form a circuit diagram. |
Карты Карно используются для упрощения функций булевой алгебры. |
Karnaugh maps are used to facilitate the simplification of Boolean algebra functions. |
Этот вид определения продукта удовлетворяет требованиям идеальной булевой алгебры и может быть полезен для построения конфигуратора продукта. |
This kind of product definition fulfill the requirements of an ideal Boolean Algebra and can be helpful to construct a product configurator. |
BNF очень похож на уравнения булевой алгебры канонической формы, которые используются и использовались в то время при проектировании логических схем. |
BNF is very similar to canonical-form boolean algebra equations that are, and were at the time, used in logic-circuit design. |
Полный п-типы соответствуют ультрафильтрации этой булевой алгебры. |
The complete n-types correspond to ultrafilters of this Boolean algebra. |
Таким образом, все аксиомы до сих пор были для монотонной булевой логики. |
Thus the axioms so far have all been for monotonic Boolean logic. |
Булевой алгебры недостаточно для получения логических формул с использованием кванторов, подобных тем, которые используются в логике первого порядка. |
Boolean algebra is not sufficient to capture logic formulas using quantifiers, like those from first order logic. |
The Quantum Enigma is the sixth studio album by Dutch symphonic metal band Epica. |
|
BNF очень похож на уравнения булевой алгебры канонической формы, которые используются и использовались в то время при проектировании логических схем. |
The sentence can generally involve a decree of imprisonment, a fine and/or other punishments against a defendant convicted of a crime. |
Я провел исторический булевой поиск религии, культа Сета, Сетеша, Сетека, Сетха... |
I did a time-line Boolean search for religion, cult, Set, Setesh, Setekh, Seth... |
Всякая тавтология Φ пропозициональной логики может быть выражена как булево уравнение Φ = 1, которое будет теоремой булевой алгебры. |
Every tautology Φ of propositional logic can be expressed as the Boolean equation Φ = 1, which will be a theorem of Boolean algebra. |
Использование этого базиса для описания булевой системы называется алгебраической нормальной формой. |
Using this basis to describe a boolean system is referred to as algebraic normal form. |
Уточним, что дальнейшая запись законов булевой алгебры не может дать никаких новых следствий из этих аксиом, равно как и не может исключить из них никакой модели. |
To clarify, writing down further laws of Boolean algebra cannot give rise to any new consequences of these axioms, nor can it rule out any model of them. |
Общим примером задачи NP, не известной в P, является задача булевой выполнимости. |
A common example of an NP problem not known to be in P is the Boolean satisfiability problem. |
Существует несколько частных случаев задачи булевой выполнимости, в которых формулы должны иметь определенную структуру. |
There are several special cases of the Boolean satisfiability problem in which the formulas are required to have a particular structure. |
Поэтому программисты имеют возможность работать и применять правила либо числовой алгебры, либо булевой алгебры по мере необходимости. |
Programmers therefore have the option of working in and applying the rules of either numeric algebra or Boolean algebra as needed. |
Первой естественной проблемой, доказавшей свою NP-полноту, была проблема булевой выполнимости, также известная как SAT. |
The first natural problem proven to be NP-complete was the Boolean satisfiability problem, also known as SAT. |
Ниже приведены две различные нотации, описывающие одну и ту же функцию в упрощенной булевой алгебре, используя булевы переменные A, B, C, D и их инверсии. |
Following are two different notations describing the same function in unsimplified Boolean algebra, using the Boolean variables A, B, C, D, and their inverses. |
Такая булева алгебра состоит из множества и операций над этим множеством, которые, как можно показать, удовлетворяют законам булевой алгебры. |
Such a Boolean algebra consists of a set and operations on that set which can be shown to satisfy the laws of Boolean algebra. |
Эти делители не являются подмножествами множества, что делает делители n булевой алгеброй, которая не является конкретной в соответствии с нашими определениями. |
These divisors are not subsets of a set, making the divisors of n a Boolean algebra that is not concrete according to our definitions. |
Эта семантика допускает перевод между тавтологиями пропозициональной логики и эквационными теоремами булевой алгебры. |
These semantics permit a translation between tautologies of propositional logic and equational theorems of Boolean algebra. |
Если в элементарной алгебре выражения обозначают главным образом числа, то в булевой алгебре они обозначают истинностные значения false и true. |
Whereas in elementary algebra expressions denote mainly numbers, in Boolean algebra they denote the truth values false and true. |
Цифровые схемы являются наиболее распространенным физическим представлением булевой алгебры и являются основой всех цифровых компьютеров. |
Digital circuits are the most common physical representation of Boolean algebra, and are the basis of all digital computers. |
Studies of boolean algebra is commonly part of a mathematics. |
|
Пропозициональная логика - это логическая система, тесно связанная с булевой алгеброй. |
Propositional logic is a logical system that is intimately connected to Boolean algebra. |
На самом деле это традиционная аксиоматизация булевой алгебры как дополненной дистрибутивной решетки. |
In fact this is the traditional axiomatization of Boolean algebra as a complemented distributive lattice. |
Проблема булевой выполнимости является одной из многих таких NP-полных задач. |
The Boolean satisfiability problem is one of many such NP-complete problems. |
Он предложил новые операции для исчисления логики и показал, что нечеткая логика является обобщением классической и булевой логики. |
He proposed new operations for the calculus of logic and showed that fuzzy logic was a generalisation of classical and Boolean logic. |
Однако это не было бы идентично нашей первоначальной булевой алгебре, потому что теперь мы находим, что ∨ ведет себя так же, как ∧ раньше, и наоборот. |
However it would not be identical to our original Boolean algebra because now we find ∨ behaving the way ∧ used to do and vice versa. |
Логические предложения, которые могут быть выражены в классическом исчислении предложений, имеют эквивалентное выражение в булевой алгебре. |
Logic sentences that can be expressed in classical propositional calculus have an equivalent expression in Boolean algebra. |
