{"product_id":"boolean-functions-isbn-9781119517474","title":"Boolean Functions","description":"\u003cp\u003e\u003cb\u003eThe essential guide showing how the unbounded delay model of computation of the Boolean functions may be used in the analysis of the Boolean networks \u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e\u003ci\u003eBoolean Functions: Topics in Asynchronicity\u003c\/i\u003e contains the most current research in several issues of asynchronous Boolean systems. In this framework, asynchronicity means that the functions which model the digital circuits from electronics iterate their coordinates independently on each other and the author—a noted expert in the field—includes a formal mathematical description of these systems. \u003c\/p\u003e \u003cp\u003eFilled with helpful definitions and illustrative examples, the book covers a range of topics such as morphisms, antimorphisms, invariant sets, path connected sets, attractors. Further, it studies race freedom, called here the technical condition of proper operation, together with some of its generalized and strengthened versions, and also time reversal, borrowed from physics and also from dynamical systems, together with the symmetry that it generates.\u003c\/p\u003e \u003cp\u003eThis book:\u003c\/p\u003e \u003cul\u003e \u003cli\u003ePresents up-to-date research in the field of Boolean networks,\u003c\/li\u003e \u003cli\u003eIncludes the information needed to understand the construction of an asynchronous Boolean systems theory and contains proofs,\u003c\/li\u003e \u003cli\u003eEmploys use of the language of algebraic topology and homological algebra.\u003c\/li\u003e \u003c\/ul\u003e \u003cp\u003eWritten formathematicians and computer scientists interested in the theory and applications of Boolean functions, dynamical systems, and circuits, \u003ci\u003eBoolean Functions: Topics in Asynchronicity\u003c\/i\u003e is an authoritative guide indicating a way of using the unbounded delay model of computation of the Boolean functions in the analysis of the Boolean networks\u003cb\u003e. \u003c\/b\u003e\u003c\/p\u003e \u003cp\u003ePreface xi\u003c\/p\u003e \u003cp\u003e\u003cb\u003e1 Boolean Functions 1\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e1.1 The Binary Boole Algebra 2\u003c\/p\u003e \u003cp\u003e1.2 Definition of the Boolean Functions. Examples. Duality 4\u003c\/p\u003e \u003cp\u003e1.3 Iterates 6\u003c\/p\u003e \u003cp\u003e1.4 State Portraits. Stable and Unstable Coordinates 11\u003c\/p\u003e \u003cp\u003e1.5 Modeling the Asynchronous Circuits 14\u003c\/p\u003e \u003cp\u003e1.6 Sequences of Sets 14\u003c\/p\u003e \u003cp\u003e1.7 Predecessors and Successors 15\u003c\/p\u003e \u003cp\u003e1.8 Source, Isolated Fixed Point, Transient Point, Sink 18\u003c\/p\u003e \u003cp\u003e1.9 Translations 19\u003c\/p\u003e \u003cp\u003e\u003cb\u003e2 Affine Spaces Defined by Two Points 21\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e2.1 Definition 21\u003c\/p\u003e \u003cp\u003e2.2 Properties 23\u003c\/p\u003e \u003cp\u003e2.3 Functions that Are Compatible with the Affine Structure of B\u003csup\u003en\u003c\/sup\u003e 25\u003c\/p\u003e \u003cp\u003e2.4 The Hamming Distance. Lipschitz Functions 28\u003c\/p\u003e \u003cp\u003e2.5 Affine Spaces of Successors 31\u003c\/p\u003e \u003cp\u003e\u003cb\u003e3 Morphisms 35\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e3.1 Definition 35\u003c\/p\u003e \u003cp\u003e3.2 Examples 36\u003c\/p\u003e \u003cp\u003e3.3 The Composition 38\u003c\/p\u003e \u003cp\u003e3.4 A Fixed Point Property 39\u003c\/p\u003e \u003cp\u003e3.5 Symmetrical Functions Relative to Translations. Examples 39\u003c\/p\u003e \u003cp\u003e3.6 The Dual Functions Revisited 41\u003c\/p\u003e \u003cp\u003e3.7 Morphisms vs. Predecessors and Successors 42\u003c\/p\u003e \u003cp\u003e\u003cb\u003e4 Antimorphisms 45\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e4.1 Definition 45\u003c\/p\u003e \u003cp\u003e4.2 Examples 46\u003c\/p\u003e \u003cp\u003e4.3 The Composition 48\u003c\/p\u003e \u003cp\u003e4.4 A Fixed Point Property 51\u003c\/p\u003e \u003cp\u003e4.5 Antisymmetrical Functions Relative to Translations. Examples 51\u003c\/p\u003e \u003cp\u003e4.6 Antimorphisms vs Predecessors and Successors 52\u003c\/p\u003e \u003cp\u003e\u003cb\u003e5 Invariant Sets 55\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e5.1 Definition 55\u003c\/p\u003e \u003cp\u003e5.2 Examples 57\u003c\/p\u003e \u003cp\u003e5.3 Properties 58\u003c\/p\u003e \u003cp\u003e5.4 Homomorphic Functions vs Invariant Sets 60\u003c\/p\u003e \u003cp\u003e5.5 Special Case of Homomorphic Functions vs Invariant Sets 62\u003c\/p\u003e \u003cp\u003e5.6 Symmetry Relative to Translations vs Invariant Sets 63\u003c\/p\u003e \u003cp\u003e5.7 Antihomomorphic Functions vs Invariant Sets 64\u003c\/p\u003e \u003cp\u003e5.8 Special Case of Antihomomorphic Functions vs Invariant Sets 65\u003c\/p\u003e \u003cp\u003e5.9 Antisymmetry Relative to Translations vs Invariant Sets 66\u003c\/p\u003e \u003cp\u003e5.10 Relatively Isolated Sets, Isolated Set 67\u003c\/p\u003e \u003cp\u003e5.11 Isomorphic Functions vs Relatively Isolated Sets 68\u003c\/p\u003e \u003cp\u003e5.12 Antiisomorphic Functions vs Relatively Isolated Sets 69\u003c\/p\u003e \u003cp\u003e\u003cb\u003e6 Invariant Subsets 71\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e6.1 Definition 71\u003c\/p\u003e \u003cp\u003e6.2 Examples 72\u003c\/p\u003e \u003cp\u003e6.3 Maximal Invariant Subset 72\u003c\/p\u003e \u003cp\u003e6.4 Minimal Invariant Subset 74\u003c\/p\u003e \u003cp\u003e6.5 Connected Components 76\u003c\/p\u003e \u003cp\u003e6.6 Disconnected Set 77\u003c\/p\u003e \u003cp\u003e\u003cb\u003e7 Path Connected Set 81\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e7.1 Definition 81\u003c\/p\u003e \u003cp\u003e7.2 Examples 82\u003c\/p\u003e \u003cp\u003e7.3 Properties 84\u003c\/p\u003e \u003cp\u003e7.4 Path Connected Components 84\u003c\/p\u003e \u003cp\u003e7.5 Morphisms vs Path Connectedness 85\u003c\/p\u003e \u003cp\u003e7.6 Antimorphisms vs Path Connectedness 85\u003c\/p\u003e \u003cp\u003e\u003cb\u003e8 Attractors 87\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e8.1 Preliminaries 88\u003c\/p\u003e \u003cp\u003e8.2 Definition 89\u003c\/p\u003e \u003cp\u003e8.3 Properties 90\u003c\/p\u003e \u003cp\u003e8.4 Morphisms vs Attractors 94\u003c\/p\u003e \u003cp\u003e8.5 Antimorphisms vs Attractors 95\u003c\/p\u003e \u003cp\u003e\u003cb\u003e9 The Technical Condition of Proper Operation 97\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e9.1 Definition 97\u003c\/p\u003e \u003cp\u003e9.2 Examples 100\u003c\/p\u003e \u003cp\u003e9.3 Iterates 101\u003c\/p\u003e \u003cp\u003e9.4 The Sets of Predecessors and Successors 101\u003c\/p\u003e \u003cp\u003e9.5 Source, Isolated Fixed Point, Transient Point, Sink 103\u003c\/p\u003e \u003cp\u003e9.6 Isomorphisms vs tcpo 104\u003c\/p\u003e \u003cp\u003e9.7 Antiisomorphisms vs tcpo 105\u003c\/p\u003e \u003cp\u003e\u003cb\u003e10 The Strong Technical Condition of Proper Operation 107\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e10.1 Definition 107\u003c\/p\u003e \u003cp\u003e10.2 Examples 109\u003c\/p\u003e \u003cp\u003e10.3 Iterates 110\u003c\/p\u003e \u003cp\u003e10.4 The Sets of Predecessors and Successors 110\u003c\/p\u003e \u003cp\u003e10.5 Source, Isolated Fixed Point, Transient Point, Sink 111\u003c\/p\u003e \u003cp\u003e10.6 Isomorphisms vs Strong tcpo 111\u003c\/p\u003e \u003cp\u003e10.7 Antiisomorphisms vs Strong tcpo 112\u003c\/p\u003e \u003cp\u003e\u003cb\u003e11 The Generalized Technical Condition of Proper Operation 115\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e11.1 Definition 115\u003c\/p\u003e \u003cp\u003e11.2 Examples 119\u003c\/p\u003e \u003cp\u003e11.3 Iterates 120\u003c\/p\u003e \u003cp\u003e11.4 The Sets of Predecessors and Successors 121\u003c\/p\u003e \u003cp\u003e11.5 Source, Isolated Fixed Point, Transient Point, Sink 125\u003c\/p\u003e \u003cp\u003e11.6 Isomorphisms vs the Generalized tcpo 126\u003c\/p\u003e \u003cp\u003e11.7 Antiisomorphisms vs the Generalized tcpo 128\u003c\/p\u003e \u003cp\u003e11.8 Other Properties 129\u003c\/p\u003e \u003cp\u003e\u003cb\u003e12 The Strong Generalized Technical Condition of Proper Operation 131\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e12.1 Definition 131\u003c\/p\u003e \u003cp\u003e12.2 Examples 135\u003c\/p\u003e \u003cp\u003e12.3 Iterates 136\u003c\/p\u003e \u003cp\u003e12.4 Source, Isolated Fixed Point, Transient Point, Sink 137\u003c\/p\u003e \u003cp\u003e12.5 Asynchronous and Synchronous Transient Points 141\u003c\/p\u003e \u003cp\u003e12.6 The Sets of Predecessors and Successors 141\u003c\/p\u003e \u003cp\u003e12.7 Isomorphisms vs the Strong Generalized tcpo 144\u003c\/p\u003e \u003cp\u003e12.8 Antiisomorphisms vs the Strong Generalized tcpo 146\u003c\/p\u003e \u003cp\u003e\u003cb\u003e13 Time-Reversal Symmetry 147\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e13.1 Definition 148\u003c\/p\u003e \u003cp\u003e13.2 Examples 150\u003c\/p\u003e \u003cp\u003e13.3 The Uniqueness of the Symmetrical Function 151\u003c\/p\u003e \u003cp\u003e13.4 Isomorphisms and Antiisomorphisms vs Time-Reversal Symmetry 151\u003c\/p\u003e \u003cp\u003e13.5 Other Properties 152\u003c\/p\u003e \u003cp\u003e\u003cb\u003e14 Time-Reversal Symmetry vs tcpo 155\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e14.1 Time-Reversal Symmetry vs tcpo 155\u003c\/p\u003e \u003cp\u003e14.2 Time-Reversal Symmetry vs the Strong tcpo 156\u003c\/p\u003e \u003cp\u003e14.3 Examples 159\u003c\/p\u003e \u003cp\u003e\u003cb\u003e15 Time-Reversal Symmetry vs the Generalized tcpo 163\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e15.1 Time-Reversal Symmetry vs the Generalized tcpo 163\u003c\/p\u003e \u003cp\u003e15.2 Examples 168\u003c\/p\u003e \u003cp\u003eAppendix A The Category As 171\u003c\/p\u003e \u003cp\u003eAppendix B Notations 175\u003c\/p\u003e \u003cp\u003eBibliography 177\u003c\/p\u003e \u003cp\u003eIndex 181\u003c\/p\u003e  \u003cp\u003e\u003cb\u003eSERBAN E. VLAD\u003c\/b\u003e is an Analyst Programmer at Oradea City Hall, Romania. He is a member of the Romanian and the German societies of industrial and applied mathematics, ROMAI and GAMM. He is the author of many papers and several books and book chapters.   \u003c\/p\u003e\u003cp\u003e\u003cb\u003eTHE ESSENTIAL GUIDE SHOWING HOW THE UNBOUNDED DELAY MODEL OF COMPUTATION OF THE BOOLEAN FUNCTIONS MAY BE USED IN THE ANALYSIS OF THE BOOLEAN NETWORKS\u003c\/b\u003e \u003c\/p\u003e\u003cp\u003e\u003ci\u003eBoolean Functions: Topics in Asynchronicity\u003c\/i\u003e contains the most current research in several issues of asynchronous Boolean systems. In this framework, asynchronicity means that the functions which model the digital circuits from electronics iterate their coordinates independently on each other and the author—a noted expert in the field—includes a formal mathematical description of these systems. \u003c\/p\u003e\u003cp\u003eFilled with helpful definitions and illustrative examples, the book covers a range of topics such as morphisms, antimorphisms, invariant sets, path connected sets, attractors. Further, it studies race freedom, called here the technical condition of proper operation, together with some of its generalized and strengthened versions, and also time reversal, borrowed from physics and also from dynamical systems, together with the symmetry that it generates. \u003c\/p\u003e\u003cp\u003eThis book: \u003c\/p\u003e\u003cul\u003e \u003cli\u003ePresents up-to-date research in the field of Boolean networks,\u003c\/li\u003e \u003cli\u003eIncludes the information needed to understand the construction of an asynchronous Boolean systems theory and contains proofs,\u003c\/li\u003e \u003cli\u003eEmploys use of the language of algebraic topology and homological algebra.\u003c\/li\u003e \u003c\/ul\u003e \u003cp\u003eWritten for mathematicians and computer scientists interested in the theory and applications of Boolean functions, dynamical systems, and circuits, \u003ci\u003eBoolean Functions: Topics in Asynchronicity\u003c\/i\u003e is an authoritative guide indicating a way of using the unbounded delay model of computation of the Boolean functions in the analysis of the Boolean networks.\u003c\/p\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":47988851441893,"sku":"NP9781119517474","price":145.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1842\/7735\/files\/9781119517474.jpg?v=1761781775","url":"https:\/\/k12savings.com\/products\/boolean-functions-isbn-9781119517474","provider":"K12savings","version":"1.0","type":"link"}