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.
Algorithms for Constructing Computably Enumerable Sets / / by Kenneth J. Supowit
| Algorithms for Constructing Computably Enumerable Sets / / by Kenneth J. Supowit |
| Autore | Supowit Kenneth J. |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 |
| Descrizione fisica | 1 online resource (191 pages) |
| Disciplina | 004.0151 |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science
Computable functions Recursion theory Set theory Computer science—Mathematics Theory of Computation Computability and Recursion Theory Set Theory Theory and Algorithms for Application Domains Mathematics of Computing Matemàtica discreta Teoria de conjunts Algorismes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031269042
9783031269035 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Index of notation and terms -- 2 Set theory, requirements, witnesses -- 3 What’s new in this chapter? -- 4 Priorities (a splitting theorem) -- 5 Reductions, comparability (Kleene-Post Theorem) -- 6 Finite injury (Friedberg-Muchnik Theorem) -- 7 The Permanence Lemma -- 8 Permitting (Friedberg-Muchnik below C Theorem) -- 9 Length of agreement (Sacks Splitting Theorem) -- 10 Introduction to infinite injury -- 11 A tree of guesses (Weak Thickness Lemma) -- 12 An infinitely branching tree (Thickness Lemma) -- 13 True stages (another proof of the Thickness Lemma) -- 14 Joint custody (Minimal Pair Theorem) -- 15 Witness lists (Density Theorem) -- 16 The theme of this book: delaying tactics -- Appendix A: a pairing function -- Bibliograph -- Solutions to selected exercises. |
| Record Nr. | UNINA-9910726280003321 |
Supowit Kenneth J.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automata Theory and Formal Languages : Fundamental Notions, Theorems, and Techniques / / by Alberto Pettorossi
| Automata Theory and Formal Languages : Fundamental Notions, Theorems, and Techniques / / by Alberto Pettorossi |
| Autore | Pettorossi Alberto |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (287 pages) |
| Disciplina | 004.019 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Machine theory
Computer science Computable functions Recursion theory Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Computability and Recursion Theory Theory and Algorithms for Application Domains |
| ISBN |
9783031119651
9783031119644 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Formal Grammars and Languages -- 2 Finite Automata and Regular Grammars -- 3 Pushdown Automata and Context-Free Grammars -- 4 Linear Bounded Automata and Context-Sensitive Grammars -- 5 Turing Machines and Type 0 Grammars -- 6 Decidability and Undecidability in Context-Free Languages -- 7 Supplementary Topics. |
| Record Nr. | UNINA-9910586636603321 |
|
Pettorossi Alberto
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Calvin C. Elgot selected papers / edited by Stephen L. Bloom ; with a foreword by Dana S. Scott and "A glimpse back" by Samuel Eilenberg
| Calvin C. Elgot selected papers / edited by Stephen L. Bloom ; with a foreword by Dana S. Scott and "A glimpse back" by Samuel Eilenberg |
| Autore | Elgot, Calvin C. |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1982 |
| Descrizione fisica | xxiv, [460] p. : ill. ; 24 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Bloom, Stephen L. |
| Soggetto topico |
Elgot, Calvin C.-selected papers
Machine theory Mathematics Recursion theory |
| ISBN | 0387906983 |
| Classificazione | QA3.E5825 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000730739707536 |
|
Elgot, Calvin C.
|
||
| New York : Springer-Verlag, c1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Classical recursion theory [e-book] / Piergiorgio Odifreddi
| Classical recursion theory [e-book] / Piergiorgio Odifreddi |
| Autore | Odifreddi, Piergiorgio |
| Pubbl/distr/stampa | Amsterdam ; New York : North-Holland : Elsevier, 1989-1999 |
| Descrizione fisica | 949 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics, 0049-237X ; 143 |
| Soggetto topico | Recursion theory |
| ISBN |
9780444502056
044450205X |
| Classificazione | AMS 03D |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003272489707536 |
|
Odifreddi, Piergiorgio
|
||
| Amsterdam ; New York : North-Holland : Elsevier, 1989-1999 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
| Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi |
| Autore | Odifreddi, Piergiorgio |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1989 |
| Descrizione fisica | xvii, 668 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics, 0049-237X ; 125 |
| Soggetto topico | Recursion theory |
| ISBN | 0444872957 |
| Classificazione |
AMS 03D
LC QA9.6.O35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000744919707536 |
|
Odifreddi, Piergiorgio
|
||
| Amsterdam : North-Holland, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Combinatorial functors / J. N. Crossley, Anil Nerode
| Combinatorial functors / J. N. Crossley, Anil Nerode |
| Autore | Crossley, John N. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1974 |
| Descrizione fisica | viii, 146 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Nerode, Anilauthor |
| Collana |
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 81
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 81 = A series of modern surveys in mathematics, 0071-1136 ; 81 |
| Soggetto topico |
Combinatorial analysis
Functor theory Model theory Recursion theory |
| ISBN | 3540064281 |
| Classificazione |
AMS 03C
AMS 03D |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000755499707536 |
|
Crossley, John N.
|
||
| Berlin ; New York : Springer-Verlag, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computability : an introduction to recursive function theory / Nigel Cutland
| Computability : an introduction to recursive function theory / Nigel Cutland |
| Autore | Cutland, Nigel |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1980 |
| Descrizione fisica | x, 251 p. ; 23 cm. |
| Disciplina | 519.4 |
| Soggetto topico |
Computable functions
Recursion theory |
| ISBN | 0521294657 |
| Classificazione |
AMS 03D
QA9.59.C87 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000772779707536 |
|
Cutland, Nigel
|
||
| Cambridge : Cambridge University Press, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computability theory / Rebecca Weber
| Computability theory / Rebecca Weber |
| Autore | Weber, Rebecca |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2012 |
| Descrizione fisica | vii, 203 p. : ill. ; 22 cm |
| Disciplina | 511.352 |
| Collana | Student mathematical library, 1520-9121 ; 62 |
| Soggetto topico |
Recursion theory
Computable functions |
| ISBN | 9780821873922 |
| Classificazione |
AMS 03D
AMS 68Q LC QA9.6.W43 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001839319707536 |
|
Weber, Rebecca
|
||
| Providence, R. I. : American Mathematical Society, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computable structure theory : a unified approach / / Rodney G. Downey, Alexander Melnikov
| Computable structure theory : a unified approach / / Rodney G. Downey, Alexander Melnikov |
| Autore | Downey R. G. ǂq (Rod G.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , [2026] |
| Descrizione fisica | 1 online resource (xii, 540 pages) : illustrations |
| Disciplina | 511.352 |
| Altri autori (Persone) | MelnikovAlexander |
| Collana | Theory and applications of computability, In cooperation with the Association Computability in Europe |
| Soggetto topico |
Computer science
Computer arithmetic and logic units Algorithms Computable functions Recursion theory Theory of Computation Arithmetic and Logic Structures Computability and Recursion Theory |
| ISBN | 9783031924330 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Foundation of Computability -- 1. Introduction -- 2. Basics of Computability Theory -- 3. Computable Algebraic Structures -- 4. Computable Separable Spaces -- Part II Computable Duality -- 5. Computable Boolean Algebras -- 6. Computable Stone Spaces -- 7. Computable Abelian Groups -- 8. Computable Connected Compact Spaces -- Part III Computability and Classification Problems. 9. The Analytical Hierarchy and Σ11-completeness -- 10. Computable Categoricity -- 11. Computable Banach Spaces with Applications -- 12. Resource Bounded Computation -- Part IV Non-computability and Randomness. 13. Randomness -- 14. Degree Spectra -- 15 -- Computable Transfinite Analysis. |
| Record Nr. | UNINA-9911047799303321 |
|
Downey R. G. ǂq (Rod G.)
|
||
| Cham : , : Springer, , [2026] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter
| Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter |
| Autore | Borger, Egon |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Oberschelp, Walter
Richter, Michael M. Schinzel, Brigitta Thomas, Wolfgang |
| Soggetto topico | Recursion theory |
| ISBN | 354013901X |
| Classificazione |
AMS 03D
AMS 03F AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773229707536 |
|
Borger, Egon
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
