Descripción del título
Lattice Functions and Equat...
Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions. This self-contained monograph surveys recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of lattices; a special attention is paid to consistency conditions and reproductive general solutions. The contents include: - equational compactness in semilattices and Boolean algebras; - the theory of Post functions and equations (which is very close to that of Boolean functions and equations); - a revision of Boolean fundamentals; - closure operators on Boolean functions; - the decomposition of Boolean functions; - quadratic truth equations; - Boolean differential calculus; - Boolean geometry and other topics. There is also a chapter on equations in a very general sense. Applications refer to graph theory, automata theory, synthesis of circuits, fault detection, databases, marketing and others
Monografía
monografia Rebiun21771331 https://catalogo.rebiun.org/rebiun/record/Rebiun21771331 m o d cr mnu---uuaaa 121227s2001 enk ob 001 0 eng 1058032188 9781447102410 electronic bk.) 144710241X electronic bk.) 9781852332662 1852332662 10.1007/978-1-4471-0241-0 doi UPVA 996968120503706 AU@ eng pn AU@ OCLCO OCLCQ GW5XE OCLCF COO OCLCQ YDX UAB OCLCQ UMB bicssc COM051300 bisacsh Rudeanu, Sergiu Lattice Functions and Equations by Sergiu Rudeanu London Springer London 2001 London London Springer London 1 online resource (xi, 435 pages) 1 online resource (xi, 435 pages) Text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Discrete Mathematics and Theoretical Computer Science Includes bibliographical references (pages 407-427) and index Exotic Equations -- Universal Algebra -- Lattices -- Equational Compactness of Lattices and Boolean Algebras -- Post Algebras -- A Revision of Boolean Fundamentals -- Closure Operators on Boolean Functions -- Boolean Transformations -- More on Solving Boolean Equations -- Boolean Differential Calculus -- Decomposition of Boolean Functions -- Boolean-based Mathematics -- Miscellanea -- Applications -- Appendix 1: Decomposition of Boolean functions and applications: a bibliography -- Appendix 2: Open problems -- Appendix 3: Errata to BFE Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions. This self-contained monograph surveys recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of lattices; a special attention is paid to consistency conditions and reproductive general solutions. The contents include: - equational compactness in semilattices and Boolean algebras; - the theory of Post functions and equations (which is very close to that of Boolean functions and equations); - a revision of Boolean fundamentals; - closure operators on Boolean functions; - the decomposition of Boolean functions; - quadratic truth equations; - Boolean differential calculus; - Boolean geometry and other topics. There is also a chapter on equations in a very general sense. Applications refer to graph theory, automata theory, synthesis of circuits, fault detection, databases, marketing and others English Computer science Computer software Algorithms Algorithms. Computer science. Computer software. Electronic books Print version 9781852332662 Discrete mathematics and theoretical computer science