000			03486nam a22004335i 4500
999			_c386903 _d386903
001			386903
003			ES-MaUEC
005			20230201203633.0
006			a||||fo|||| 00| 0
007			cr nn 008mamaa
008			220601s2013 sz | s |||| 0|eng d
020			_a9783031798610
024	7		_a10.1007/978-3-031-79861-0 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA10.3 _b2013 EB
100	1		_aSteinbach, Bernd _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686481
245	1	0	_aBoolean Differential Equations _cby Bernd Steinbach, Christian Posthoff
250			_a1st edition 2013
264		1	_aCham _bSpringer International Publishing _c2013
300			_a1 recurso en línea (XII, 146 páginas)
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
490	0		_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.
988			_aSynthesis Collection of Technology_2013
650		7	_2embne _9405096 _aBoole, Álgebra de
650		7	_2embne _9139227 _aEcuaciones diferenciales
650		7	_2embne _9139218 _aCálculo diferencial
700	1		_aPosthoff, Christian _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686482
776	0	8	_iPrinted edition: _z9783031798603
776	0	8	_iPrinted edition: _z9783031798627
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-79861-0 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b01/2023 _dz _esc _zSI