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.
2-D quadratic maps and 3-D ODE systems [[electronic resource] ] : a rigorous approach / / Elhadj Zeraoulia, Julien Clinton Sprott
| 2-D quadratic maps and 3-D ODE systems [[electronic resource] ] : a rigorous approach / / Elhadj Zeraoulia, Julien Clinton Sprott |
| Autore | Zeraoulia Elhadj |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, N.J., : World Scientific Pub. Co., c2010 |
| Descrizione fisica | 1 online resource (342 p.) |
| Disciplina | 515.352 |
| Altri autori (Persone) | SprottJulien C |
| Collana | World Scientific series on nonlinear science. Series A, Monographs and treatises |
| Soggetto topico |
Forms, Quadratic
Differential equations, Linear Bifurcation theory Differentiable dynamical systems Proof theory |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-14459-X
9786613144591 981-4307-75-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; Contents; Acknowledgements; 1. Tools for the rigorous proof of chaos and bifurcations; 2. 2-D quadratic maps: The invertible case; 3. Classification of chaotic orbits of the general 2-D quadratic map; 4. Rigorous proof of chaos in the double-scroll system; 5. Rigorous analysis of bifurcation phenomena; Bibliography; Index |
| Record Nr. | UNINA-9910463905403321 |
Zeraoulia Elhadj
|
||
| Singapore ; ; Hackensack, N.J., : World Scientific Pub. Co., c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2-D quadratic maps and 3-D ODE systems [[electronic resource] ] : a rigorous approach / / Elhadj Zeraoulia, Julien Clinton Sprott
| 2-D quadratic maps and 3-D ODE systems [[electronic resource] ] : a rigorous approach / / Elhadj Zeraoulia, Julien Clinton Sprott |
| Autore | Zeraoulia Elhadj |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, N.J., : World Scientific Pub. Co., c2010 |
| Descrizione fisica | 1 online resource (342 p.) |
| Disciplina | 515.352 |
| Altri autori (Persone) | SprottJulien C |
| Collana | World Scientific series on nonlinear science. Series A, Monographs and treatises |
| Soggetto topico |
Forms, Quadratic
Differential equations, Linear Bifurcation theory Differentiable dynamical systems Proof theory |
| ISBN |
1-283-14459-X
9786613144591 981-4307-75-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; Contents; Acknowledgements; 1. Tools for the rigorous proof of chaos and bifurcations; 2. 2-D quadratic maps: The invertible case; 3. Classification of chaotic orbits of the general 2-D quadratic map; 4. Rigorous proof of chaos in the double-scroll system; 5. Rigorous analysis of bifurcation phenomena; Bibliography; Index |
| Record Nr. | UNINA-9910788556103321 |
|
Zeraoulia Elhadj
|
||
| Singapore ; ; Hackensack, N.J., : World Scientific Pub. Co., c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An accompaniment to higher mathematics / George R. Exner
| An accompaniment to higher mathematics / George R. Exner |
| Autore | Exner, George R. |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1996 |
| Descrizione fisica | xvii, 198 p. : ill. ; 25 cm |
| Disciplina | 510 |
| Collana | Undergraduate texts in mathematics, 0172-6056 |
| Soggetto topico | Proof theory |
| ISBN | 0387946179 |
| Classificazione | AMS 00A05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000643729707536 |
|
Exner, George R.
|
||
| New York : Springer-Verlag, c1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Advanced Mathematical Methods : Theory and Applications / / Andrea Giusti, Francesco Mainardi
| Advanced Mathematical Methods : Theory and Applications / / Andrea Giusti, Francesco Mainardi |
| Autore | Giusti Andrea |
| Pubbl/distr/stampa | [Place of publication not identified] : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2020 |
| Descrizione fisica | 1 online resource (198 pages) |
| Disciplina | 511.3 |
| Soggetto topico | Proof theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Advanced Mathematical Methods |
| Record Nr. | UNINA-9910688581903321 |
|
Giusti Andrea
|
||
| [Place of publication not identified] : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebra of proofs / M. E. Szabo
| Algebra of proofs / M. E. Szabo |
| Autore | Szabo, M. E. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1978 |
| Descrizione fisica | xii, 297 p. ; 23 cm. |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 88 |
| Soggetto topico |
Categories
Combinatory logic Proof theory |
| ISBN | 0720422868 |
| Classificazione | AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000654389707536 |
|
Szabo, M. E.
|
||
| Amsterdam : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications / / edited by Mahouton Norbert Hounkonnou, Melanija Mitrović, Mujahid Abbas, Madad Khan
| Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications / / edited by Mahouton Norbert Hounkonnou, Melanija Mitrović, Mujahid Abbas, Madad Khan |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (600 pages) |
| Disciplina | 512.48 |
| Collana | STEAM-H: Science, Technology, Engineering, Agriculture, Mathematics & Health |
| Soggetto topico |
Proof theory
Nonassociative rings Algebra, Homological Topological groups Lie groups Differential equations Proof Theory and Constructive Mathematics Non-associative Rings and Algebras Category Theory, Homological Algebra Topological Groups and Lie Groups Differential Equations Àlgebres no associatives |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031393341
3031393341 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quandles, knots, quandle rings and graphs (Elhamdadi) -- New splittings of operations of Poisson algebras and transposed Poisson algebras and related algebraic structures (Bai) -- Some varieties of loops (Bol-Moufang and non-Bol-Moufang types) (Sòlárìn) -- The ����3-graded extension of the Poincaré algebra (Kerner) -- Ternary Leibniz color algebras and beyond (Bakayoko) -- (Hom-)(co)associative ternary (co)algebras and infinitesimal ternary (hom-)bialgebras (Hounkonnou) -- Elduque-Myung type mutations of Hom-algebras (Silvestrov) -- (Hom-) ���� -generalizedWitt algebras (Hounkonnou) -- Some algebraic properties of representations of polynomial covariance commutation relations (Silvestrov) -- Applications of Quasigroups in Cryptography and Coding Theory (Trpcheska) -- Generalized quadratic quasigroup functional equations (Krapež) -- A Primer on Noncommutative Classical Dynamics on Velocity Phase Space and Souriau Formalism (Guha). |
| Record Nr. | UNINA-9910768194603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / / by Saloua Chatti
| Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / / by Saloua Chatti |
| Autore | Chatti Saloua |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 |
| Descrizione fisica | 1 online resource (380 pages) |
| Disciplina | 160 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Proof theory
Mathematics—Philosophy Mathematics Social sciences Philosophy—History Proof Theory and Constructive Mathematics Philosophy of Mathematics Mathematics in the Humanities and Social Sciences History of Philosophy |
| ISBN | 3-030-27466-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: General Introduction -- Chapter 2: The Rise of Arabic Logic: Authors, Translations, Topics -- Chapter 3: Categorical Logic -- Chapter 4: Modal Logic -- Chapter 5: The Hypothetical Logic -- Chapter 6: General Conclusion -- References -- Index of Names -- Subject Index. |
| Record Nr. | UNINA-9910360849003321 |
|
Chatti Saloua
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The argument of mathematics / / Andrew Aberdein, Ian J. Dove, editors
| The argument of mathematics / / Andrew Aberdein, Ian J. Dove, editors |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | New York, : Springer, 2013 |
| Descrizione fisica | 1 online resource (391 p.) |
| Disciplina | 510.1 |
| Altri autori (Persone) |
AberdeinAndrew
DoveIan J |
| Collana | Logic, epistemology and the unity of science |
| Soggetto topico | Proof theory |
| ISBN | 94-007-6534-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. I. What are mathematical arguments? -- pt. II. Argumentation as a methodology for studying mathematical practice -- pt. III. Mathematics as a testbed for argumentation theory -- pt. IV. An argumentational turn in the philosophy of mathematics. |
| Record Nr. | UNINA-9910438332403321 |
| New York, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arnon Avron on semantics and proof theory of non-classical logics / / Ofer Arieli, Anna Zamansky, editors
| Arnon Avron on semantics and proof theory of non-classical logics / / Ofer Arieli, Anna Zamansky, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (369 pages) |
| Disciplina | 511.3 |
| Collana | Outstanding Contributions to Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Proof theory |
| ISBN | 3-030-71258-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910495223903321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Axiomatising the logic of computer programming / Robert Goldblatt
| Axiomatising the logic of computer programming / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | xi, 304 p. ; 24 cm. |
| Disciplina | 519.4 |
| Soggetto topico |
Programming languages
Proof theory |
| ISBN | 5407112103 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000710759707536 |
|
Goldblatt, Robert
|
||
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
