Lattice Functions and Equations
Produktnummer:
187414fe17f7e047fa862d5ea1ebeca91b
| Autor: | Rudeanu, Sergiu |
|---|---|
| Themengebiete: | Algebra Boolean Algebras Boolean algebra Boolean function Lattice Equations Lattice Functions algorithm analysis and problem complexity automata logic mathematical logic |
| Veröffentlichungsdatum: | 30.07.2001 |
| EAN: | 9781852332662 |
| Sprache: | Englisch |
| Seitenzahl: | 435 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer London |
Produktinformationen "Lattice Functions and Equations"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen