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.
Hidden Dynamics : The Mathematics of Switches, Decisions and Other Discontinuous Behaviour / Mike R. Jeffrey
| Hidden Dynamics : The Mathematics of Switches, Decisions and Other Discontinuous Behaviour / Mike R. Jeffrey |
| Autore | Jeffrey, Mike R. |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xviii, 521 p. : ill. ; 24 cm |
| Soggetto topico |
34C23 - Bifurcation theory for ordinary differential equation [MSC 2020]
37N25 - Dynamical systems in biology [MSC 2020] 92Bxx - Mathematical biology in general [MSC 2020] 37Mxx - Approximation methods and numerical treatment of dynamical systems [MSC 2020] 34Exx - Asymptotic theory for ordinary differential equation [MSC 2020] 41A60 - Asymptotic approximations, asymptotic expansions (steepest descent, etc.) [MSC 2020] 00-XX - General and overarching topics; collections [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] 34Nxx - Dynamic equations on time scales or measure chains [MSC 2020] 70G60 - Dynamical systems methods for problems in mechanics [MSC 2020] |
| Soggetto non controllato |
Asymptotics
Bifurcation Decision Determinism Discontinuity Dynamics Singularity Sliding Switch |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124753 |
Jeffrey, Mike R.
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Hidden Dynamics : The Mathematics of Switches, Decisions and Other Discontinuous Behaviour / Mike R. Jeffrey
| Hidden Dynamics : The Mathematics of Switches, Decisions and Other Discontinuous Behaviour / Mike R. Jeffrey |
| Autore | Jeffrey, Mike R. |
| Edizione | [Cham : Springer, 2018] |
| Pubbl/distr/stampa | xviii, 521 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
34C23 - Bifurcation theory for ordinary differential equation [MSC 2020]
37N25 - Dynamical systems in biology [MSC 2020] 92Bxx - Mathematical biology in general [MSC 2020] 37Mxx - Approximation methods and numerical treatment of dynamical systems [MSC 2020] 34Exx - Asymptotic theory for ordinary differential equation [MSC 2020] 41A60 - Asymptotic approximations, asymptotic expansions (steepest descent, etc.) [MSC 2020] 00-XX - General and overarching topics; collections [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] 34Nxx - Dynamic equations on time scales or measure chains [MSC 2020] 70G60 - Dynamical systems methods for problems in mechanics [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124753 |
|
Jeffrey, Mike R.
|
||
| xviii, 521 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to mathematical logic / E. Mendelson
| Introduction to mathematical logic / E. Mendelson |
| Autore | Mendelson, Elliott |
| Edizione | [4th edition] |
| Pubbl/distr/stampa | London [etc.], : Chapman & Hall, 1997, stampa 2001 |
| Descrizione fisica | x, 440 p. ; 25 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] |
| ISBN | 04-12-80830-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053872 |
|
Mendelson, Elliott
|
||
| London [etc.], : Chapman & Hall, 1997, stampa 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to mathematical logic / E. Mendelson
| Introduction to mathematical logic / E. Mendelson |
| Autore | Mendelson, Elliott |
| Edizione | [4. edition] |
| Pubbl/distr/stampa | London [etc.], : Chapman & Hall, 1997, stampa 2001 |
| Descrizione fisica | x, 440 p. ; 25 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] |
| ISBN | 04-12-80830-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053872 |
|
Mendelson, Elliott
|
||
| London [etc.], : Chapman & Hall, 1997, stampa 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983 . Part 1 / edited by G. H. Müller, M. M. Richter
| Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983 . Part 1 / edited by G. H. Müller, M. M. Richter |
| Pubbl/distr/stampa | Berlin, : Springer, 1984 |
| Descrizione fisica | VIII, 484 p. ; 25 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] |
| ISBN | 978-35-401-3900-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ger
eng |
| Record Nr. | UNICAMPANIA-SUN0123305 |
| Berlin, : Springer, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part 1 / edited by G. H. Müller, M. M. Richter
| Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part 1 / edited by G. H. Müller, M. M. Richter |
| Pubbl/distr/stampa | Berlin, : Springer, 1984 |
| Descrizione fisica | VIII, 484 p. ; 25 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] |
| Soggetto non controllato |
Algebra
Boolean algebra Calculus Cantor Commutative property Finite Functions Geometry Model Model theory Morphism Ordinals Proofs |
| ISBN | 978-35-401-3900-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ger
eng |
| Record Nr. | UNICAMPANIA-VAN0123305 |
| Berlin, : Springer, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Part 1.: Models and sets / edited by G. H. Müller, M. M. Richter
| Part 1.: Models and sets / edited by G. H. Müller, M. M. Richter |
| Pubbl/distr/stampa | Berlin, : Springer, 1984 |
| Descrizione fisica | VIII, 484 p. ; 25 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] |
| Soggetto non controllato |
Algebra
Boolean algebra Calculus Cantor Commutative property Finite Functions Geometry Model Model theory Morphism Ordinals Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ger
eng |
| Record Nr. | UNICAMPANIA-VAN0263394 |
| Berlin, : Springer, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Victoria Symposium on Nonstandard Analysis : University of Victoria 1972 / Edited by Albert Hurd, Peter Loeb
| Victoria Symposium on Nonstandard Analysis : University of Victoria 1972 / Edited by Albert Hurd, Peter Loeb |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | xviii, 339 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
26E35 - Nonstandard analysis [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] |
| Soggetto non controllato |
Analysis
Calculus Differential equations Nonstandard analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256289 |
| Berlin, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
