| 000 | 03808nam a22005655i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-79861-0 | ||
| 003 | DE-He213 | ||
| 005 | 20240730163509.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 220601s2013 sz | s |||| 0|eng d | ||
| 020 |
_a9783031798610 _9978-3-031-79861-0 |
||
| 024 | 7 |
_a10.1007/978-3-031-79861-0 _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 _978886 |
|
| 245 | 1 | 0 |
_aBoolean Differential Equations _h[electronic resource] / _cby Bernd Steinbach, Christian Posthoff. |
| 250 | _a1st ed. 2013. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2013. |
|
| 300 |
_aXII, 146 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 | _aBasics of the Binary Boolean Algebra -- Summary of the Boolean Differential Calculus -- Boolean Differential Equations -- Solutions of the Exercises -- Bibliography -- Authors' Biographies -- Index. | |
| 520 | _aThe Boolean Differential Calculus (BDC) is a very powerful theory that extends the structure of a Boolean Algebra significantly. Based on a small number of definitions, many theorems have been proven. The available operations have been efficiently implemented in several software packages. There is a very wide field of applications. While a Boolean Algebra is focused on values of logic functions, the BDC allows the evaluation of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. Due to the same basic data structures, the BDC can be applied to any task described by logic functions and equations together with the Boolean Algebra. The BDC can be widely used for the analysis, synthesis, and testing of digital circuits. Generally speaking, a Boolean differential equation (BDE) is an equation in which elements of the BDC appear. It includes variables, functions, and derivative operations of these functions. The solution of such a BDE is a set of Boolean functions. This is a significant extension of Boolean equations, which have sets of Boolean vectors as solutions. In the simplest BDE a derivative operation of the BDC on the left-hand side is equal to a logic function on the right-hand side. The solution of such a simple BDE means to execute an operation which is inverse to the given derivative. BDEs can be applied in the same fields as the BDC, however, their possibility to express sets of Boolean functions extends the application field significantly. | ||
| 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. _978887 |
| 650 | 2 | 4 |
_aElectronic Circuits and Systems. _978888 |
| 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 _978889 |
|
| 710 | 2 |
_aSpringerLink (Online service) _978890 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031798603 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031798627 |
| 830 | 0 |
_aSynthesis Lectures on Digital Circuits & Systems, _x1932-3174 _978891 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-79861-0 |
| 912 | _aZDB-2-SXSC | ||
| 942 | _cEBK | ||
| 999 |
_c84675 _d84675 |
||