Foundations of Constructive Mathematics : Metamathematical Studies / Michael J. Beeson |
Autore | Beeson, Michael J. |
Pubbl/distr/stampa | Berlin, : Springer, 1985 |
Descrizione fisica | xxiii, 466 p. ; 24 cm |
Soggetto non controllato |
Computability theory
Computer Computer Science Developments Forcing Mathematics Model theory Organization Philosophy Proof by contradiction Proofs Proving Set Theory eXist |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0263519 |
Beeson, Michael J. | ||
Berlin, : Springer, 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of Constructive Mathematics : Metamathematical Studies / Michael J. Beeson |
Autore | Beeson, Michael J. |
Pubbl/distr/stampa | Berlin, : Springer, 1985 |
Descrizione fisica | xxiii, 466 p. ; 24 cm |
Soggetto non controllato |
Computability theory
Computer Computer Science Developments Forcing Mathematics Model theory Organization Philosophy Proof by contradiction Proofs Proving Set Theory eXist |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00263519 |
Beeson, Michael J. | ||
Berlin, : Springer, 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Lectures on the theory of games [[electronic resource] /] / Harold W. Kuhn |
Autore | Kuhn Harold W (Harold William), <1925-> |
Edizione | [Course Book] |
Pubbl/distr/stampa | Princeton, N.J., : Princeton University Press, 2003 |
Descrizione fisica | 1 online resource (118 p.) |
Disciplina | 519.3 |
Collana | Annals of mathematics studies |
Soggetto topico | Game theory |
Soggetto non controllato |
Abstract algebra
Addition Algorithm Almost surely Analytic geometry Axiom Basic solution (linear programming) Big O notation Bijection Binary relation Boundary (topology) Bounded set (topological vector space) Branch point Calculation Cardinality of the continuum Cardinality Cartesian coordinate system Characteristic function (probability theory) Combination Computation Connectivity (graph theory) Constructive proof Convex combination Convex function Convex hull Convex set Coordinate system David Gale Diagram (category theory) Differential equation Dimension (vector space) Dimensional analysis Disjoint sets Distribution function Embedding Empty set Enumeration Equation Equilibrium point Equivalence relation Estimation Euclidean space Existential quantification Expected loss Extreme point Formal scheme Fundamental theorem Galois theory Geometry Hyperplane Inequality (mathematics) Infimum and supremum Integer Iterative method Line segment Linear equation Linear inequality Matching Pennies Mathematical induction Mathematical optimization Mathematical theory Mathematician Mathematics Matrix (mathematics) Measure (mathematics) Min-max theorem Minimum distance Mutual exclusivity Prediction Probability distribution Probability interpretations Probability measure Probability theory Probability Proof by contradiction Quantity Rank (linear algebra) Rational number Real number Requirement Scientific notation Sign (mathematics) Solution set Special case Statistics Strategist Strategy (game theory) Subset Theorem Theory of Games and Economic Behavior Theory Three-dimensional space (mathematics) Total order Two-dimensional space Union (set theory) Unit interval Unit square Vector Analysis Vector calculus Vector space |
ISBN |
1-282-15911-9
9786612159114 1-4008-2956-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Author's Note -- Preface -- Chapter 1. What Is the Theory of Games? -- Chapter 2. Matrix Games -- Chapter 3. Extensive Games -- Chapter 4. Infinite Games -- Index |
Record Nr. | UNINA-9910778215503321 |
Kuhn Harold W (Harold William), <1925-> | ||
Princeton, N.J., : Princeton University Press, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|