Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
| Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi |
| Autore | Odifreddi, Piergiorgio |
| Pubbl/distr/stampa | Amsterdam [etc.], : Elsevier, 1989 |
| Descrizione fisica | XVII, 668 p. ; 23 cm. |
| Disciplina | 511.35(Logica matematica (Logica simbolica). Teoria della ricorsivita'.) |
| Soggetto topico | Teoria della ricorsività |
| ISBN | 04-448-7295-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00105323 |
Odifreddi, Piergiorgio
|
||
| Amsterdam [etc.], : Elsevier, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Coloured Petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen
| Coloured Petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen |
| Autore | Jensen, Kurt <1950- > |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 2009 |
| Descrizione fisica | XI, 384 p. ; 24 cm |
| Disciplina |
511
511.35 |
| Altri autori (Persone) | Kristensen, Lars M. |
| Soggetto topico | Reti di Petri |
| ISBN | 9783642002830 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0512993 |
|
Jensen, Kurt <1950- >
|
||
| Berlin [etc.], : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Coloured Petri nets : basic concepts, analysis methods and practical use / Kurt Jensen
| Coloured Petri nets : basic concepts, analysis methods and practical use / Kurt Jensen |
| Autore | Jensen, Kurt <1950- > |
| Pubbl/distr/stampa | Berlin [etc.], : Springer |
| Descrizione fisica | volumi ; 25 cm |
| Disciplina |
511.3
511.35 |
| Soggetto topico | Reti di Petri |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10010486 |
|
Jensen, Kurt <1950- >
|
||
| Berlin [etc.], : Springer | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Computability & unsolvability / Martin Davis
| Computability & unsolvability / Martin Davis |
| Autore | Davis, Martin |
| Pubbl/distr/stampa | New York : McGraw-Hill, 1958 |
| Descrizione fisica | xxv, 210 p. ; 22 cm. |
| Disciplina | 511.35 |
| Collana | McGraw-Hill series in information processing and computers |
| Soggetto topico |
Models of computation
Recursive functions |
| Classificazione |
AMS 03D10
AMS 03D20 AMS 68Q05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000772859707536 |
|
Davis, Martin
|
||
| New York : McGraw-Hill, 1958 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computability and logic / George Boolos, Richard Jeffrey
| Computability and logic / George Boolos, Richard Jeffrey |
| Autore | Boolos, George |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1974 |
| Descrizione fisica | x, 262 p. : ill. ; 24 cm. |
| Disciplina | 511.35 |
| Altri autori (Persone) | Jeffrey, Richard C.author |
| Soggetto topico |
Computable functions
Recursive functions Symbolic logic |
| ISBN | 052120402X |
| Classificazione | AMS 03D |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000772999707536 |
|
Boolos, George
|
||
| Cambridge : Cambridge University Press, c1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
| Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1996 |
| Descrizione fisica | vii, 347 p. ; 23 cm |
| Disciplina | 511.35 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato | Teoria della ricorsivita - Congressi |
| ISBN | 0-521-55736-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001362610403321 |
| Cambridge : Cambridge University Press, c1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Designing beauty: the art of cellular automata / / edited by Andrew Adamatzky, Genaro J. Martínez
| Designing beauty: the art of cellular automata / / edited by Andrew Adamatzky, Genaro J. Martínez |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (189 p.) |
| Disciplina | 511.35 |
| Collana | Emergence, Complexity and Computation |
| Soggetto topico |
Computational complexity
Popular works Arts Statistical physics Biomathematics Artificial intelligence Complexity Popular Science, general Applications of Nonlinear Dynamics and Chaos Theory Mathematical and Computational Biology Artificial Intelligence |
| ISBN | 3-319-27270-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-Organizing Two-Dimensional Cellular Automata: 10 Still Frames -- Is it Art or Science? -- Larger than Life -- Three Favorite Cellular Automata -- Cellular Automata: Dying to Live Again, Architecture, Art, Design -- In Search of Movement and Life on a Static Grid -- Some Beautiful and Difficult Questions about Cellular Automata -- Hyperbolic Gallery -- Evolved Gliders and Waves on a Geodesic Grid -- Constructing Counters through Evolution -- Biological Lattice-Gas Cellular Automata -- The Enlightened Game of Life -- Small Synchronizers and Prime Generators -- Ecological Patterns of Self-Replicators -- The Art of Penrose Life -- Asynchronous Cellular Automata Simulating Complex Phenomena -- A Multiparticle Lattice-Gas Cellular Automaton Simulating a Piston Motion -- Two Layer Asynchronous Cellular Automata -- Cellular Automata Simulation of Bacterial Cell Growth and Division -- Seismic Cellular Automata -- DNA Cellular Automata -- Reversibility, Simulation and Dynamical Behaviour -- Aesthetics and Randomness in Cellular Automata -- Cellular Automata with Memory -- Turing Machine in Conway Game of Life -- Aperiodicity and Reversibility -- Cardiac Pacemaker Tissue by Cellular Automata. Patterns in Cellular Automata -- Gliders in One-Dimensional Cellular Automata -- Excitable Automata. |
| Record Nr. | UNINA-9910254260503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discrete systems with memory [[electronic resource] /] / Ramon Alonso-Sanz
| Discrete systems with memory [[electronic resource] /] / Ramon Alonso-Sanz |
| Autore | Alonso-Sanz Ramon |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, N.J., : World Scientific, c2011 |
| Descrizione fisica | 1 online resource (478 p.) |
| Disciplina |
511.3/5
511.35 530.15 |
| Collana | World Scientific series on nonlinear science. Series A, Monographs and treatises |
| Soggetto topico |
Cellular automata - Mathematical models
Discrete-time systems - Mathematical models Dynamics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-23502-1
9786613235022 981-4343-64-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Contents; Chapter 1 Cellular Automata and memory; 1.1 Cellular Automata; 1.2 Memory; Disclaimer; Chapter 2 Average type memory; 2.1 Average memory; 2.2 Two-dimensional lattices; 2.2.1 Totalistic rules; 2.2.2 LIFE; 2.3 One-dimensional layers; 2.3.1 Elementary rules; 2.3.2 Nearest and next-nearest neighbors; Chapter 3 Other memories; 3.1 Average-like memory; 3.2 Limited trailing memory; 3.3 Majority of the last three state memory; 3.4 Elementary rules as memory; 3.5 Minimal memory; Chapter 4 Asynchrony and probabilistic rules; 4.1 Asynchrony; 4.2 Probabilistic rules
Chapter 5 Cycles and random sequences5.1 Cycles; 5.2 Random number generation by CA; Chapter 6 Three state automata; 6.1 Totalistic rules; 6.2 Excitable systems; Chapter 7 Reversible dynamics; 7.1 Characterization; 7.2 Reversible rules with memory; Chapter 8 Block cellular automata; 8.1 Characterization; 8.2 Density classification task; Chapter 9 Structurally dynamic systems; 9.1 Introduction; 9.1.1 Reversible SDCA; 9.2 SDCA with memory; 9.2.1 Two state SDCA with memory; 9.2.2 Three state SDCA; Chapter 10 Boolean networks; 10.1 Automata on networks; 10.2 Boolean networks 10.3 Automata on proximity graphsChapter 11 Coupled layers; 11.1 Coupled cellular automata; 11.2 Coupled Boolean networks; Chapter 12 Continuous state variable; 12.1 Continuous-valued automata; 12.2 Finite difference equations; 12.2.1 One-dimensional maps; 12.2.2 Two-dimensional maps; 12.3 Plane curves; 12.4 Stochastic processes; Chapter 13 Spatial games; 13.1 The prisoner's dilemma; 13.2 Degrees of cooperation and strategies; 13.3 The structurally dynamic PD (SDPD); 13.4 Pavlov versus anti-Pavlov (PAP) in the PD; 13.5 Other spatial games; Appendix A Average memory starting at random Appendix B Dynamic with short-term memoryAppendix C Heterogeneous and coupled networks; Appendix D Continuous state variable; Appendix E Spatial games; Bibliography; List of Figures; List of Tables; Index |
| Record Nr. | UNINA-9910464522503321 |
|
Alonso-Sanz Ramon
|
||
| Singapore ; ; Hackensack, N.J., : World Scientific, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discrete systems with memory [[electronic resource] /] / Ramon Alonso-Sanz
| Discrete systems with memory [[electronic resource] /] / Ramon Alonso-Sanz |
| Autore | Alonso-Sanz Ramon |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, N.J., : World Scientific, c2011 |
| Descrizione fisica | 1 online resource (478 p.) |
| Disciplina |
511.3/5
511.35 530.15 |
| Collana | World Scientific series on nonlinear science. Series A, Monographs and treatises |
| Soggetto topico |
Cellular automata - Mathematical models
Discrete-time systems - Mathematical models Dynamics |
| ISBN |
1-283-23502-1
9786613235022 981-4343-64-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Contents; Chapter 1 Cellular Automata and memory; 1.1 Cellular Automata; 1.2 Memory; Disclaimer; Chapter 2 Average type memory; 2.1 Average memory; 2.2 Two-dimensional lattices; 2.2.1 Totalistic rules; 2.2.2 LIFE; 2.3 One-dimensional layers; 2.3.1 Elementary rules; 2.3.2 Nearest and next-nearest neighbors; Chapter 3 Other memories; 3.1 Average-like memory; 3.2 Limited trailing memory; 3.3 Majority of the last three state memory; 3.4 Elementary rules as memory; 3.5 Minimal memory; Chapter 4 Asynchrony and probabilistic rules; 4.1 Asynchrony; 4.2 Probabilistic rules
Chapter 5 Cycles and random sequences5.1 Cycles; 5.2 Random number generation by CA; Chapter 6 Three state automata; 6.1 Totalistic rules; 6.2 Excitable systems; Chapter 7 Reversible dynamics; 7.1 Characterization; 7.2 Reversible rules with memory; Chapter 8 Block cellular automata; 8.1 Characterization; 8.2 Density classification task; Chapter 9 Structurally dynamic systems; 9.1 Introduction; 9.1.1 Reversible SDCA; 9.2 SDCA with memory; 9.2.1 Two state SDCA with memory; 9.2.2 Three state SDCA; Chapter 10 Boolean networks; 10.1 Automata on networks; 10.2 Boolean networks 10.3 Automata on proximity graphsChapter 11 Coupled layers; 11.1 Coupled cellular automata; 11.2 Coupled Boolean networks; Chapter 12 Continuous state variable; 12.1 Continuous-valued automata; 12.2 Finite difference equations; 12.2.1 One-dimensional maps; 12.2.2 Two-dimensional maps; 12.3 Plane curves; 12.4 Stochastic processes; Chapter 13 Spatial games; 13.1 The prisoner's dilemma; 13.2 Degrees of cooperation and strategies; 13.3 The structurally dynamic PD (SDPD); 13.4 Pavlov versus anti-Pavlov (PAP) in the PD; 13.5 Other spatial games; Appendix A Average memory starting at random Appendix B Dynamic with short-term memoryAppendix C Heterogeneous and coupled networks; Appendix D Continuous state variable; Appendix E Spatial games; Bibliography; List of Figures; List of Tables; Index |
| Record Nr. | UNINA-9910788961203321 |
|
Alonso-Sanz Ramon
|
||
| Singapore ; ; Hackensack, N.J., : World Scientific, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discrete systems with memory / / Ramon Alonso-Sanz
| Discrete systems with memory / / Ramon Alonso-Sanz |
| Autore | Alonso-Sanz Ramon |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, N.J., : World Scientific, c2011 |
| Descrizione fisica | 1 online resource (478 p.) |
| Disciplina |
511.3/5
511.35 530.15 |
| Collana | World Scientific series on nonlinear science. Series A, Monographs and treatises |
| Soggetto topico |
Cellular automata - Mathematical models
Discrete-time systems - Mathematical models Dynamics |
| ISBN |
1-283-23502-1
9786613235022 981-4343-64-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Contents; Chapter 1 Cellular Automata and memory; 1.1 Cellular Automata; 1.2 Memory; Disclaimer; Chapter 2 Average type memory; 2.1 Average memory; 2.2 Two-dimensional lattices; 2.2.1 Totalistic rules; 2.2.2 LIFE; 2.3 One-dimensional layers; 2.3.1 Elementary rules; 2.3.2 Nearest and next-nearest neighbors; Chapter 3 Other memories; 3.1 Average-like memory; 3.2 Limited trailing memory; 3.3 Majority of the last three state memory; 3.4 Elementary rules as memory; 3.5 Minimal memory; Chapter 4 Asynchrony and probabilistic rules; 4.1 Asynchrony; 4.2 Probabilistic rules
Chapter 5 Cycles and random sequences5.1 Cycles; 5.2 Random number generation by CA; Chapter 6 Three state automata; 6.1 Totalistic rules; 6.2 Excitable systems; Chapter 7 Reversible dynamics; 7.1 Characterization; 7.2 Reversible rules with memory; Chapter 8 Block cellular automata; 8.1 Characterization; 8.2 Density classification task; Chapter 9 Structurally dynamic systems; 9.1 Introduction; 9.1.1 Reversible SDCA; 9.2 SDCA with memory; 9.2.1 Two state SDCA with memory; 9.2.2 Three state SDCA; Chapter 10 Boolean networks; 10.1 Automata on networks; 10.2 Boolean networks 10.3 Automata on proximity graphsChapter 11 Coupled layers; 11.1 Coupled cellular automata; 11.2 Coupled Boolean networks; Chapter 12 Continuous state variable; 12.1 Continuous-valued automata; 12.2 Finite difference equations; 12.2.1 One-dimensional maps; 12.2.2 Two-dimensional maps; 12.3 Plane curves; 12.4 Stochastic processes; Chapter 13 Spatial games; 13.1 The prisoner's dilemma; 13.2 Degrees of cooperation and strategies; 13.3 The structurally dynamic PD (SDPD); 13.4 Pavlov versus anti-Pavlov (PAP) in the PD; 13.5 Other spatial games; Appendix A Average memory starting at random Appendix B Dynamic with short-term memoryAppendix C Heterogeneous and coupled networks; Appendix D Continuous state variable; Appendix E Spatial games; Bibliography; List of Figures; List of Tables; Index |
| Record Nr. | UNINA-9910812396403321 |
|
Alonso-Sanz Ramon
|
||
| Singapore ; ; Hackensack, N.J., : World Scientific, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
