LEADER 03569oam  2200601   450 
001 9910337561903321
005 20210201142238.0
010   $a3-030-02420-2
024 7 $a10.1007/978-3-030-02420-8
035   $a(OCoLC)1081000096
035   $a(MiFhGG)GVRL59R9
035   $a(EXLCZ)994100000007335069
100   $a20210125h20192019  uy             0
101 0 $aeng
135   $aurun|---uuuua
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic functions and equations $ebinary models for computer science /$fChristian Posthoff, Bernd Steinbach
205   $a2nd ed. 2019.
210  1$aCham, Switzerland :$cSpringer Nature,$d[2019]
210  4$d?2019
215   $a1 online resource (xvi, 508 pages) $cillustrations (some color), charts
225 0 $aGale eBooks
311   $a3-030-02419-9 
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 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.
606   $aLogic, Symbolic and mathematical
606   $aMachine theory
606   $aAlgebra, Boolean
606   $aLogic design
606   $aComputational complexity
606   $aComputer engineering
606   $aComputer science
606   $aEngineering
615  0$aLogic, Symbolic and mathematical.
615  0$aMachine theory.
615  0$aAlgebra, Boolean.
615  0$aLogic design.
615  0$aComputational complexity.
615  0$aComputer engineering.
615  0$aComputer science.
615  0$aEngineering.
676   $a511.3
700   $aPosthoff$b Christian$4aut$4http://id.loc.gov/vocabulary/relators/aut$01058852
702   $aSteinbach$b Bernd
801  0$bMiFhGG
801  1$bMiFhGG
906   $aBOOK
912   $a9910337561903321
996   $aLogic Functions and Equations$92502746
997   $aUNINA