Licensed
Unlicensed
Requires Authentication
Automata Studies. (AM-34), Volume 34
- Edited by:
Volume 34 in the series
Annals of Mathematics Studies
- Language: English
- Publisher: Princeton University Press
- Copyright year: 1956
- Audience: Professional and scholarly;College/higher education;
- Pages
- Main content: 285
- Keywords: Probability; Automaton; Theorem; Turing machine; Computation; Mathematical induction; Calculation; Recursive set; Sign (mathematics); Instance (computer science); Entscheidungsproblem; Universal Turing machine; Algebraic theory; Abstraction (software engineering); Recursively enumerable set; A Mathematical Theory of Communication; Recursion (computer science); Variable (mathematics); Diagram (category theory); Circuit design; Function (mathematics); Number theory; Markov chain; Moore machine; Fixed point (mathematics); Moment (mathematics); String (computer science); Permutation; Description number; Series (mathematics); Proportionality (mathematics); Sheffer stroke; Boolean algebra (structure); Gödel numbering; Subset; Conditional probability; Axiom; Equation; Mathematics; Interlacing (bitmaps); Hardware random number generator; Sequence; Counting; Special case; Chaos theory; Heuristic argument; Logical disjunction; Logarithm; Deterministic system (philosophy); Schematic; Mathematical analysis; Set theory; Result; Decision problem; Classical conditioning; Intuitionistic logic; OR gate; Determinism; Parity (mathematics); Counterexample; Arithmetic; Polynomial; Concepts (C++); Mathematical theory; Parameter (computer programming); Combination; Propositional function; Mathematical logic; Notation; Exponentiation; Quantity; Stochastic process; Subsequence; Measure (mathematics); Modular arithmetic; Accuracy and precision; Diagram; Enumeration; Solver; Primitive recursive function; Binary number; Lebesgue measure; Mathematical notation; Metamathematics; Trial and error; Connectivity (graph theory); Computable number; Biophysics; Correlation and dependence; Probability measure; Pilot plant; Typewriter; Finite-state machine; Estimation; Detection; Bit; Logic; First principle; Thermodynamic equilibrium; Combination lock
eBook
- Published: March 2, 2016
- ISBN: 9781400882618
