000 04193nam a22005655i 4500
001 978-3-031-79892-4
003 DE-He213
005 20240730164203.0
007 cr nn 008mamaa
008 220601s2017 sz | s |||| 0|eng d
020 _a9783031798924
_9978-3-031-79892-4
024 7 _a10.1007/978-3-031-79892-4
_2doi
050 4 _aT1-995
072 7 _aTBC
_2bicssc
072 7 _aTEC000000
_2bisacsh
072 7 _aTBC
_2thema
082 0 4 _a620
_223
100 1 _aSteinbach, Bernd.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_982702
245 1 0 _aBoolean Differential Calculus
_h[electronic resource] /
_cby Bernd Steinbach, Christian Posthoff.
250 _a1st ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aXII, 203 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSynthesis Lectures on Digital Circuits & Systems,
_x1932-3174
505 0 _aIntroduction -- Basics of Boolean Structures -- Derivative Operations of Boolean Functions -- Derivative Operations of Lattices of Boolean Functions -- Differentials and Differential Operations -- Applications -- Solutions of the Exercises -- Bibliography -- Authors' Biographies -- Index.
520 _aThe Boolean Differential Calculus (BDC) is a very powerful theory that extends the basic concepts of Boolean Algebras significantly. Its applications are based on Boolean spaces ���� and ����ⁿ, Boolean operations, and basic structures such as Boolean Algebras and Boolean Rings, Boolean functions, Boolean equations, Boolean inequalities, incompletely specified Boolean functions, and Boolean lattices of Boolean functions. These basics, sometimes also called switching theory, are widely used in many modern information processing applications. The BDC extends the known concepts and allows the consideration of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. The BDC defines a small number of derivative and differential operations. Many existing theorems are very welcome and allow new insights due to possible transformations of problems. The available operations of the BDC have been efficiently implemented in several software packages. The common use of the basic concepts and the BDC opens a very wide field of applications. The roots of the BDC go back to the practical problem of testing digital circuits. The BDC deals with changes of signals which are very important in applications of the analysis and the synthesis of digital circuits. The comprehensive evaluation and utilization of properties of Boolean functions allow, for instance, to decompose Boolean functions very efficiently; this can be applied not only in circuit design, but also in data mining. Other examples for the use of the BDC are the detection of hazards or cryptography. The knowledge of the BDC gives the scientists and engineers an extended insight into Boolean problems leading to new applications, e.g., the use of Boolean lattices of Boolean functions.
650 0 _aEngineering.
_99405
650 0 _aElectronic circuits.
_919581
650 0 _aControl engineering.
_931970
650 0 _aRobotics.
_92393
650 0 _aAutomation.
_92392
650 0 _aComputers.
_98172
650 1 4 _aTechnology and Engineering.
_982709
650 2 4 _aElectronic Circuits and Systems.
_982710
650 2 4 _aControl, Robotics, Automation.
_931971
650 2 4 _aComputer Hardware.
_933420
700 1 _aPosthoff, Christian.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_982712
710 2 _aSpringerLink (Online service)
_982713
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031798917
776 0 8 _iPrinted edition:
_z9783031798931
830 0 _aSynthesis Lectures on Digital Circuits & Systems,
_x1932-3174
_982714
856 4 0 _uhttps://doi.org/10.1007/978-3-031-79892-4
912 _aZDB-2-SXSC
942 _cEBK
999 _c85395
_d85395