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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|