Lattice functions and equations (Q2734536)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1634465
Language Label Description Also known as
default for all languages
No label defined
    English
    Lattice functions and equations
    scientific article; zbMATH DE number 1634465

      Statements

      0 references
      16 August 2001
      0 references
      lattice
      0 references
      Boolean algebra
      0 references
      lattice function
      0 references
      lattice equation
      0 references
      Boolean function
      0 references
      Boolean equation
      0 references
      Post algebra
      0 references
      Boolean differential calculus
      0 references
      Lattice functions and equations (English)
      0 references
      This is a companion of the author's earlier monograph: Boolean functions and equations, North-Holland, Amsterdam (1974; Zbl 0321.06013), subsequently quoted as BFE. Several results and concepts presented in BFE are updated and new results are specified in a more general context furnished by the lattice structure. Several applications in graph theory, synthesis of circuits, fault detection, databases and marketing are presented. The book is self-contained, includes a list of open problems and can be used successfully by graduate students in advanced studies. Computer scientists and mathematicians will find useful material for their research. 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; Boolean differential calculus; Decomposition of Boolean functions; Boolean-based mathematics; Applications.
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references