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.
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 | ||
| ||
Contributions to the Theory of Games (AM-39), Volume III / / Philip Wolfe, Albert William Tucker, Melvin Dresher
| Contributions to the Theory of Games (AM-39), Volume III / / Philip Wolfe, Albert William Tucker, Melvin Dresher |
| Autore | Dresher Melvin |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (452 pages) : illustrations |
| Disciplina | 519.3 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Game theory |
| Soggetto non controllato |
Almost surely
American Mathematical Society Axiom of choice Bayes estimator Big O notation Binomial coefficient Binomial theorem Boundary value problem C0 Calculation Cartesian product Characteristic function (probability theory) Coefficient Complete metric space Composition series Continuous function (set theory) Continuous game Counterexample Decision problem Decision theory Determinacy Diagram (category theory) Differential equation Differential game Distribution function Elementary matrix Equation Existence theorem Expected utility hypothesis Extended real number line Family of sets Finitary Function (mathematics) Functional equation Fundamenta Mathematicae Fundamental theorem Inequality (mathematics) Infimum and supremum Integral equation Interval (mathematics) Joint probability distribution Kakutani fixed-point theorem Kakutani's theorem Laplace's equation Lipschitz continuity Loss function Markov chain Martingale (probability theory) Mathematical analysis Mathematical induction Mathematical optimization Mathematics Maxima and minima Measure (mathematics) Metric space Monotonic function N-vector Ordinal number Outcome (probability) Parametric statistics Parity (mathematics) Partial differential equation Polynomial Preference (economics) Probability distribution Probability measure Probability theory Probability Product topology Proportionality (mathematics) Randomization Rate of convergence Real projective plane Recurrence relation Recursive set Recursively enumerable set Reductio ad absurdum Restriction (mathematics) Scientific notation Series (mathematics) Set (mathematics) Sigma-algebra Sign (mathematics) Solution set Special case Stochastic game Stochastic process Stochastic Strategy (game theory) Subharmonic function Summation Theorem Topological game Topological space Topology Transfinite induction Turing machine Utility Variable (mathematics) Zorn's lemma |
| ISBN | 1-4008-8215-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- INTRODUCTION -- PART I. MOVE AS PLAYS OF OTHER GAMES -- 1. ON GAMES OP SURVIVAL / Milnor, J. / Shapley, L .S. -- 2. RECURSIVE GAMES / Everett, H. -- 3. FINITARY GAMES / Isbell, J. R. -- 4. APPROXIMATION TO RAYES RISK IN REPEATED PLAY / Hannan, James -- 5. INFORMATION IN GAMES WITH FINITE RESOURCES / Gale, David -- PART II. GAMES WITH PERFECT INFORMATION -- 6. EFFECTIVE COMPUTABILITY OF WINNING STRATEGIES / Rabin, Michael O. -- 7. THE BANACH-MAZUR GAME AND BANACH CATEGORY THEOREM / Oxtoby, John C. -- 8. TOPOLOGICAL GAMES WITH PERFECT INFORMATION / Berge, Claude -- 9. STOCHASTIC GAMES WITH ZERO STOP PROBABILITIES / Gillette, Dean -- 10. CARTESIAN PRODUCTS OF TERMINATION GAMES / Holladay, John C. -- 11. A STUDY OP SIMPLE GAMES THROUGH EXPERIMENTS ON COMPUTING MACHINES / Walden, w. -- PART III. GAMES WITH PARTIAL INFORMATION -- 12. GAMES WITH PARTIAL INFORMATION / Scarf, H. E. / Shapley, L. S. -- 13. A DISCRETE EVASION GAME / Dabins, L. E. -- 14. AN INFINITE MOVE GAME WITH A LAG / Karlin, Samuel -- 15. THE EFFECT OF PSYCHOLOGICAL ATTITUDES ON THE OUTCOMES OF GAMES / Kemeny, John G. / Thompson, Gerald L. -- PART IV. GAMES WITH CONTINUUM OF STRATEGIES -- 16. ON A GAME WITHOUT A VALUE / Sion, Maurice / Wolfe, Philip -- 17. A RATIONAL GAME ON THE SQUARE / Gross, O. -- 18. TACTICAL PROBLEMS INVOLVING SEVERAL ACTIONS / Restrepo, Rodrigo -- 19. MULTISTAGE POKER MODELS / Karlin, Samuel / Restrepo, Rodrigo -- 20. ON GAMES DESCRIBED BY BELL SHAPED KERNELS / Karlin, Samuel -- PART V. GAMES WITH A CONTINUUM OF MOVES -- 21. ON DIFFERENTIAL GAMES WITH SURVIVAL PAYOFF / Scarf, H. E. -- 22. A NOTE ON DIFFERENTIAL GAMES OF PRESCRIBED DURATION / Fleming, W. H. -- 23. ON DIFFERENTIAL GAMES WITH INTEGRAL PAYOFF / Berkovitz, L. D. / Fleming, W. H. -- Backmatter |
| Record Nr. | UNINA-9910154750403321 |
Dresher Melvin
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Diffusion, quantum theory, and radically elementary mathematics / / edited by William G. Faris
| Diffusion, quantum theory, and radically elementary mathematics / / edited by William G. Faris |
| Pubbl/distr/stampa | Princeton, New Jersey ; ; Oxfordshire, England : , : Princeton University Press, , 2006 |
| Descrizione fisica | 1 online resource (257 p.) |
| Disciplina | 530.15 |
| Collana | Mathematical Notes |
| Soggetto topico |
Mathematical physics
Diffusion Quantum theory |
| Soggetto non controllato |
Affine space
Algebra Axiom Bell's theorem Brownian motion Central limit theorem Classical mathematics Classical mechanics Clifford algebra Combinatorial proof Commutative property Constructive quantum field theory Continuum hypothesis David Hilbert Dimension (vector space) Discrete mathematics Distribution (mathematics) Eigenfunction Equation Euclidean space Experimental mathematics Fermi–Dirac statistics Feynman–Kac formula First-order logic Fokker–Planck equation Foundations of mathematics Fractal dimension Gaussian process Girsanov theorem Gödel's incompleteness theorems Hilbert space Hilbert's program Holomorphic function Infinitesimal Integer Internal set theory Interval (mathematics) Limit (mathematics) Mathematical induction Mathematical optimization Mathematical physics Mathematical proof Mathematician Mathematics Measurable function Measure (mathematics) Minkowski space Natural number Neo-Riemannian theory Non-standard analysis Number theory Operator algebra Ornstein–Uhlenbeck process Orthonormal basis Perturbation theory (quantum mechanics) Philosophy of mathematics Predicate (mathematical logic) Probability measure Probability space Probability theory Probability Projection (linear algebra) Pure mathematics Pythagorean theorem Quantum field theory Quantum fluctuation Quantum gravity Quantum harmonic oscillator Quantum mechanics Quantum system Quantum teleportation Random variable Real number Renormalization group Renormalization Riemann mapping theorem Riemann surface Riemannian geometry Riemannian manifold Schrödinger equation Scientific notation Set (mathematics) Sign (mathematics) Sobolev inequality Special relativity Spectral theorem Spin (physics) Statistical mechanics Stochastic calculus Stochastic differential equation Tensor algebra Theorem Theoretical physics Theory Turing machine Variable (mathematics) Von Neumann algebra Wiener process Wightman axioms Zermelo–Fraenkel set theory |
| ISBN | 1-4008-6525-5 |
| Classificazione | 33.65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Chapter One. Introduction: Diffusive Motion and Where It Leads / Faris, William G. -- Chapter Two. Hypercontractivity, Logarithmic Sobolev Inequalities, and Applications: A Survey of Surveys / Gross, Leonard -- Chapter Three. Ed Nelson's Work in Quantum Theory / Simon, Barry -- Chapter Four Symanzik, Nelson, and Self-Avoiding Walk / Brydges, David C. -- Chapter Five. Stochastic Mechanics: A Look Back and a Look Ahead / Carlen, Eric -- Chapter Six. Current Trends in Optimal Transportation: A Tribute to Ed Nelson / Villani, Cédric -- Chapter Seven. Internal Set Theory and Infinitesimal Random Walks / Lawler, Gregory F. -- Chapter Eight. Nelson's Work on Logic and Foundations and Other Reflections on the Foundations of Mathematics / Buss, Samuel R. -- Chapter Nine. Some Musical Groups: Selected Applications of Group Theory in Music / Hook, Julian -- Chapter Ten. Afterword / Nelson, Edward -- Appendix A. Publications by Edward Nelson -- Index |
| Record Nr. | UNINA-9910786749603321 |
| Princeton, New Jersey ; ; Oxfordshire, England : , : Princeton University Press, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Diffusion, quantum theory, and radically elementary mathematics / / edited by William G. Faris
| Diffusion, quantum theory, and radically elementary mathematics / / edited by William G. Faris |
| Pubbl/distr/stampa | Princeton, New Jersey ; ; Oxfordshire, England : , : Princeton University Press, , 2006 |
| Descrizione fisica | 1 online resource (257 p.) |
| Disciplina | 530.15 |
| Collana | Mathematical Notes |
| Soggetto topico |
Mathematical physics
Diffusion Quantum theory |
| Soggetto non controllato |
Affine space
Algebra Axiom Bell's theorem Brownian motion Central limit theorem Classical mathematics Classical mechanics Clifford algebra Combinatorial proof Commutative property Constructive quantum field theory Continuum hypothesis David Hilbert Dimension (vector space) Discrete mathematics Distribution (mathematics) Eigenfunction Equation Euclidean space Experimental mathematics Fermi–Dirac statistics Feynman–Kac formula First-order logic Fokker–Planck equation Foundations of mathematics Fractal dimension Gaussian process Girsanov theorem Gödel's incompleteness theorems Hilbert space Hilbert's program Holomorphic function Infinitesimal Integer Internal set theory Interval (mathematics) Limit (mathematics) Mathematical induction Mathematical optimization Mathematical physics Mathematical proof Mathematician Mathematics Measurable function Measure (mathematics) Minkowski space Natural number Neo-Riemannian theory Non-standard analysis Number theory Operator algebra Ornstein–Uhlenbeck process Orthonormal basis Perturbation theory (quantum mechanics) Philosophy of mathematics Predicate (mathematical logic) Probability measure Probability space Probability theory Probability Projection (linear algebra) Pure mathematics Pythagorean theorem Quantum field theory Quantum fluctuation Quantum gravity Quantum harmonic oscillator Quantum mechanics Quantum system Quantum teleportation Random variable Real number Renormalization group Renormalization Riemann mapping theorem Riemann surface Riemannian geometry Riemannian manifold Schrödinger equation Scientific notation Set (mathematics) Sign (mathematics) Sobolev inequality Special relativity Spectral theorem Spin (physics) Statistical mechanics Stochastic calculus Stochastic differential equation Tensor algebra Theorem Theoretical physics Theory Turing machine Variable (mathematics) Von Neumann algebra Wiener process Wightman axioms Zermelo–Fraenkel set theory |
| ISBN | 1-4008-6525-5 |
| Classificazione | 33.65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Chapter One. Introduction: Diffusive Motion and Where It Leads / Faris, William G. -- Chapter Two. Hypercontractivity, Logarithmic Sobolev Inequalities, and Applications: A Survey of Surveys / Gross, Leonard -- Chapter Three. Ed Nelson's Work in Quantum Theory / Simon, Barry -- Chapter Four Symanzik, Nelson, and Self-Avoiding Walk / Brydges, David C. -- Chapter Five. Stochastic Mechanics: A Look Back and a Look Ahead / Carlen, Eric -- Chapter Six. Current Trends in Optimal Transportation: A Tribute to Ed Nelson / Villani, Cédric -- Chapter Seven. Internal Set Theory and Infinitesimal Random Walks / Lawler, Gregory F. -- Chapter Eight. Nelson's Work on Logic and Foundations and Other Reflections on the Foundations of Mathematics / Buss, Samuel R. -- Chapter Nine. Some Musical Groups: Selected Applications of Group Theory in Music / Hook, Julian -- Chapter Ten. Afterword / Nelson, Edward -- Appendix A. Publications by Edward Nelson -- Index |
| Record Nr. | UNINA-9910811911703321 |
| Princeton, New Jersey ; ; Oxfordshire, England : , : Princeton University Press, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
In Memoriam, Solomon Marcus
| In Memoriam, Solomon Marcus |
| Autore | Calude Cristian S |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 electronic resource (148 p.) |
| Soggetto topico |
Information technology industries
Computer science |
| Soggetto non controllato |
automata theory
formal language theory bio-informatics recursive function theory evolutionary processor network of evolutionary processors network topology theory of computation computational models intrinsic perception Hausdorff dimension fractal computational complexity Turing machine oracle Turing machine shortest computations quasiperiod formal language asymptotic growth polynomial membrane computing computational complexity theory P vs. NP problem evolutional communication symport/antiport Kolmogorov complexity random strings extractors finite languages deterministic finite cover automata multiple entry automata automata with “do not care” symbols similarity relations process calculus communication patterns control structures hypergraph model P systems cP systems NP-complete NP-hard SAT logarithmic time complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910566467603321 |
|
Calude Cristian S
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 / / Charles F. Miller
| On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 / / Charles F. Miller |
| Autore | Miller Charles F. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (121 pages) |
| Disciplina | 512/.2 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Group theory
Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abelian group
Betti number Characteristic function (probability theory) Characterization (mathematics) Combinatorial group theory Conjecture Conjugacy class Conjugacy problem Contradiction Corollary Cyclic permutation Decision problem Diffeomorphism Direct product Direct proof Effective method Elementary class Embedding Enumeration Epimorphism Equation Equivalence relation Exact sequence Existential quantification Finite group Finite set Finitely generated group Finitely presented Free group Free product Fundamental group Fundamental theorem Group (mathematics) Group theory Gödel numbering Homomorphism Homotopy Inner automorphism Markov property Mathematical logic Mathematical proof Mathematics Monograph Natural number Nilpotent group Normal subgroup Notation Permutation Polycyclic group Presentation of a group Quotient group Recursive set Requirement Residually finite group Semigroup Simple set Simplicial complex Solvable group Statistical hypothesis testing Subgroup Theorem Theory Topology Transitive relation Triviality (mathematics) Truth table Turing degree Turing machine Without loss of generality Word problem (mathematics) |
| ISBN | 1-4008-8178-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- CHAPTER I. INTRODUCTION -- CHAPTER II. PROPERTIES OF BRITTON EXTENSIONS -- CHAPTER III. UNSOLVABILITY RESULTS FOR RESIDUALLY FINITE GROUPS -- CHAPTER IV. THE WORD AND CONJUGACY PROBLEMS FOR CERTAIN ELEMENTARY GROUPS -- CHAPTER V. ON THE ISOMORPHISM PROBLEM FOR GROUPS -- LIST OF REFERENCES -- INDEX OF SYMBOLS -- INDEX |
| Record Nr. | UNINA-9910154751403321 |
|
Miller Charles F.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan
| Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
| Autore | Smullyan Raymond M. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (157 pages) : illustrations |
| Disciplina | 511.33 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Metamathematics |
| Soggetto non controllato |
Addition
Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A. Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Direct proof Disjoint sets Enumeration Equation Existential quantification Exponential function Finite set Formal system Functional calculus Gödel numbering Gödel's incompleteness theorems Herbrand's theorem Inference Integer factorization Iteration John Myhill Logical connective Logical consequence Mathematical induction Mathematical logic Mathematician Mathematics Metamathematics Modus ponens Natural number Negation Number theory Order theory Parity (mathematics) Peano axioms Predicate (mathematical logic) Prenex normal form Primitive recursive function Quantifier (logic) Recursion Recursive set Recursively enumerable set Remainder Requirement Rule of inference Scientific notation Sequence Set (mathematics) Sign (mathematics) Special case Subset Suggestion System U. Theorem Theory Transfinite number Turing machine Universal set Validity Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8200-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154750903321 |
|
Smullyan Raymond M.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||