000 | 03863nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-030-02420-8 | ||
003 | DE-He213 | ||
005 | 20240423125025.0 | ||
007 | cr nn 008mamaa | ||
008 | 181230s2019 sz | s |||| 0|eng d | ||
020 |
_a9783030024208 _9978-3-030-02420-8 |
||
024 | 7 |
_a10.1007/978-3-030-02420-8 _2doi |
|
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aTK7888.4 | |
072 | 7 |
_aUYF _2bicssc |
|
072 | 7 |
_aCOM036000 _2bisacsh |
|
072 | 7 |
_aUYF _2thema |
|
082 | 0 | 4 |
_a621.395 _223 |
100 | 1 |
_aPosthoff, Christian. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
245 | 1 | 0 |
_aLogic Functions and Equations _h[electronic resource] : _bBinary Models for Computer Science / _cby Christian Posthoff, Bernd Steinbach. |
250 | _a2nd ed. 2019. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2019. |
|
300 |
_aXVI, 508 p. 367 illus., 54 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
505 | 0 | _aPart I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. | |
520 | _aThe expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. Updated throughout, some major additions for the 2nd edition include: - an expanded introductory section on logic equations; - a new chapter on sets, lattices, and classes of logic functions; - a new chapter about SAT-problems; - a new chapter about methods to solve extremely complex problems; and -an expanded section with new decomposition methods utilizing the Boolean Differential Calculus extended to lattices of logic functions. The book provides insight into applications across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and artificial intelligence. Based on the extensive teaching experience of the authors, Logic Functions and Equations is highly recommended for a one- or two-semester course in computer science and related programs. It provides straightforward high-level access to these methods and enables sophisticated applications, elegantly bridging the gap between mathematics and the theoretical foundations of computer science. | ||
650 | 0 | _aLogic design. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aElectrical engineering. | |
650 | 0 | _aComputer science. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 0 | _aDiscrete mathematics. | |
650 | 1 | 4 | _aLogic Design. |
650 | 2 | 4 | _aMathematical Logic and Foundations. |
650 | 2 | 4 | _aElectrical and Electronic Engineering. |
650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
650 | 2 | 4 | _aDiscrete Mathematics in Computer Science. |
700 | 1 |
_aSteinbach, Bernd. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030024192 |
776 | 0 | 8 |
_iPrinted edition: _z9783030024215 |
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-02420-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
942 | _cSPRINGER | ||
999 |
_c173364 _d173364 |