TY - BOOK ID - 101513546 TI - Logic Functions and Equations AU - Steinbach, Bernd AU - Posthoff, Christian AU - SpringerLink (Online service) PY - 2022 SN - 9783030889456 PB - Cham Springer International Publishing :Imprint: Springer DB - UniCat KW - Àlgebra de Boole KW - Lògica matemàtica KW - Teoria de màquines KW - Lògica formal KW - Lògica simbòlica KW - Lògica simbòlica i matemàtica KW - Lògica universal KW - Logística (Filosofia) KW - Matemàtica KW - Atzar KW - Càlcul lambda KW - Categories (Matemàtica) KW - Decidibilitat (Lògica matemàtica) KW - Funcions recursives KW - Independència (Matemàtica) KW - Lògica algebraica KW - Lògica borrosa KW - Lògica combinatòria KW - Lògica de primer ordre KW - Lògica informàtica KW - Matemàtica constructiva KW - Metodologia de la ciència KW - Nombres cardinals KW - Pragmàtica (Lingüística) KW - Probabilitats KW - Semàntica (Filosofia) KW - Teoria axiomàtica de conjunts KW - Teorema de Gödel KW - Teoria de la commutació KW - Teoria de la prova KW - Teoria de la recursió KW - Teoria de models KW - Teoria de tipus KW - Àlgebra abstracta KW - Metamatemàtica KW - Programació lògica KW - Sil·logisme KW - Teoria de conjunts KW - Àlgebra booleana KW - Teoria dels reticles KW - Autòmats matemàtics KW - Teoria dels autòmats matemàtics KW - Algorismes KW - Models matemàtics KW - Aprenentatge automàtic KW - Complexitat computacional KW - Estructura lògica KW - Llenguatges formals KW - Màquines de Turing KW - Sistemes de reescriptura (Informàtica) KW - Teoria de control KW - Robòtica KW - Algebra, Boolean. KW - Logic, Symbolic and mathematical. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Boolean algebra KW - Boole's algebra KW - Algebraic logic KW - Lògica difusa KW - Electronic circuits. KW - Logic design. KW - Computer science KW - Discrete mathematics. KW - Electronic Circuits and Systems. KW - Logic Design. KW - Discrete Mathematics in Computer Science. KW - Mathematics. KW - Discrete mathematical structures KW - Mathematical structures, Discrete KW - Structures, Discrete mathematical KW - Numerical analysis KW - Computer mathematics KW - Electronic data processing KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Electron-tube circuits KW - Electric circuits KW - Electron tubes KW - Electronics UR - https://www.unicat.be/uniCat?func=search&query=sysid:101513546 AB - The 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. ER -