Note that Boolean algebra occurs in at least three tasks of the unified state exam.
Zauważ, że algebra Boole'a występuje w co najmniej trzech zadaniach jednolitego egzaminu państwowego.
In Boolean algebra, a logical operation answers questions with true or false.
W algebrze Boole'a operacja logiczna odpowiada na pytania wartościami prawda lub fałsz.
The complexity of a switching function can be reduced through Boolean algebra techniques.
Złożoność funkcji przełączającej można zmniejszyć za pomocą technik algebry Boole'a.
The professor introduced logical notation during the lecture on Boolean algebra.
This is a Boolean algebra if and only if n is square-free.
An elementary version of polyadic algebra is described in monadic Boolean algebra.
Prostą wersją algebr poliadycznych są monadyczne algebry Boole'a.
Algebraic languages are common in computing: Boolean algebra for logic gates; and Relational algebra for database DML.
Języki algebraiczne są powszechne w informatyce: Boole'a dla bramek logicznych; i algebry relacyjnej bazy danych dla DML.
De Morgan's laws are vital for computer science students studying Boolean algebra.
Prawa De Morgana są niezbędne dla studentów informatyki uczących się algebry Boole'a.
In Boolean algebra, Petrick's method (also known as the branch-and-bound method) is a technique described by Stanley R. Petrick (1931-2006) in 1956 for determining all minimum sum-of-products solutions from a prime implicant chart.
Metoda Petricka znana również jako metoda podziału i ograniczeń w algebrze Boole'a została opisana przez Stanleya R. Petricka(1931-2006) w 1956 roku do określenia wszystkich rozwiązań minimalnych sum iloczynów metody Quine'a-McCluskeya.
George Boole took Leibniz's binary code and created Boolean algebra, and John von Neumann took Boolean algebra and created the digital computer.
In the 1960s, Paul Cohen, Dana Scott, and others found deep new results in mathematical logic and axiomatic set theory using offshoots of Boolean algebra, namely forcing and Boolean-valued models.
W latach sześćdziesiątych Paul Cohen, Dana Scott i inni osiągnęli głębokie rezultaty w dziedzinie logiki matematycznej i aksjomatycznej teorii zbiorów, korzystając z metody forsingu osadzonej w teorii algebr Boole'a.