| Lattice Functions and Equations Softcover Repri Edition Contributor(s): Rudeanu, Sergiu (Author) |
|
 |
ISBN: 1852332662 ISBN-13: 9781852332662 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback Published: July 2001 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Mathematics | Applied - Computers | Logic Design |
| Dewey: 511.33 |
| LCCN: 2001034202 |
| Series: Discrete Mathematics and Theoretical Computer Science |
| Physical Information: 0.91" H x 6.14" W x 9.21" (1.38 lbs) 435 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |