000 03816nam a22004215i 4500
999 _c395702
_d395702
001 395702
003 ES-MaUEC
005 20230119224026.0
006 a||||fo|||| 00| 0
007 cr nn 008mamaa
008 230119s2022 sz | s |||| 0|eng d
020 _a9783030888138
024 7 _a10.1007/978-3-030-88813-8
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
_dES-MaUEC
050 4 _aQA76.9.M35
_b2022 EB
100 1 _aCzaja, Ludwik
_eautor
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_9671292
245 1 0 _aComputing in Cause-Effect Structures
_cby Ludwik Czaja
250 _a1st edition 2022
264 1 _aCham
_bSpringer International Publishing
_c2022
300 _a1 recurso en línea (XV, 172 páginas)
_b147 ilustraciones, 68 ilustraciones a color
336 _atexto
_btxt
_2rdacontent
337 _aelectrónico
_bc
_2rdamedia
338 _arecurso electrónico
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
490 0 _aLecture Notes in Networks and Systems
_x2367-3389
_v331
505 0 _aBasic Concepts of Cause-Effect Structures -- Computing with Natural Numbers -- Computing logical (Boolean) functions -- Modelling data structures -- Relationship of Reaction Systems and Cause-Effect Structures -- Rough Cause-Effect Structures -- Relationship of c-e structures to Petri Nets -- Time in Cause-Effect Structures -- Examples from several fields.
520 _aThis book focuses on numerous examples of tasks represented by c-e structure. Cause-effect (c-e) structures are dynamic objects devised for algebraic and graphic description of realistic tasks. They constitute a formal system providing means to specify or implement (depending on degree of description generality) the tasks. They can be transformed, thus come under simplification, in accordance with rules-axioms of their algebra. Also, their properties can be inferred from the axioms. One objective of this book is presentation, by many realistic examples, of computing capability of c-e structures, without entering into mathematical details of their algebra. In particular, how computing with natural numbers and in propositional calculus can be performed by c-e structures and how to specify bahaviour of data structures. But also demonstration of many other tasks taken from the area of parallel processing, specified as c-e structures. Another objective is modelling or simulation by means of c-e structures, of other descriptive systems, devised for tasks from various fields. Also without formalizing by usage of functions between the systems. This concerns formalisms such as reaction systems, rough sets, Petri nets and CSP-like languages. Also on such, where temporal interdependence between actions matters. The presentation of examples is prevalently graphic, in the form of peculiar nets, but accompanied by their algebraic and set-theoretic expressions. A fairly complete exposition of concepts and properties of the algebra of cause-effect structures is in the previous book appeared in the Lecture Notes in Networks and Systems series. But basic notions of c-e structures are here provided for understanding the examples.
988 _aSpringer_Robotics_2022
650 7 _2embne
_9160233
_aMatemáticas discretas
776 0 8 _iPrinted edition:
_z9783030888121
776 0 8 _iPrinted edition:
_z9783030888145
776 0 8 _iPrinted edition:
_z9783030888152
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi-org.ezproxy.universidadeuropea.es/10.1007/978-3-030-88813-8
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
998 _b01/2023
_dz
_eIG
_zSI