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 | ||
|
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 | ||
|
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 | ||
|