Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
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.
Authors and Affiliations
Bibliographic Information
Book Title: Lattice Functions and Equations
Authors: Sergiu Rudeanu
Series Title: Discrete Mathematics and Theoretical Computer Science
DOI: https://doi.org/10.1007/978-1-4471-0241-0
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London 2001
Softcover ISBN: 978-1-85233-266-2Published: 30 July 2001
eBook ISBN: 978-1-4471-0241-0Published: 06 December 2012
Edition Number: 1
Number of Pages: XI, 435
Number of Illustrations: 1 b/w illustrations
Topics: Algebra, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Algorithms