LEADER 04115nam 22007215 450 001 996479368403316 005 20240221122019.0 010 $a3-030-88945-9 024 7 $a10.1007/978-3-030-88945-6 035 $a(MiAaPQ)EBC7012367 035 $a(Au-PeEL)EBL7012367 035 $a(CKB)23524757900041 035 $aEBL7012367 035 $a(AU-PeEL)EBL7012367 035 $a(DE-He213)978-3-030-88945-6 035 $a(PPN)269149724 035 $a(EXLCZ)9923524757900041 100 $a20220606d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic Functions and Equations$b[electronic resource] $eFundamentals and Applications using the XBOOLE-Monitor /$fby Bernd Steinbach, Christian Posthoff 205 $a3rd ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (818 pages) 300 $aDescription based upon print version of record. 311 08$aPrint version: Steinbach, Bernd Logic Functions and Equations Cham : Springer International Publishing AG,c2022 9783030889449 320 $aIncludes bibliographical references and index. 327 $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. 330 $aThe greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors? approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into applications across propositional logic, binary arithmetic, coding, cryptography, complexity, logic design, and artificial intelligence. Updated throughout, some major additions for the 3rd edition include: a new chapter about the concepts contributing to the power of XBOOLE; a new chapter that introduces into the application of the XBOOLE-Monitor XBM 2; many tasks that support the readers in amplifying the learned content at the end of the chapters; solutions of a large subset of these tasks to confirm learning success; challenging tasks that need the power of the XBOOLE software for their solution. The XBOOLE-monitor XBM 2 software is used to solve the exercises; in this way the time-consuming and error-prone manipulation on the bit level is moved to an ordinary PC, more realistic tasks can be solved, and the challenges of thinking about algorithms leads to a higher level of education. 606 $aElectronic circuits 606 $aLogic design 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aElectronic Circuits and Systems 606 $aLogic Design 606 $aDiscrete Mathematics in Computer Science 606 $aÀlgebra de Boole$2thub 606 $aLògica matemàtica$2thub 606 $aTeoria de màquines$2thub 608 $aLlibres electrònics$2thub 615 0$aElectronic circuits. 615 0$aLogic design. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 14$aElectronic Circuits and Systems. 615 24$aLogic Design. 615 24$aDiscrete Mathematics in Computer Science. 615 7$aÀlgebra de Boole 615 7$aLògica matemàtica 615 7$aTeoria de màquines 676 $a511.324 700 $aSteinbach$b Bernd$01241790 702 $aPosthoff$b Christian 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996479368403316 996 $aLogic functions and equations$92994037 997 $aUNISA