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 | ||
| ||
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 | ||
| ||
Lectures on the theory of games [[electronic resource] /] / Harold W. Kuhn
| 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 | ||
| ||
Lectures on the theory of games / / Harold W. Kuhn
| Lectures on the theory of games / / Harold W. Kuhn |
| Autore | Kuhn Harold W (Harold William), <1925-2014.> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, New Jersey : , : Princeton University Press, , 2003 |
| Descrizione fisica | 1 online resource (118 pages) |
| 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-9910818504203321 |
|
Kuhn Harold W (Harold William), <1925-2014.>
|
||
| Princeton, New Jersey : , : Princeton University Press, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||