Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors
| Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | VI, 379 p. : ill. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Yxx - Computational number theory [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 01Axx - History of mathematics and mathematicians [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 97Mxx - Education of mathematical modeling and applications of mathematics [MSC 2020] 97C30 - Cognitive processes, learning theories (aspects of mathematics education) [MSC 2020] |
| Soggetto non controllato |
Mathematical objects
Mathematical ontology Mathematical statements Mathematical truths Philosophy of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113697 |
| [Cham], : Springer, 2015 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors
| Mathematics, substance and surmise : views on the meaning and ontology of mathematics / Ernest Davis, Philip J. Davis editors |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | VI, 379 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 11-XX - Number theory [MSC 2020] 11Yxx - Computational number theory [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 97C30 - Cognitive processes, learning theories (aspects of mathematics education) [MSC 2020] 97Mxx - Education of mathematical modeling and applications of mathematics [MSC 2020] |
| Soggetto non controllato |
Mathematical objects
Mathematical ontology Mathematical statements Mathematical truths Philosophy of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113697 |
| [Cham], : Springer, 2015 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Objects, Structures, and Logics : FilMat Studies in the Philosophy of Mathematics / Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo editors
| Objects, Structures, and Logics : FilMat Studies in the Philosophy of Mathematics / Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | x, 363 p. : ill. ; 24 cm |
| Soggetto non controllato |
Logic and Metaphysics in the Philosophy of Mathematics
Mathematical Structuralism Mathematical objects Mathematical proofs Set theory vs. Category Theory as Foundations of Mathematics Truth in Mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277975 |
| Cham, : Springer, 2022 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Objects, Structures, and Logics : FilMat Studies in the Philosophy of Mathematics / Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo editors
| Objects, Structures, and Logics : FilMat Studies in the Philosophy of Mathematics / Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | x, 363 p. : ill. ; 24 cm |
| Soggetto non controllato |
Logic and Metaphysics in the Philosophy of Mathematics
Mathematical Structuralism Mathematical objects Mathematical proofs Set theory vs. Category Theory as Foundations of Mathematics Truth in Mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00277975 |
| Cham, : Springer, 2022 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Python for Probability, Statistics, and Machine Learning / José Unpingco
| Python for Probability, Statistics, and Machine Learning / José Unpingco |
| Autore | Unpingco, José |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xvii, 509 p. : ill. ; 24 cm |
| Soggetto topico |
62-XX - Statistics [MSC 2020]
68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
IPython Notebooks
Machine learning Mathematical objects Numerical Computation and Visualization Open Source Python Toolchain Probability and Statistics Scientific Python Sequentially Related Random Events Statistical estimation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0278070 |
Unpingco, José
|
||
| Cham, : Springer, 2022 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Python for Probability, Statistics, and Machine Learning / José Unpingco
| Python for Probability, Statistics, and Machine Learning / José Unpingco |
| Autore | Unpingco, José |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xvii, 509 p. : ill. ; 24 cm |
| Soggetto topico |
62-XX - Statistics [MSC 2020]
68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
IPython Notebooks
Machine learning Mathematical objects Numerical Computation and Visualization Open Source Python Toolchain Probability and Statistics Scientific Python Sequentially Related Random Events Statistical estimation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00278070 |
Unpingco, José
|
||
| Cham, : Springer, 2022 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||