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 | ||
| ||
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 | ||
| ||
Contributions to the Theory of Games (AM-28), Volume II / / Albert William Tucker, Harold William Kuhn
| Contributions to the Theory of Games (AM-28), Volume II / / Albert William Tucker, Harold William Kuhn |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (409 pages) : illustrations |
| Disciplina | 519.3 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Game theory |
| Soggetto non controllato |
A priori probability
Accuracy and precision Addition Assignment problem Basic solution (linear programming) Big O notation Bilinear form Binary game Boolean algebra (structure) Brouwer fixed-point theorem Calculation Cartesian product Cauchy sequence Characteristic function (probability theory) Coefficient Combination Commutative property Computation Conditional probability distribution Continuous function Continuous game Convex set Cooperative game Counterexample Determinacy Diagram (category theory) Dimension (vector space) Disjoint union Duality (mathematics) Eigenfunction Equilibrium point Equivalence class Euclidean space Existence theorem Existential quantification Expected value Function (mathematics) Hyperplane Idealization Imputation (statistics) Inequality (mathematics) Infimum and supremum Integral equation Intersection (set theory) Interval (mathematics) Kakutani fixed-point theorem Limit of a sequence Limit point Linear differential equation Linear inequality Matching Pennies Mathematical induction Mathematical optimization Mathematics Matrix (mathematics) Measure (mathematics) Minimax theorem Monotonic function Mutual exclusivity Neumann series Numerical analysis Open problem Open set Outcome (probability) Partial derivative Partially ordered set Permutation matrix Permutation Polynomial Positional notation Preference (economics) Probability distribution Probability measure Probability Property B. Proportionality (mathematics) Quantity Ranking (information retrieval) Ring of sets Saddle point Scientific notation Sign (mathematics) Solution set Special case Statistical hypothesis testing Step function Strategy (game theory) Subset Summation Symmetrization Theorem Theory of Games and Economic Behavior Theory Three-dimensional space (mathematics) Topology Transcendental number Transformation matrix Unit interval Units of measurement Variable (mathematics) |
| ISBN | 1-4008-8197-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface / Kuhn, H. W. / Tucker, A. W. -- Contents -- Part I. Finite Zero-Sum Two-Persons Games -- 1. A Certain Zero-sum Two-person Game Equivalent to the Optimal Assignment Problem / Neumann, John von -- 2. Two Variants of Poker / Gillies, D. B. / Mayberry, J. P. / Neumann, J. von -- 3. The Double Description Method / Motzkin, T. S. / Raiffa, H. / Thompson, G. L. / Thrall, R. M. -- 4. Solutions of Convex Games as Fixed-points / Dresher, M. / Karlin, S. -- 5. Admissible Points of Convex Sets / Arrow, K. J. / Barankin, E. W. / Blackwell, D. -- Part II. Infinite Zero-Sum Two-Persons Games -- 6. Games of Timing / Shiffman, Max -- 7. Reduction of Certain Classes of Games to Integral Equations / Karlin, Samuel -- 8. On a Class of Games / Karlin, Samuel -- 9. Notes on Games over the Square / Glicksberg, I. / Gross, O. -- 10. On Randomization in Statistical Games with k Terminal Actions / Blackwell, David -- Part III. Games in Extensive Form -- 11. Extensive Games and the Problem of Information / Kuhn, H. W. -- 12. Equivalence of Information Patterns and Essentially Determinate Games / Dalkey, Norman -- 13. Infinite Games with Perfect Information / Gale, David / Stewart, F. M. -- 14. Signaling Strategies in n-Person Games / Thompson, G. L. -- 15. Bridge and Signaling / Thompson, G. L. -- 16. Sums of Positional Games / Milnor, John -- Part IV. General n-Person Games -- 17. A Value for n-Person Games / Shapley, L. S. -- 18. Symmetric Solutions to Majority Games / Bott, Raoul -- 19. Discriminatory and Bargaining Solutions to a Class of Symmetric n-Person Games / Gillies, D. B. -- 20. Quota Solutions of n-Person Games / Shapley, L. S. -- 21. Arbitration Schemes for Generalized Two-person Games / Raiffa, Howard -- Bibliography -- Backmatter |
| Record Nr. | UNINA-9910154750503321 |
| 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 | ||
| ||
Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128), Volume 128 / / Douglas C. Ravenel
| Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128), Volume 128 / / Douglas C. Ravenel |
| Autore | Ravenel Douglas C. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (225 pages) |
| Disciplina | 514/.24 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Homotopy theory |
| Soggetto non controllato |
Abelian category
Abelian group Adams spectral sequence Additive category Affine space Algebra homomorphism Algebraic closure Algebraic structure Algebraic topology (object) Algebraic topology Algebraic variety Algebraically closed field Atiyah–Hirzebruch spectral sequence Automorphism Boolean algebra (structure) CW complex Canonical map Cantor set Category of topological spaces Category theory Classification theorem Classifying space Cohomology operation Cohomology Cokernel Commutative algebra Commutative ring Complex projective space Complex vector bundle Computation Conjecture Conjugacy class Continuous function Contractible space Coproduct Differentiable manifold Disjoint union Division algebra Equation Explicit formulae (L-function) Functor G-module Groupoid Homology (mathematics) Homomorphism Homotopy category Homotopy group Homotopy Hopf algebra Hurewicz theorem Inclusion map Infinite product Integer Inverse limit Irreducible representation Isomorphism class K-theory Loop space Mapping cone (homological algebra) Mathematical induction Modular representation theory Module (mathematics) Monomorphism Moore space Morava K-theory Morphism N-sphere Noetherian ring Noetherian Noncommutative ring Number theory P-adic number Piecewise linear manifold Polynomial ring Polynomial Power series Prime number Principal ideal domain Profinite group Reduced homology Ring (mathematics) Ring homomorphism Ring spectrum Simplicial complex Simply connected space Smash product Special case Spectral sequence Steenrod algebra Sub"ient Subalgebra Subcategory Subring Symmetric group Tensor product Theorem Topological space Topology Vector bundle Zariski topology |
| ISBN | 1-4008-8248-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Introduction -- Chapter 1. The main theorems -- Chapter 2. Homotopy groups and the chromatic filtration -- Chapter 3. MU-theory and formal group laws -- Chapter 4. Morava's orbit picture and Morava stabilizer groups -- Chapter 5. The thick subcategory theorem -- Chapter 6. The periodicity theorem -- Chapter 7. Bousfield localization and equivalence -- Chapter 8. The proofs of the localization, smash product and chromatic convergence theorems -- Chapter 9. The proof of the nilpotence theorem -- Appendix A. Some tools from homotopy theory -- Appendix B. Complex bordism and BP-theory -- Appendix C. Some idempotents associated with the symmetric group -- Bibliography -- Index |
| Record Nr. | UNINA-9910154751603321 |
|
Ravenel Douglas C.
|
||
| 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 | ||
| ||