001443032 000__ 06315cam\a2200577\i\4500
001443032 001__ 1443032
001443032 003__ OCoLC
001443032 005__ 20230310003523.0
001443032 006__ m\\\\\o\\d\\\\\\\\
001443032 007__ cr\cn\nnnunnun
001443032 008__ 211204s2022\\\\sz\a\\\\ob\\\\001\0\eng\d
001443032 019__ $$a1286794771$$a1286918336$$a1286945940$$a1294364732$$a1296666553
001443032 020__ $$a9783030888138$$q(electronic bk.)
001443032 020__ $$a3030888134$$q(electronic bk.)
001443032 020__ $$z9783030888121
001443032 020__ $$z3030888126
001443032 0247_ $$a10.1007/978-3-030-88813-8$$2doi
001443032 035__ $$aSP(OCoLC)1287138239
001443032 040__ $$aEBLCP$$beng$$erda$$epn$$cEBLCP$$dYDX$$dGW5XE$$dSFB$$dOCLCF$$dOCLCO$$dDCT$$dDKU$$dOCLCQ$$dOCLCO$$dN$T$$dOCLCQ
001443032 049__ $$aISEA
001443032 050_4 $$aQA76.9.M35$$bC93 2022
001443032 08204 $$a004.01/51$$223
001443032 1001_ $$aCzaja, Ludwik,$$eauthor.
001443032 24510 $$aComputing in cause-effect structures /$$cLudwik Czaja.
001443032 264_1 $$aCham :$$bSpringer,$$c[2022]
001443032 264_4 $$c©2022
001443032 300__ $$a1 online resource (180 pages) :$$billustrations (some color)
001443032 336__ $$atext$$btxt$$2rdacontent
001443032 337__ $$acomputer$$bc$$2rdamedia
001443032 338__ $$aonline resource$$bcr$$2rdacarrier
001443032 347__ $$atext file
001443032 347__ $$bPDF
001443032 4901_ $$aLecture notes in networks and systems ;$$vvolume 331
001443032 504__ $$aIncludes bibliographical references and index.
001443032 5050_ $$aIntro -- Preface -- References -- Acknowledgements -- Contents -- About the Author -- 1 About Content of the Book -- References -- 2 Basic Concepts of Cause-Effect Structures -- 2.1 A Set-Theoretic Model of Axioms of the Quasi-semiring of Formal Polynomials -- 2.2 Selected Structural Properties -- 2.3 Selected Semantic Properties and Remarks -- 2.4 Drawing Conventions -- 2.5 Example of Constructing C-E Structure -- References -- 3 Computing with Natural Numbers -- 3.1 The Addition (Iterated Adding of Unity) -- 3.2 The Restricted Subtraction (Iterated Subtracting of Unity) -- 3.3 The Multiplication (Iterated Adding a Number to Itself) -- 3.4 The Division with Neglected Remainder ... -- 3.5 The Remainder -- 3.6 The Division with Remainder -- 3.7 The Exponentiation (Iterated Multiplication of a Number by Itself) -- 3.8 The Factorial (Iterated Multiplication with Successively Decreased Argument) -- 3.9 Summation of a Sequence of Numbers -- 3.10 Inner Product of Two Vectors, Sequential Computation -- 3.11 Inner Product of Two Vectors, Parallel Computation -- 3.12 Greatest Common Divisor -- 3.13 Lowest Common Multiple -- 3.14 The ``3k + 1'' Problem -- 3.15 Comparing Numbers: ``if Greater Than'' or ``if Less Than'' -- 3.16 Comparing Numbers: ``if Greater Than'' or ``if Less Than'' or ``if Equals'' -- 3.17 Integer Part of Square Root -- References -- 4 Computing Logical (Boolean) Functions -- 4.1 One-Argument Logical Functions -- 4.1.1 Constant Functions -- 4.1.2 Negation and Identity -- 4.2 Two-Argument Logical Functions -- 4.2.1 Disjunction -- 4.2.2 Conjunction -- 4.2.3 Implication -- 4.2.4 Sheffer Function f(x, y)=(xwedgey) (Denoted Sometimes as underlinenand or x/y) -- 4.2.5 Exclusive Disjunction (xor) -- 4.2.6 f(x, y)=(xveey) (Negation of Disjunction Denoted Sometimes as underlinenor) -- 4.2.7 Example of Tautology f(x, y)=(xy)vee(yx).
001443032 5058_ $$a4.3 Three-Argument Logical Functions -- 4.3.1 Frege Tautology ch4Fre1884 f(x, y, z)=[(x(yz)] [(xy)(xz)] -- 4.3.2 Threshold Function ch4SspsTspsHsps1965, ch4Lozspsetspsal2017 f(x, y, z)=(xwedgey)vee(xwedgez)vee(ywedgez) -- References -- 5 Modelling Data Structures -- 5.1 Buffer -- 5.2 Stack Controller -- 5.3 Stack -- 5.4 FIFO Queue Controller -- 5.5 FIFO Queue -- 5.6 FIFO Ringqueue -- 5.7 Grid -- 5.8 Chess Knight -- References -- 6 Relationship of Reaction Systems and Cause-Effect Structures -- References -- 7 Rough Cause-Effect Structures -- References -- 8 Relationship of C-E Structures to Petri Nets -- 8.1 Strong Equivalence -- Elementary Case -- 8.2 Direct Conversions -- 8.3 Weak Equivalence -- 8.4 Procedure of Conversion of Elementary Petri Nets ... -- 8.5 Strong Equivalence -- Extended Case -- 8.6 Direct Conversions -- 8.7 Remarks on Weak Equivalence and Conversion of PTI Nets into Extended C-E Structures -- 8.8 Remarks on Another Version of PTI Nets and Their Relation to C-E Structures -- References -- 9 Time in Cause-Effect Structures -- 9.1 Minimal Time Model for Elementary C-E Structures -- 9.1.1 Local Minimal Time -- 9.1.2 Global Minimal Time -- 9.2 Examples of Real Applications Inspired by Music Scores -- 9.2.1 Modelling Chords by Elementary C-E Structures -- 9.2.2 Modelling Sound Duration by Elementary C-E Structures -- Repetition of Bars -- 9.3 Maximal Time Model for Elementary C-E Structures -- 9.4 Minimal Time Model for Extended C-E Structures -- 9.4.1 Example of Modelling Chords by Extended C-E Structures -- References -- 10 Examples from Several Fields -- 10.1 Road Traffic -- 10.1.1 Roundabout -- 10.1.2 Bridge -- 10.1.3 Crossroad -- 10.1.4 Road Grid -- 10.2 Other Systems of Moving Objects -- 10.2.1 Lifts (Elevators) -- 10.2.2 Boatman-A Coordination Problem -- 10.3 Some Problems of Concurrency -- 10.3.1 Producers and Consumers.
001443032 5058_ $$a10.3.2 Deadlock-Free Dining Philosophers -- 10.3.3 Cigarette Smokers -- 10.3.4 Mutual Exclusion in Multiprocessors and Multicomputers -- 10.4 Problems with Simultaneity -- 10.4.1 Volley-Enforcement of Simultaneous Actions -- 10.4.2 Synchronous ``handshake'' Communication -- 10.4.3 More Concrete Example of Handshake Communication -- 10.5 Dispersal of Signals -- 10.5.1 Neurons -- 10.5.2 Balancer -- References -- Appendix Bibliographies -- Index.
001443032 506__ $$aAccess limited to authorized users.
001443032 520__ $$aThis book focuses on numerous examples of tasks represented by c-e structure.
001443032 588__ $$aDescription based on print version record.
001443032 650_0 $$aComputer science$$xMathematics.
001443032 650_6 $$aInformatique$$xMathématiques.
001443032 655_0 $$aElectronic books.
001443032 77608 $$iPrint version:$$aCzaja, Ludwik.$$tComputing in Cause-Effect Structures.$$dCham : Springer International Publishing AG, ©2022$$z9783030888121
001443032 830_0 $$aLecture notes in networks and systems ;$$vv. 331.
001443032 852__ $$bebk
001443032 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-88813-8$$zOnline Access$$91397441.1
001443032 909CO $$ooai:library.usi.edu:1443032$$pGLOBAL_SET
001443032 980__ $$aBIB
001443032 980__ $$aEBOOK
001443032 982__ $$aEbook
001443032 983__ $$aOnline
001443032 994__ $$a92$$bISE