Examples of using Boolean algebra in English and their translations into Serbian
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
Boolean algebra is needed for formal proofs.
Боолеова алгебра је потребна за формалне доказе.Stone's representation theorem for Boolean algebras.
Стоунова теорема о представљању Булових алгебра.One application of Boolean algebra is digital circuit design.
Једна примена Булове алгебра је у дизајнирању дигиталних кола.It is intended to represent the truth values of logic and Boolean algebra.
Он показује истинитосну вредност логике и Булове алгебре.The first-order theory of Boolean algebras, established by Alfred Tarski in 1949.
Теорија првог реда Булових алгебри, успоставио Алфред Тарски, 1949.A mathematician named DeMorgan developed a pair of important rules regarding group complementation in Boolean algebra.
Математичар по имену ДеМорган је развио пар важних правила везаних за групно комплементирање у Боолеан алгебри.Lattices and Boolean algebras. Groups, normal subgroups and factor groups.
Мреже и Булове алгебре, мрежа као релацијска и алгебраска структура. Групе, нормалне подгрупе и факторске групе.Halpern found a counterexample based on his observation that the Boolean algebra of statements may be finite.
Халперн је сматрао на основу свог запажања да је Булова алгебра изјава коначна.Using Boolean algebra, the result simplifies to the following equivalent of the truth table.
Користећи Булову алгебру, резултат се поједностављује према следећем еквиваленту таблице истинитости.Digital circuits are the most common physical representation of Boolean algebra, and are the basis of all digital computers.
Дигитална кола су најчешћа репрезентација Булове алгебре, и она су у основи свих дигиталних рачунара.Expanding by one literal doubles the number of input combinations for which the term is true(in binary Boolean algebra).
Проширење једним литералом удвостручује број улазних комбинација за које је облик тачан( у бинарној Буловој алгебри).Digital circuits are the most typical bodily illustration of Boolean algebra, and are the basis of all digital computer systems.
Дигитална кола су најчешћа репрезентација Булове алгебре, и она су у основи свих дигиталних рачунара.The power set of a set S, together with the operations of union, intersection andcomplement can be viewed as the prototypical example of a Boolean algebra.
Партитивни скуп скупа S, заједно са операцијама уније, пресека икомплемента се може посматрати као прототипски пример Булове алгебре.Combinational logic is used in computer circuits to perform Boolean algebra on input signals and on stored data.
Комбинациона логика се користи у компјутерским колима да изврши Булову алгебру на улазном сигналу и у сачуваним подацима.In propositional logic and boolean algebra, De Morgan's laws are a pair of transformation rules that are both valid rules of inference.
У математичкој логици и Буловој алгебри, Де Морганови закони представљају пар трансформацијских правила.His work was later cited by Claude E. Shannon,who elaborated on the use of Boolean algebra in the analysis and design of switching circuits in 1937.
Клод Шенон( Claude E. Shannon)је увео коришћење Булове алгебре у анализи и дизајну прекидачких кола 1937. године.Marshall Harvey Stone(April 8, 1903, New York City- January 9, 1989, Madras, India) was an American mathematician who contributed to real analysis, functional analysis,topology and the study of Boolean algebras.
Marshall Harvey Stone; Њујорк, 8. април 1903- Мадрас, 9. јануар 1989 је био амерички математичар који је допринео пољима реалне анализе,функционалне анализе и Булове алгебре.The overbar is sometimes used in Boolean algebra, where it serves to indicate a group of expressions whose logical result is to be negated, as in.
Овербар" се понекад користи у Буловој алгебри, где служе да означе групу израза чија логичан резултат се негира, као у.The algebraic semantics of intuitionistic logic is given in terms of Heyting algebras, compared to Boolean algebra semantics of classical propositional calculus.
Алгебарска семантика интуиционе логике је дата у смислу Хеитинг алгебри,у односу на семантику Булове алгебре код класичног исказног рачуна.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.
Дигитална логика је примена Булове алгебре од 0 и 1 у електронском хардверу који се састоји од логичких кола везаних тако да формирају дијаграм кола.The assumption of differentiability or even continuity is controversial;Halpern found a counterexample based on his observation that the Boolean algebra of statements may be finite.
Претпоставка диференцијабилности или чак континуитета је контроверзна;Халперн је сматрао на основу свог запажања да је Булова алгебра изјава коначна.Algebraically, classical negation corresponds to complementation in a Boolean algebra, and intuitionistic negation to pseudocomplementation in a Heyting algebra. .
Алгебарски, класична негација одговара комплементарности у Буловој алгебри, а интуитиционо негирање за псеудо комплементарност у Heyting algebra.In Boolean algebra, any Boolean function can be put into the canonical disjunctive normal form(CDNF) or minterm canonical form and its dual canonical conjunctive normal form(CCNF) or maxterm canonical form.
У Буловој алгебри, свака It would also have been possible to derive this simplification by carefully applying the axioms of boolean algebra, but the time it takes to do that grows exponentially with the number of terms.
Такође би било могуће доћи до овог решења пажљивом употребом аксиома Булове алгебре, али време које је потребно за тако нешто расте експоненцијално.In Boolean algebra, circuit minimization is the problem of obtaining the smallest logic circuit(Boolean formula) that represents a given Boolean function or truth table.
У Буловој алгебри, минимализација кола( среће се и израз„ минимизација“) је проблем добијања најмањег логичког кола( In 1936, he published a long paper that included Stone's representation theorem for Boolean algebras, an important result in mathematical logic, topology, universal algebra and category theory.
Године 1936, објавио је обиман рад који је укључивао Стоунову теорему о представљању Булових алгебри, важан став у математичкој логици и универзалној алгебри.The truth is that Mozart,Pascal, Boolean algebra, Shakespeare, parliamentary government, baroque churches, Newton, the emancipation of women, Kant, Marx, Balanchine ballets, et al, don't redeem what this particular civilization has wrought upon the world.
Истина је да Моцарт,Паскал, Булова алгебра, Шекспир, парламентарна влада, барокне цркве, Њутн, еманципација жена, Кант, Маркс, Баланшинов балет и др. не искупити оно што је ова посебна цивилизација нанела свету.We have now seen how the minterm/maxterm tools can be used to design an adder stage in canonical form with the addition of some Boolean algebra, costing just 2 gate delays for each of the outputs.
Сада смо видели како ДНФ/ КНФ алати могу да се користе за дизајнирање сабирача у канонским формама са додатком мало Булове алгебре, коштајући нас само 2 кашњења кола за сваки од излаза.Whereas the foregoing has addressed the subject of Boolean algebra, this section deals with mathematical objects called Boolean algebras, defined in full generality as any model of the Boolean laws.
Овај одељак се бави математичким објектима који се називају Булове алгебре, дефинисане у пуној општости, као било који модел He elaborated an interpretation of probability theory as generalized Aristotelian logic, a view linking fundamental physics with digital computers,because these are designed to implement the operations of classical logic and, equivalently, of Boolean algebra.
Џејнс је разрађивао тумачење теорије вероватноће, као генерализовану аристотеловсу логику, поглед веома погодан за повезивање основне физике са дигиталним рачунарима, јерсу дизајнирани тако да спроводе операције класичне логике и еквивалентно, на Буловој алгебри.
