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.
A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentation theory of complexity |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0268046 |
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic Systems / A. I. Mal’cev ; Translated from the Russian by B. D. Seckler and A. P. Doohovskoy
| Algebraic Systems / A. I. Mal’cev ; Translated from the Russian by B. D. Seckler and A. P. Doohovskoy |
| Autore | Maltsev, Anatolij I. |
| Pubbl/distr/stampa | Berlin, : Springer, 1973 |
| Descrizione fisica | x, 317 p. : ill. ; 24 cm |
| Soggetto topico |
08-XX - General algebraic systems [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Group theory Logic Mathematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0255798 |
|
Maltsev, Anatolij I.
|
||
| Berlin, : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Approximation Theory in the Central Limit Theorem : Exact Results in Banach Spaces / V. Paulauskas, A. Račkauskas ; Translated by B. Svecevicius and V. Paulauskas
| Approximation Theory in the Central Limit Theorem : Exact Results in Banach Spaces / V. Paulauskas, A. Račkauskas ; Translated by B. Svecevicius and V. Paulauskas |
| Autore | Paulauskas, Vygantas I. |
| Pubbl/distr/stampa | Dordrecht, : Kluwer, 1989 |
| Descrizione fisica | xviii, 176 p. ; 24 cm |
| Altri autori (Persone) | Račkauskas, Alfredas Y. |
| Soggetto non controllato |
Approximation theory
Banach spaces Boundary Element Methods Category Theory Convergence Differential equations Discard Gaussian measures Logic Mathematica Term rewriting Tools Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0266690 |
|
Paulauskas, Vygantas I.
|
||
| Dordrecht, : Kluwer, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon
| Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (297 pages) : illustrations |
| Disciplina |
621.38
621.34* |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Machine theory
Conscious automata |
| Soggetto non controllato |
A Mathematical Theory of Communication
Abstraction (software engineering) Accuracy and precision Algebraic theory Arithmetic Automaton Axiom Binary number Biophysics Bit Boolean algebra (structure) Calculation Chaos theory Circuit design Classical conditioning Combination lock Combination Computable number Computation Concepts (C++) Conditional probability Connectivity (graph theory) Correlation and dependence Counterexample Counting Decision problem Description number Detection Determinism Deterministic system (philosophy) Diagram (category theory) Diagram Entscheidungsproblem Enumeration Equation Estimation Exponentiation Finite-state machine First principle Fixed point (mathematics) Function (mathematics) Gödel numbering Hardware random number generator Heuristic argument Instance (computer science) Interlacing (bitmaps) Intuitionistic logic Lebesgue measure Logarithm Logic Logical disjunction Markov chain Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical theory Mathematics Measure (mathematics) Metamathematics Modular arithmetic Moment (mathematics) Moore machine Notation Number theory OR gate Parameter (computer programming) Parity (mathematics) Permutation Pilot plant Polynomial Primitive recursive function Probability measure Probability Proportionality (mathematics) Propositional function Quantity Recursion (computer science) Recursive set Recursively enumerable set Result Schematic Sequence Series (mathematics) Set theory Sheffer stroke Sign (mathematics) Solver Special case Stochastic process String (computer science) Subsequence Subset Theorem Thermodynamic equilibrium Trial and error Turing machine Typewriter Universal Turing machine Variable (mathematics) |
| ISBN | 1-4008-8261-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Finite Automata -- Representation of Events in Nerve Nets and Finite Automata / Kleene, S. C. -- Probabilistic Logics and the Synthesis of Reliable Organisms From Unreliable Components / Neumann, J. von -- Some Uneconomical Robots / Culbertson, James T. -- Some Universal Elements for Finite Automata / Minsky, M. L. -- Gedanken-Experiments on Sequential Machines / Moore, Edward F. -- Turing Machines -- A Universal Turing Machine with Two Internal States / Shannon, Claude E. -- A Note on Universal Turing Machines / Davis, M. D. -- The Inversion of Functions Defined by Turing Machines / McCarthy, John -- Computability by Probabilistic Machines / Leeuw, K. de / Moore, E. F. / Shannon, C. E. / Shapiro, N. -- Synthesis of Automata -- Design for an Intelligence-Amplifier / Ashby, W. Ross -- The Epistemological Problem for Automata / MacKay, D. M. -- Conditional Probability Machines and Conditioned Reflexes / Uttley, Albert M. -- Temporal and Spatial Patterns in a Conditional Probability Machine / Uttley, Albert M. |
| Record Nr. | UNINA-9910154745703321 |
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bayes Theory / J. A. Hartigan
| Bayes Theory / J. A. Hartigan |
| Autore | Hartigan, John A. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1983 |
| Descrizione fisica | xii, 146 p. : ill. ; 24 cm |
| Soggetto non controllato |
Bayesian methods
Boundary Element Methods Conditional probability Finite Innovation Logic Objects Probability Probability axioms Probability distribution Proofs Shapes Similarity Techniques |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268567 |
|
Hartigan, John A.
|
||
| New York, : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers
| The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers |
| Autore | Byers William |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, c2011 |
| Descrizione fisica | 1 online resource (334 p.) |
| Disciplina | 500 |
| Soggetto topico |
Science - Social aspects
Uncertainty (Information theory) |
| Soggetto non controllato |
Acknowledgment (creative arts and sciences)
Algorithm Ambiguity Analogy Approximation Axiom Axiomatic system Basic research Big O notation Calculation Certainty Chaos theory Circumference Computation Concept Conjecture Consciousness Consistency Contingency (philosophy) Continuous function Continuum hypothesis Contradiction Counting David Bohm Dynamism (metaphysics) Emergence Euclidean geometry Explanation Feeling Fermat's Last Theorem Geometry Gestalt psychology Gregory Chaitin Gödel's incompleteness theorems Human behavior Human intelligence Hypothesis Ideology Inference Integer Irrational number Learning Logic Logical reasoning Mathematician Mathematics Measurement Methodology Modernity Molecule Natural number Nature Paradigm shift Paradox Participant Phenomenon Philosopher Philosophy of mathematics Philosophy of science Philosophy Platonism Prediction Principle Probability Pythagoreanism Qualitative property Quantification (science) Quantity Quantum mechanics Randomness Rational number Rationality Real number Reality Reason Reductionism Relationship between religion and science Result Science Scientific method Scientific progress Scientific theory Scientist Self-reference Set theory Special case Subatomic particle Subjectivity Suggestion Technology The Philosopher Theorem Theoretical physics Theory of everything Theory Thomas Kuhn Thought Uncertainty Universality (philosophy) Writing |
| ISBN |
1-283-00150-0
9786613001504 1-4008-3815-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface: The Revelation of Uncertainty -- 1. The Blind Spot -- 2. The Blind Spot Revealed -- 3. Certainty or Wonder? -- 4. A World in Crisis! -- 5. Ambiguity -- 6. Self-Reference: The Human Element in Science -- 7. The Mystery of Number -- 8. Science as the Ambiguous Search for Unity -- 9. The Still Point -- 10. Conclusion: Living in a World of Uncertainty -- Acknowledgments -- Notes -- References -- Index |
| Record Nr. | UNINA-9910781106903321 |
|
Byers William
|
||
| Princeton, : Princeton University Press, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers
| The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers |
| Autore | Byers William |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, c2011 |
| Descrizione fisica | 1 online resource (334 p.) |
| Disciplina | 500 |
| Soggetto topico |
Science - Social aspects
Uncertainty (Information theory) |
| Soggetto non controllato |
Acknowledgment (creative arts and sciences)
Algorithm Ambiguity Analogy Approximation Axiom Axiomatic system Basic research Big O notation Calculation Certainty Chaos theory Circumference Computation Concept Conjecture Consciousness Consistency Contingency (philosophy) Continuous function Continuum hypothesis Contradiction Counting David Bohm Dynamism (metaphysics) Emergence Euclidean geometry Explanation Feeling Fermat's Last Theorem Geometry Gestalt psychology Gregory Chaitin Gödel's incompleteness theorems Human behavior Human intelligence Hypothesis Ideology Inference Integer Irrational number Learning Logic Logical reasoning Mathematician Mathematics Measurement Methodology Modernity Molecule Natural number Nature Paradigm shift Paradox Participant Phenomenon Philosopher Philosophy of mathematics Philosophy of science Philosophy Platonism Prediction Principle Probability Pythagoreanism Qualitative property Quantification (science) Quantity Quantum mechanics Randomness Rational number Rationality Real number Reality Reason Reductionism Relationship between religion and science Result Science Scientific method Scientific progress Scientific theory Scientist Self-reference Set theory Special case Subatomic particle Subjectivity Suggestion Technology The Philosopher Theorem Theoretical physics Theory of everything Theory Thomas Kuhn Thought Uncertainty Universality (philosophy) Writing |
| ISBN |
1-283-00150-0
9786613001504 1-4008-3815-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface: The Revelation of Uncertainty -- 1. The Blind Spot -- 2. The Blind Spot Revealed -- 3. Certainty or Wonder? -- 4. A World in Crisis! -- 5. Ambiguity -- 6. Self-Reference: The Human Element in Science -- 7. The Mystery of Number -- 8. Science as the Ambiguous Search for Unity -- 9. The Still Point -- 10. Conclusion: Living in a World of Uncertainty -- Acknowledgments -- Notes -- References -- Index |
| Record Nr. | UNINA-9910822780703321 |
|
Byers William
|
||
| Princeton, : Princeton University Press, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boolean Algebras / Roman Sikorski
| Boolean Algebras / Roman Sikorski |
| Autore | Sikorski, Roman |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 1969 |
| Descrizione fisica | x, 240 p. ; 24 cm |
| Soggetto topico |
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
06Exx - Boolean algebras (Boolean rings) [MSC 2020] 06Bxx - Lattices [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Finite Functions Logic Mathematica Mathematics Morphism Proof Set Theory Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0254707 |
|
Sikorski, Roman
|
||
| Berlin, : Springer, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Boolean Algebras / Roman Sikorski
| Boolean Algebras / Roman Sikorski |
| Autore | Sikorski, Roman |
| Pubbl/distr/stampa | Berlin, : Springer, 1960 |
| Descrizione fisica | ix, 176 p. ; 24 cm |
| Soggetto topico | 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Finite Functions Logic Mathematica Mathematics Morphism Proof Set Theory Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0254348 |
|
Sikorski, Roman
|
||
| Berlin, : Springer, 1960 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Boolean Algebras / Roman Sikorski
| Boolean Algebras / Roman Sikorski |
| Autore | Sikorski, Roman |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 1960 |
| Descrizione fisica | x, 237 p. ; 24 cm |
| Soggetto topico | 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Finite Functions Logic Mathematica Mathematics Morphism Proof Set Theory Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0254350 |
|
Sikorski, Roman
|
||
| Berlin, : Springer, 1960 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
