Lattice Functions and Equations (Discrete Mathematics and Theoretical Computer Science)

Lattice Functions and Equations (Discrete Mathematics and Theoretical Computer Science)

Editorial Reviews
Book 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.

Book Info
Devoted to the problem of studying functions and equations in Boolean algebras, Post algebras, Heyting algebras, Stone algebras, and distributive lattices. For researchers and programmers. Softcover.

Lattice Functions and Equations (Discrete Mathematics and Theoretical Computer Science),Sergiu Rudeanu,Springer,1852332662,Algebra - Abstract,Applied,Computer Science,Discrete Mathematics (Computer Science),Lattice Theory,Logic,Logic Design,Mathematics,Science/Mathematics,Boolean Algebras,Computers / Computer Science,Lattice Equations,Lattice Functions

Books Info:

1. Lectures on Applied Mathematics : Proceedings of the Symposium Organized by the Sonderforschungsbereich 438 on the Occasion of Karl-Heinz Hoffmann's 60th Birthday, Munich, June 30 - July 1, 1999
2. Linear Integral Equations (Applied Mathematical Sciences)
3. Mathematical Modelling : Concepts and Case Studies (Mathematical Modelling: Theory and Applications)
4. Mathematical Modelling for Materials Processing (The Institute of Mathematics and its Applications Conference Series, New Series)
5. Mechanics of Elastic Structures with Inclined Members : Analysis of Vibration, Buckling and Bending of X-Braced Frames and Conical Shells (Lecture Notes in Applied and Computational Mechanics)
6. Metodos Cuantitativos Para la Administracion (Spanish Translation of Quantitative Methods for Business, 7e [0-538-87601-8])
7. Modeling and Computation of Boundary-Layer Flows
8. Model-oriented data analysis: Proceedings of an IIASA (International Institute for Applied Systems Analysis) Workshop on Data Analysis held at Eisenach, ... notes in economics and mathematical systems)
9. Monte-Carlo and Quasi-Monte Carlo Methods 1998 : Proceedings of a Conference held at the Claremont Graduate University, Claremont, California, USA, June 22-26, 1998
10. Monte Carlo and Quasi-Monte Carlo Methods 2002 : Proceedings of a Conference held at the National University of Singapore, Republic of Singapore, November 25-28, 2002

Books Info

Recommended Books

1. Apple Pro Training Series : Advanced Editing and Finishing Techniques in Final Cut Pro HD
2. Virtual Beauty
3. In the Can : The Greatest Career Missteps, Sophomore Slumps, What-Were-They-Thinking Decisions and F
4. Privatization, Restructuring, and Regulation of Network Utilities
5. Managing Workers' Compensation: A Guide to Injury Reduction and Effective Claim Management
6. Humic Substances II: In Search of Structure
7. Gardner's Chemical Synonyms and Trade Names
8. Magnetism in Condensed Matter
9. Raise the Titanic!
10. Nonborn King
11. Instant Guide to Small Pets
12. Home Made Best Made
13. Lebanon: The Politics of a Penetrated Society
14. Intrusion Detection Systems, Second Edition
15. Medieval Swordsmanship: Illustrated Methods and Techniques