top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui