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.
Advances in Game Theory. (AM-52), Volume 52 / / Melvin Dresher, Albert William Tucker, Lloyd S. Shapley
| Advances in Game Theory. (AM-52), Volume 52 / / Melvin Dresher, Albert William Tucker, Lloyd S. Shapley |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (693 pages) : illustrations |
| Disciplina | 512.8 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Game theory |
| Soggetto non controllato |
Almost surely
Automorphism Axiom Basis (linear algebra) Bayesian probability Big O notation Bounded set (topological vector space) Calculation Cartesian product Characteristic function (probability theory) Complete theory Conditional probability distribution Continuous function (set theory) Continuum hypothesis Cooperative game Coset Counterexample Cumulative distribution function Decision rule Decision-making Determinacy Diagram (category theory) Differential game Distribution function Dyadic rational Equation solving Equation Equilibrium point Estimation Existence theorem Family of sets Foundations of mathematics Function (mathematics) Fundamental theorem Game show Hamilton–Jacobi equation Harmonic function Independence (probability theory) Inequality (mathematics) Infimum and supremum Initial value problem Invertible matrix Jacobian matrix and determinant Joint probability distribution Linear inequality Linear map Linear programming Lipschitz continuity Markov chain Markov process Markov property Mathematical analysis Mathematical economics Mathematical induction Mathematical optimization Matrix (mathematics) Minimax theorem Minor (linear algebra) Mutual exclusivity N-vector Open set Outcome (probability) Parity (mathematics) Partially ordered set Payment Permutation Preference (economics) Prime number Primitive root modulo n. Probability distribution function Probability distribution Probability measure Probability Quantifier (logic) Quantity Random variable Randomization Ranking (information retrieval) Representation theory Sample space Scientific notation Search game Set (mathematics) Shapley value Simultaneous equations Skew-symmetric matrix Solution concept Special case Strategy (game theory) Subset Summation Superadditivity Sylow theorems Theorem Theory of Games and Economic Behavior Theory Topology Utility Variable (mathematics) Weighted arithmetic mean |
| ISBN | 1-4008-8201-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface / Dresher, M. / Shapley, L. S. / Tucker, A. W. -- Contents -- 1. Some Topics in Two-Person Games / Shapley, L. S. -- 2. Games With a Random Move / Restrepo, Rodrigo A. -- 3. A Search Game / Johnson, Selmer M. -- 4. The Rendezvous Value of a Metric Space / Gross, O. -- 5. Generalized Gross Substitutability and Extremization / Nikaidò, Hukukane -- 6. Adaptive Competitive Decision / Rosenfeld, Jack L. -- 7. Infinite Games of Perfect Information / Davis, Morton -- 8. Continuous Games of Perfect Information / Mycielski, Jan -- 9. A Theory of Pursuit and Evasion / Ryll-Nardzewski, C. -- 10. A Variational Approach to Differential Games / Berkovitz, Leonard D. -- 11. A Differential Game Without Pure Strategy Solutions on an Open Set / Berkovitz, Leonard D. -- 12. The Convergence Problem for Differential Games, II / Fleming, Wendell H. -- 13. Markov Games / Zachrisson, Lars Erik -- 14. Homogeneous Games, III / Isbell, J. R. -- 15. Solutions of Compound Simple Games / Shapley, L. S. -- 16. The Tensor Composition of Nonnegative Games / Owen, Guillermo -- 17. On the Cardinality of Solutions of Four-Person Constant- Sum Games / Galmarino, Alberto Raul -- 18. The Doubly Discriminatory Solutions of the Four-Person Constant-Sum Game / Hebert, Michael H. -- 19. Three-Person Cooperative Games Without Side Payments / Stearns, R. E. -- 20. Some Thoughts on the Theory of Cooperative Games / Jentzsch, Gerd -- 21. The Bargaining Set for Cooperative Games / Aumann, Robert J. / Maschler, Michael -- 22. Stable Payoff Configurations for Quota Games / Maschler, Michael -- 23. On the Bargaining Set M0 of m-Quota Games / Peleg, Bezalel -- 24. A Property of Stability Possessed by Certain Imputations / Radstrom, Hans -- 25. Coalition Bargaining in n-Person Games / Nering, Evar D. -- 26. The n-Person Bargaining Game / Miyasawa, Koichi -- 27. Valuation of n-Person Games / Selten, Reinhard -- 28. Mixed and Behavior Strategies in Infinite Extensive Games / Aumann, Robert J . -- 29. A General Solution for Finite Noncooperative Games Based on Risk-Dominance / Harsanyi, John C. |
| Record Nr. | UNINA-9910154750703321 |
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel
| Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel |
| Autore | Gödel Kurt |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (81 pages) |
| Disciplina | 510.1 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| Soggetto non controllato |
Absoluteness
Addition Axiom of choice Axiom of extensionality Axiom of infinity Axiom Axiomatic system Boolean algebra (structure) Constructible set (topology) Continuum hypothesis Existence theorem Existential quantification Integer Mathematical induction Mathematical logic Mathematics Metatheorem Order by Ordinal number Propositional function Quantifier (logic) Reductio ad absurdum Requirement Set theory Theorem Transfinite induction Transfinite Variable (mathematics) Well-order |
| ISBN | 1-4008-8163-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- CHAPTER II. EXISTENCE OF CLASSES AND SETS -- CHAPTER III. ORDINAL NUMBERS -- CHAPTER IV. CARDINAL NUMBERS -- CHAPTER V. THE MODEL Δ -- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- APPENDIX -- INDEX -- Notes Added to the Second Printing -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154754203321 |
|
Gödel Kurt
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Distributed control of robotic networks [[electronic resource] ] : a mathematical approach to motion coordination algorithms / / Francesco Bullo, Jorge Cortés, Sonia Martínez
| Distributed control of robotic networks [[electronic resource] ] : a mathematical approach to motion coordination algorithms / / Francesco Bullo, Jorge Cortés, Sonia Martínez |
| Autore | Bullo Francesco |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, NJ, : Princeton University Press, 2009 |
| Descrizione fisica | 1 online resource (333 p.) |
| Disciplina | 629.8/9246 |
| Altri autori (Persone) |
CortésJorge <1974->
MartínezSonia <1974-> |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Robotics
Computer algorithms Robots - Control systems |
| Soggetto non controllato |
1-center problem
Adjacency matrix Aggregate function Algebraic connectivity Algebraic topology (object) Algorithm Analysis of algorithms Approximation algorithm Asynchronous system Bellman–Ford algorithm Bifurcation theory Bounded set (topological vector space) Calculation Cartesian product Centroid Chebyshev center Circulant matrix Circumscribed circle Cluster analysis Combinatorial optimization Combinatorics Communication complexity Computation Computational complexity theory Computational geometry Computational model Computer simulation Computer vision Connected component (graph theory) Connectivity (graph theory) Consensus (computer science) Control function (econometrics) Differentiable function Dijkstra's algorithm Dimensional analysis Directed acyclic graph Directed graph Discrete time and continuous time Disk (mathematics) Distributed algorithm Doubly stochastic matrix Dynamical system Eigenvalues and eigenvectors Estimation Euclidean space Function composition Hybrid system Information theory Initial condition Instance (computer science) Invariance principle (linguistics) Invertible matrix Iteration Iterative method Kinematics Laplacian matrix Leader election Linear dynamical system Linear interpolation Linear programming Lipschitz continuity Lyapunov function Markov chain Mathematical induction Mathematical optimization Mobile robot Motion planning Multi-agent system Network model Network topology Norm (mathematics) Numerical integration Optimal control Optimization problem Parameter (computer programming) Partition of a set Percolation theory Permutation matrix Polytope Proportionality (mathematics) Quantifier (logic) Quantization (signal processing) Robustness (computer science) Scientific notation Sensor Set (mathematics) Simply connected space Simulation Simultaneous equations State space State variable Stochastic matrix Stochastic Strongly connected component Synchronous network Theorem Time complexity Topology Variable (mathematics) Vector field |
| ISBN |
1-68015-897-X
1-282-45820-5 1-282-93575-5 9786612458200 9786612935756 1-4008-3147-4 0-691-14195-9 |
| Classificazione | SK 880 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter One. An introduction to distributed algorithms -- Chapter Two. Geometric models and optimization -- Chapter Three. Robotic network models and complexity notions -- Chapter Four. Connectivity maintenance and rendezvous -- Chapter Five. Deployment -- Chapter Six. Boundary estimation and tracking -- Bibliography -- Algorithm Index -- Subject Index -- Symbol Index |
| Record Nr. | UNINA-9910781069103321 |
|
Bullo Francesco
|
||
| Princeton, NJ, : Princeton University Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church
| Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (389 pages) |
| Disciplina | 511.3 |
| Collana | Princeton Mathematical Series |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abstract algebra
Acta Mathematica Arithmetic Axiom of choice Axiom of infinity Axiom of reducibility Axiom schema Axiom Axiomatic system Binary function Boolean algebra (structure) Boolean ring Calculus ratiocinator Characterization (mathematics) Class (set theory) Classical mathematics Commutative property Commutative ring Conditional disjunction David Hilbert Decision problem Deduction theorem Denotation Disjunctive syllogism Double negation Duality (mathematics) Elementary algebra Elementary arithmetic English alphabet Equation Existential quantification Expression (mathematics) Formation rule Frege (programming language) Function (mathematics) Functional calculus Fundamenta Mathematicae Gödel numbering Gödel's completeness theorem Gödel's incompleteness theorems Hilbert's program Hypothetical syllogism Imperative logic Inference Introduction to Mathematical Philosophy Lambda calculus Linear differential equation Logic Logical connective Logical disjunction Material implication (rule of inference) Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical practice Mathematical problem Mathematical theory Mathematics Mathematische Zeitschrift Metatheorem Modal logic Modus ponendo tollens Natural number Naturalness (physics) Negation Notation Number theory Object language Parity (mathematics) Predicate (mathematical logic) Prenex normal form Principia Mathematica Propositional calculus Propositional function Propositional variable Quantifier (logic) Range (mathematics) Real number Recursion (computer science) Restriction (mathematics) Riemann surface Ring (mathematics) Rule of inference Scientific notation Second-order arithmetic Series (mathematics) Sign (mathematics) Skolem normal form Special case Tautology (logic) Term logic The Principles of Mathematics Theorem Three-dimensional space (mathematics) Transfinite number Triviality (mathematics) Truth table Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8145-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
| Record Nr. | UNINA-9910154754303321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symposium on Infinite Dimensional Topology. (AM-69), Volume 69 / / R. D. Anderson
| Symposium on Infinite Dimensional Topology. (AM-69), Volume 69 / / R. D. Anderson |
| Autore | Anderson R. D. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (312 pages) |
| Disciplina | 514 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Topology
Functional analysis Differential topology |
| Soggetto non controllato |
Anderson's theorem
Annihilator (ring theory) Automorphism Baire measure Banach algebra Banach manifold Banach space Bounded operator Cartesian product Characterization (mathematics) Cohomology Compact space Complement (set theory) Complete metric space Connected space Continuous function Convex set Coset Critical point (mathematics) Diagram (category theory) Differentiable manifold Differential topology Dimension (vector space) Dimension Dimensional analysis Dual space Duality (mathematics) Endomorphism Equivalence class Euclidean space Existential quantification Explicit formulae (L-function) Exponential map (Riemannian geometry) Fixed-point theorem Fréchet derivative Fréchet space Fuchsian group Function space Fundamental class Haar measure Hessian matrix Hilbert space Homeomorphism Homology (mathematics) Homotopy group Homotopy Inclusion map Infimum and supremum Lebesgue space Lefschetz fixed-point theorem Limit point Linear space (geometry) Locally convex topological vector space Loop space Mathematical optimization Measure (mathematics) Metric space Module (mathematics) Natural topology Neighbourhood (mathematics) Normal space Normed vector space Open set Ordinal number Paracompact space Partition of unity Path space Product topology Quantifier (logic) Quotient space (linear algebra) Quotient space (topology) Radon measure Reflexive space Representation theorem Riemannian manifold Schauder fixed point theorem Sign (mathematics) Simply connected space Space form Special case Stiefel manifold Strong operator topology Subcategory Submanifold Subset Tangent space Teichmüller space Theorem Topological space Topological vector space Topology Transfinite induction Transfinite Transversal (geometry) Transversality theorem Tychonoff cube Union (set theory) Unit sphere Weak topology Weakly compact |
| ISBN | 1-4008-8140-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- TOPOLOGICAL EQUIVALENCE OF NON-SEPARABLE REFLEXIVE BANACH SPACES / Bessaga, C. -- ON TOPOLOGICAL CLASSIFICATION OF NON-SEPARABLE BANACH SPACES / Bessaga, C. / Kadec, M. I. -- ON HOMOTOPY PROPERTIES OF COMPACT SUBSETS OF THE HILBERT SPACE / Borsuk, Karel -- SOME THIN SETS IN FRÉCHET SPACES / Corson, H. H. -- A REMARK ON BANACH ANALYTIC SPACES / Douady, A. -- FIBRING SPACES OF MAPS / Eells, James -- AN APPROXIMATE MORSE-SARD THEOREM / Eells, James / McAlpin, John -- MORSE THEORY FOR CLOSED CURVES / Eliasson, Halldor I. -- COVERING PROPERTIES OF CONVEX SETS AND FIXED POINT THEOREMS IN TOPOLOGICAL VECTOR SPACES / Fan, Ky -- ON THE COHOMOLOGY THEORY IN LINEAR NORMED SPACES / Geba, Kazimierz / Granas, Andrzej -- ANALYSE DE LA TECHNIQUE DE NASH-MOSER / Glaeser, G. -- GENERALIZING THE HOPF-LEFSCHETZ FIXED POINT THEOREM FOR NON-COMPACT ANR-S / Granas, Andrzej -- SOME QUESTIONS IN THE DIMENSION THEORY OF INFINITE DIMENSIONAL SPACES / Henderson, David W. -- ON THE CONTINUITY OF BEST APPROXIMATION OPERATORS / Holmes, R. B. -- SOME SELF-DUAL PROPERTIES OF NORMED LINEAR SPACES / James, Robert C. -- ASYMPTOTIC FIXED POINT THEORY / Jones, G. Stephen -- ON THE RELATIONSHIP OF LOCAL TO GLOBAL FIXED-POINT INDEXES / Knill, Ronald J. -- C1-EQUIVALENCE OF FUNCTIONS NEAR ISOLATED CRITICAL POINTS / Kuiper, Nicolaas H. -- FIXED POINT INDEX AND LEFSCHETZ NUMBER / Leray, Jean -- WEAKLY COMPACT SETS - THEIR TOPOLOGICAL PROPERTIES AND THE BANACH SPACES THEY GENERATE / Lindenstrauss, Joram -- ON CONTINUITY AND APPROXIMATION QUESTIONS CONCERNING CRITICAL MORSE GROUPS IN HILBERT SPACE / Rothe, E. H. -- ON HOMEOMORPHISMS OF CERTAIN INFINITE DIMENSIONAL SPACES / Wong, Raymond Y. T. |
| Record Nr. | UNINA-9910154743103321 |
|
Anderson R. D.
|
||
| 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 | ||
| ||