Lattice Functions and Equations /

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...

Full description

Bibliographic Details
Main Author:	Rudeanu, Sergiu
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 2001.
Series:	Discrete mathematics and theoretical computer science.
Subjects:	Computer science. Computer software. Algorithms. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

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.