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 | ||
| ||
Computability & unsolvability / Martin Davis
| Computability & unsolvability / Martin Davis |
| Autore | Davis, Martin |
| Pubbl/distr/stampa | New York : McGraw-Hill, 1958 |
| Descrizione fisica | xxv, 210 p. ; 22 cm. |
| Disciplina | 511.35 |
| Collana | McGraw-Hill series in information processing and computers |
| Soggetto topico |
Models of computation
Recursive functions |
| Classificazione |
AMS 03D10
AMS 03D20 AMS 68Q05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000772859707536 |
|
Davis, Martin
|
||
| New York : McGraw-Hill, 1958 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computability and logic / George Boolos, Richard Jeffrey
| Computability and logic / George Boolos, Richard Jeffrey |
| Autore | Boolos, George |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1974 |
| Descrizione fisica | x, 262 p. : ill. ; 24 cm. |
| Disciplina | 511.35 |
| Altri autori (Persone) | Jeffrey, Richard C.author |
| Soggetto topico |
Computable functions
Recursive functions Symbolic logic |
| ISBN | 052120402X |
| Classificazione | AMS 03D |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000772999707536 |
|
Boolos, George
|
||
| Cambridge : Cambridge University Press, c1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computations in higher types / / J. Moldestad
| Computations in higher types / / J. Moldestad |
| Autore | Moldestad Johan <1946-> |
| Edizione | [1st ed. 1977.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1977] |
| Descrizione fisica | 1 online resource (VIII, 208 p.) |
| Disciplina | 511.352 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Recursive functions |
| ISBN | 3-540-37425-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract -- The computation domain -- Recursion on ? -- Connection with Kleene recursion in higher types -- Recursion in normal lists on ? -- Kleene recursion in normal objects of type n+2, n>0 -- Computation theories on ? -- Abstract Kleene theories -- Normal computation theories on ? -- More about Mahloness -- Calculation of the lengths of some computations -- Gaps -- On platek: “Foundations of recursion theory” -- A final comment concerning the two types. |
| Record Nr. | UNISA-996466663403316 |
|
Moldestad Johan <1946->
|
||
| Berlin, Germany : , : Springer, , [1977] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computations in higher types / Johan Moldestad
| Computations in higher types / Johan Moldestad |
| Autore | Moldestad, Johan |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1977 |
| Descrizione fisica | 203 p. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 574 |
| Soggetto topico |
Recursion theory
Recursive functions |
| ISBN | 3540081321 |
| Classificazione | AMS 03D |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000775889707536 |
|
Moldestad, Johan
|
||
| Berlin : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks
| Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks |
| Autore | Sacks Gerald E. |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (189 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Unsolvability (Mathematical logic) |
| Soggetto non controllato |
Addition
Aleph number Algebraic topology Approximation Arithmetic function Arithmetical set Axiom of choice Baire category theorem Cardinality of the continuum Cardinality Cartesian product Category theory Commutative property Conjecture Continuum hypothesis Contradiction Corollary Countable set Disjoint union Effective method Empty set Enumeration Equation Existence theorem Existential quantification Finite set Fixed-point theorem Fourier analysis Fubini's theorem Gödel numbering Identity function Inequality (mathematics) Infimum and supremum Integer Lebesgue measure Limit of a sequence Limit point Mathematical induction Mathematics Mean of a function Measure (mathematics) Metric space Monotonic function Mostowski Mutual exclusivity Natural number Null set Open set Partial function Partially ordered set Predicate (mathematical logic) Product measure Product topology Real number Recursion Recursive set Recursively enumerable set Reductio ad absurdum Regular space Requirement Scientific notation Sequence Set (mathematics) Simultaneous equations Subset Theorem Topology Transfinite induction Tychonoff's theorem Uncountable set Union (set theory) Upper and lower bounds Variable (mathematics) W0 Well-order Without loss of generality Zorn's lemma |
| ISBN | 1-4008-8184-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface to revised edition -- Contents -- §1. Preliminaries -- §2 . A Continuum of Mutually Incomparable Degrees -- §3. Uncountable Suborderings of Degrees -- §4. The Priority Method Of Friedberg and Muchnik -- §5. An Existence Theorem For Recursively Enumerable Degrees -- §6 . The Jump Operator -- §7. An Interpolation Theorem for Recursively Enumerable Degrees -- §8. Minimal Upper Bounds for Sequences of Degrees -- §9. Minimal Degrees -- §10. Measure-Theoretic, Category and Descriptive Set-Theoretic Arguments -- §11. Initial Segments of Degrees -- §12. Further Results and Conjectures -- Bibliography |
| Record Nr. | UNINA-9910154752603321 |
|
Sacks Gerald E.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Elementary induction on abstract structures / Yiannis N. Moschovakis
| Elementary induction on abstract structures / Yiannis N. Moschovakis |
| Autore | Moschovakis, Yiannis N. |
| Descrizione fisica | x, 218 p. ; 24 cm. |
| Disciplina | 511.35 |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; v. 77 |
| Soggetto topico |
Hierarchies
Higher-type and set recursion theory Induction Recursive functions |
| ISBN | 0444105379 |
| Classificazione |
AMS 03D55
AMS 03D60 AMS 03D65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000847339707536 |
|
Moschovakis, Yiannis N.
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem / / Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy
| An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem / / Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy |
| Autore | Lombardi Henri |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2020 |
| Descrizione fisica | 1 online resource (138 pages) |
| Disciplina | 512.9422 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Polynomials
Algebraic fields Recursive functions |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-5662-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Weak inference and weak existence -- Intermediate value theorem -- Fundamental theorem of algebra -- Hermite's theory -- Elimination of one variable -- Proof of the main theorems -- Annex. |
| Record Nr. | UNINA-9910480771503321 |
|
Lombardi Henri
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem / / Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy
| An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem / / Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy |
| Autore | Lombardi Henri |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2020 |
| Descrizione fisica | 1 online resource (138 pages) |
| Disciplina | 512.9422 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Polynomials
Algebraic fields Recursive functions |
| ISBN | 1-4704-5662-1 |
| Classificazione | 12D1514P9913J30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Weak inference and weak existence -- Intermediate value theorem -- Fundamental theorem of algebra -- Hermite's theory -- Elimination of one variable -- Proof of the main theorems -- Annex. |
| Record Nr. | UNINA-9910794062503321 |
|
Lombardi Henri
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem / / Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy
| An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem / / Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy |
| Autore | Lombardi Henri |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2020 |
| Descrizione fisica | 1 online resource (138 pages) |
| Disciplina | 512.9422 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Polynomials
Algebraic fields Recursive functions |
| ISBN | 1-4704-5662-1 |
| Classificazione | 12D1514P9913J30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Weak inference and weak existence -- Intermediate value theorem -- Fundamental theorem of algebra -- Hermite's theory -- Elimination of one variable -- Proof of the main theorems -- Annex. |
| Record Nr. | UNINA-9910806857203321 |
|
Lombardi Henri
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
