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.
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 | ||
| ||
Contributions to the Theory of Games (AM-24), Volume I / / Albert William Tucker, Harold William Kuhn
| Contributions to the Theory of Games (AM-24), Volume I / / Albert William Tucker, Harold William Kuhn |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (221 pages) : illustrations |
| Disciplina | 519.3 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Game theory |
| Soggetto non controllato |
Affine space
Almost surely Banach space Basic solution (linear programming) Bilinear form Boundary (topology) Bounded variation Calculation Characteristic function (probability theory) Characterization (mathematics) Coefficient Combination Completeness of the real numbers Computation Computational problem Connected space Continuous function (set theory) Continuous function Continuous game Convex combination Convex set Counterexample Diagram (category theory) Dimension (vector space) Dimension Dimensional analysis Elementary proof Equation solving Equilibrium point Euclidean space Existential quantification Exterior (topology) Extreme point Facet (geometry) Fubini's theorem Function (mathematics) Function space Fundamental theorem Geometry Helly's theorem Hyperplane Identity matrix Inequality (mathematics) Infimum and supremum Interior (topology) Invertible matrix Iterative method Limit of a sequence Limit point Linear inequality Linear map Linear programming Mathematical analysis Mathematical optimization Mathematics Matrix (mathematics) Maxima and minima Maximal set Measure (mathematics) Minimax theorem Mutual exclusivity NSPACE Orthogonal basis Orthogonal matrix Orthogonal polynomials Partially ordered set Permutation Polyhedron Polynomial Probability distribution Probability Proportionality (mathematics) Rational number Riemann–Stieltjes integral Scientific notation Set (mathematics) Set theory Sign (mathematics) Skew-symmetric matrix Solution concept Special case Strategy (game theory) Subsequence Subset Summation Symmetrization Theorem Theory of Games and Economic Behavior Theory Topology Transfinite number Transfinite Unit interval Unit sphere Unit vector Vandermonde matrix Variable (mathematics) Vector space Weak convergence (Hilbert space) Weyl's theorem |
| ISBN | 1-4008-8172-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- PART I. FINITE GAMES -- 1. THE ELEMENTARY THEORY OF CONVEX POLYHEDRA -- 2. ELEMENTARY PROOF OF A MINIMAX THEOREM DUE TO VON NEUMANN -- 3. BASIC SOLUTIONS OF DISCRETE GAMES / Shapley, L. S. / Snow, R. N. -- 4. SOLUTIONS OF FINITE TWO-PERSON GAMES / Gale, D. / Sherman, S. -- 5. SOLUTIONS OF DISCRETE, TWO-PERSON GAMES / Bohnenblust, H. F. / Karlin, S. -- 6. SOLUTIONS OF GAMES BY DIFFERENTIAL EQUATIONS / Brown, G. W. / Neumann, J. von -- 7. ON SYMMETRIC GAMES / Gale, D. / Kuhn, H. W. / Tucker, A. W. -- 8. REDUCTIONS OP GAME MATRICES / Gale, D. / Kuhn, H. W. / Tucker, A. W. -- 9. A SIMPLIFIED TWO-PERSON POKER / Kuhn, H. W. -- 10. A SIMPLE THREE-PERSON POKER GAME / Nash, J. F. / Shapley, L. S. -- 11. ISOMORPHISM OF GAMES, AND STRATEGIC EQUIVALENCE / McKinsey, J. C. C. -- PART II. INFINITE GAMES -- 12. OPERATOR TREATMENT OF MINMAX PRINCIPLE / Karlin, Samuel -- 13. ON A THEOREM OF VILLE / Bohnenblust, H. F. / Karlin, S. -- 14. POLYNOMIAL GAMES / Dresher, M. / Karlin, S. / Shapley, L. S. -- 15. GAMES WITH CONTINUOUS, CONVEX PAY-OFF / Bohnenblust, H. F. / Karlin, S. / Shapley, L. S. -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154754103321 |
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Convergence and Uniformity in Topology. (AM-2), Volume 2 / / John W. Tukey
| Convergence and Uniformity in Topology. (AM-2), Volume 2 / / John W. Tukey |
| Autore | Tukey John W. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (108 pages) |
| Disciplina |
510.82
513.83 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Topology |
| Soggetto non controllato |
Absolute value
Abstract algebra Algebraic topology Axiom of choice Binary relation Cardinal number Characteristic function (probability theory) Closed set Closure operator Combinatorial topology Compact space Complete lattice Complete metric space Continuous function (set theory) Continuous function Countable set Counterexample Dimension theory (algebra) Dimension theory Discrete space Domain of a function Empty set Enumeration Equivalence class Equivalence relation Existential quantification Family of sets Finite set General topology Geometry Hahn–Banach theorem Hausdorff space Homeomorphism Infimum and supremum Integer Interval (mathematics) Lebesgue constant (interpolation) Limit point Linear space (geometry) Mathematician Mathematics Maximal element Metric space Monotonic function Mutual exclusivity Natural number Negation Normal space Open set Ordinal number Real number Regular space Requirement Scientific notation Separation axiom Set (mathematics) Set theory Special case Subsequence Subset Suggestion Summation Superspace Theorem Theory Topological algebra Topology Total order Transfinite induction Transfinite number Transfinite Transitive relation Tychonoff space Ultrafilter Uncountable set Uniform continuity Union (set theory) Upper and lower bounds Zorn's lemma |
| ISBN | 1-4008-8219-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Introduction -- Contents -- General Usage of The Alphabets -- Special Usage of The Alphabets -- Usage of General Symbols -- Chapter I. Ordering -- Chapter II. Direction -- Chapter III. Convergence -- Chapter IV. Compactness -- Chapter V. Normality -- Chapter VI. Structs -- Chapter VII. Function - Spaces -- Chapter VIII. Examples -- Chapter IX. Discussion -- Bibliography -- Index |
| Record Nr. | UNINA-9910154748703321 |
|
Tukey John W.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| 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 | ||
| ||
Knot Groups. Annals of Mathematics Studies. (AM-56), Volume 56 / / Lee Paul Neuwirth
| Knot Groups. Annals of Mathematics Studies. (AM-56), Volume 56 / / Lee Paul Neuwirth |
| Autore | Neuwirth Lee Paul |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (120 pages) : illustrations |
| Disciplina | 513.8 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Knot theory |
| Soggetto non controllato |
Abelian group
Alexander duality Alexander polynomial Algebraic theory Algorithm Analytic continuation Associative property Automorphism Axiom Bijection Binary relation Calculation Central series Characterization (mathematics) Cobordism Coefficient Cohomology Combinatorics Commutator subgroup Complete theory Computation Conjugacy class Conjugate element (field theory) Connected space Connectedness Coprime integers Coset Covering space Curve Cyclic group Dehn's lemma Determinant Diagonalization Diagram (category theory) Dimension Direct product Equivalence class Equivalence relation Euclidean space Euler characteristic Existential quantification Fiber bundle Finite group Finitely generated module Frattini subgroup Free abelian group Fundamental group Geometry Group ring Group theory Group with operators Hausdorff space Homeomorphism Homology (mathematics) Homomorphism Homotopy group Homotopy Identity matrix Inner automorphism Interior (topology) Intersection number (graph theory) Knot group Knot theory Linear combination Manifold Mathematical induction Monomorphism Morphism Morse theory Natural transformation Non-abelian group Normal subgroup Orientability Permutation Polynomial Presentation of a group Principal ideal domain Principal ideal Root of unity Semigroup Simplicial complex Simply connected space Special case Square matrix Subgroup Subset Summation Theorem Three-dimensional space (mathematics) Topological space Topology Torus knot Transfinite number Trefoil knot Trichotomy (mathematics) Trivial group Triviality (mathematics) Two-dimensional space Unit vector Wreath product |
| ISBN | 1-4008-8203-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- CHAPTER I. INTRODUCTION -- CHAPTER II. NOTATION AND CONVENTIONS -- CHAPTER III. COMBINATORIAL COVERING SPACE THEORY FOR 3-MANIFOLDS -- CHAPTER IV. THE COMMUTATOR SUBGROUP AND THE ALEXANDER MATRIX -- CHAPTER V. SUBGROUPS -- CHAPTER VI. REPRESENTATIONS -- CHAPTER VII. AUTOMORPHISMS -- CHAPTER VIII. A GROUP OF GROUPS -- CHAPTER IX. THE CHARACTERIZATION PROBLEM -- CHAPTER X. THE STRENGTH OP THE GROUP -- CHAPTER XI. PROBLEMS -- APPENDIX BY S. Eileriberg -- REFERENCES -- INDEX |
| Record Nr. | UNINA-9910154747703321 |
|
Neuwirth Lee Paul
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Radically Elementary Probability Theory. (AM-117), Volume 117 / / Edward Nelson
| Radically Elementary Probability Theory. (AM-117), Volume 117 / / Edward Nelson |
| Autore | Nelson Edward |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (109 pages) : illustrations |
| Disciplina | 519.2 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Martingales (Mathematics)
Stochastic processes Probabilities |
| Soggetto non controllato |
Abraham Robinson
Absolute value Addition Algebra of random variables Almost surely Axiom Axiomatic system Borel set Bounded function Cantor's diagonal argument Cardinality Cartesian product Central limit theorem Chebyshev's inequality Compact space Contradiction Convergence of random variables Corollary Correlation coefficient Counterexample Dimension (vector space) Dimension Division by zero Elementary function Estimation Existential quantification Family of sets Finite set Hyperplane Idealization Independence (probability theory) Indicator function Infinitesimal Internal set theory Joint probability distribution Law of large numbers Linear function Martingale (probability theory) Mathematical induction Mathematician Mathematics Measure (mathematics) N0 Natural number Non-standard analysis Norm (mathematics) Orthogonal complement Parameter Path space Predictable process Probability distribution Probability measure Probability space Probability theory Probability Product topology Projection (linear algebra) Quadratic variation Random variable Real number Requirement Scientific notation Sequence Set (mathematics) Significant figures Special case Standard deviation Statistical mechanics Stochastic process Subalgebra Subset Summation Theorem Theory Total variation Transfer principle Transfinite number Trigonometric functions Upper and lower bounds Variable (mathematics) Variance Vector space W0 Wiener process Without loss of generality |
| ISBN | 1-4008-8214-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of contents -- Preface -- Acknowledgments -- 1. Random variables -- 2. Algebras of random variables -- 3. Stochastic processes -- 4. External concepts -- 5. Infinitesimals -- 6. External analogues of internal notions -- 7. Properties that hold almost everywhere -- 8. L1 random variables 30 -- 9. The decomposition of a stochastic process -- 10. The total variation of a process -- 11. Convergence of martingales -- 12. Fluctuations of martingales -- 13. Discontinuities of martingales -- 14. The Lindeberg condition -- 15. The maximum of a martingale -- 16. The law of large numbers -- 17. Nearly equivalent stochastic processes -- 18. The de Moivre-Laplace-Lindeberg-Feller-Wiener- Lévy-Doob-Erdös-Kac-Donsker-Prokhorov theorem -- Appendix -- Index |
| Record Nr. | UNINA-9910154754503321 |
|
Nelson Edward
|
||
| 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 | ||
| ||
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post
| The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post |
| Autore | Post Emil L. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (133 pages) : illustrations |
| Disciplina | 164 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
0Q
1J Abstract structure Addition Antiderivative Argument of a function Axiom Big O notation Bijection Boolean algebra (structure) Calculation Cardinal number Classical mathematics Conjecture Contradiction Countable set Diagram (category theory) Dimension Direct proof Duality (mathematics) Duality (optimization) Existential quantification Finite group Finite set Floor and ceiling functions Function (mathematics) Inequality (mathematics) Inverse problem Iteration Join and meet K-function Lattice (order) Linear differential equation Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Membership function (mathematics) Morphism Mutual exclusivity Negation Notation Null set Oswald Veblen Parameter Parity (mathematics) Polynomial Principia Mathematica Projective geometry Propositional calculus Propositional variable Requirement Scientific notation Sequence Statistical hypothesis testing Subgroup Subset Suggestion Summation System T. The Principles of Mathematics Theorem Transfinite number Transfinite Truth table Uncountable set Uniqueness Variable (mathematics) Venn diagram |
| ISBN | 1-4008-8236-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- Part I. PRELIMINARIES -- PART II. DERIVATION OP CLOSED SYSTEMS -- PART III. CO-ORDINATION AND APPLICATION -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154742203321 |
|
Post Emil L.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||