skip to content
Lattice Functions and Equations Preview this item
ClosePreview this item
Checking...

Lattice Functions and Equations

Author: Sergiu Rudeanu
Publisher: London : Springer London, 2001.
Series: Discrete mathematics and theoretical computer science.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Sergiu Rudeanu
ISBN: 9781447102410 144710241X
OCLC Number: 853271340
Description: 1 online resource (xi, 435 pages).
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.
Series Title: Discrete mathematics and theoretical computer science.
Responsibility: by Sergiu Rudeanu.

Abstract:

One of the chief aims of this self-contained monograph is to survey recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/853271340> # Lattice Functions and Equations
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "853271340" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://id.worldcat.org/fast/805020> ; # Algorithms
   schema:about <http://dewey.info/class/005.1/e23/> ;
   schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/27128914> ; # Sergiu Rudeanu
   schema:datePublished "2001" ;
   schema: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."@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/14538935> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/14538935#Series/discrete_mathematics_and_theoretical_computer_science> ; # Discrete mathematics and theoretical computer science.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/14538935#CreativeWork/> ;
   schema:name "Lattice Functions and Equations"@en ;
   schema:productID "853271340" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/853271340#PublicationEvent/london_springer_london_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/14538935#Agent/springer_london> ; # Springer London
   schema:url <http://link.springer.com/10.1007/978-1-4471-0241-0> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4471-0241-0> ;
   schema:workExample <http://worldcat.org/isbn/9781447102410> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/853271340> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/14538935#Agent/springer_london> # Springer London
    a bgn:Agent ;
   schema:name "Springer London" ;
    .

<http://experiment.worldcat.org/entity/work/data/14538935#Series/discrete_mathematics_and_theoretical_computer_science> # Discrete mathematics and theoretical computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/853271340> ; # Lattice Functions and Equations
   schema:name "Discrete mathematics and theoretical computer science." ;
   schema:name "Discrete Mathematics and Theoretical Computer Science" ;
    .

<http://id.worldcat.org/fast/805020> # Algorithms
    a schema:Intangible ;
   schema:name "Algorithms"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
   schema:name "Computer software"@en ;
    .

<http://link.springer.com/10.1007/978-1-4471-0241-0>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/27128914> # Sergiu Rudeanu
    a schema:Person ;
   schema:familyName "Rudeanu" ;
   schema:givenName "Sergiu" ;
   schema:name "Sergiu Rudeanu" ;
    .

<http://worldcat.org/isbn/9781447102410>
    a schema:ProductModel ;
   schema:isbn "144710241X" ;
   schema:isbn "9781447102410" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.