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 and recursive functions / A.I. Mal'cev ; translated from the first Russian edition by Leo F. Boron ; with the collabration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki
| Algorithms and recursive functions / A.I. Mal'cev ; translated from the first Russian edition by Leo F. Boron ; with the collabration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki |
| Autore | Mal'cev, Anatolii Ivanovic |
| Pubbl/distr/stampa | Groningen : Wolters-Noordhoff, 1970 |
| Descrizione fisica | 372 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 90-01-57070-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001029330403321 |
Mal'cev, Anatolii Ivanovic
|
||
| Groningen : Wolters-Noordhoff, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recursive functionals / Luis E. Sanchis.
| Recursive functionals / Luis E. Sanchis. |
| Autore | Sanchis, Luis E. |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1992 |
| Descrizione fisica | xii, 277 p. ; 24 cm |
| Disciplina | 511.35 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato | Teoria della ricorsivita' |
| ISBN | 0-444-89447-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001319700403321 |
|
Sanchis, Luis E.
|
||
| Amsterdam [etc.] : North-Holland, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reflexive Structures : an Introduction to Computability Theory / Luis E. Sanchis
| Reflexive Structures : an Introduction to Computability Theory / Luis E. Sanchis |
| Autore | Sanchis, Luis E. |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1988 |
| Descrizione fisica | xii, 233 p. ; 24 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-387-96728-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001099550403321 |
|
Sanchis, Luis E.
|
||
| New York [etc.] : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reflexive Structures : An Introduction to Computability Theory / Luis E. Sanchis
| Reflexive Structures : An Introduction to Computability Theory / Luis E. Sanchis |
| Autore | Sanchis, Luis E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | xii, 233 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020] 03D75 - Abstract and axiomatic computability and recursion theory [MSC 2020] |
| Soggetto non controllato |
Algorithms
Computability theory Computer Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0269109 |
|
Sanchis, Luis E.
|
||
| New York, : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Reflexive Structures : An Introduction to Computability Theory / Luis E. Sanchis
| Reflexive Structures : An Introduction to Computability Theory / Luis E. Sanchis |
| Autore | Sanchis, Luis E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | xii, 233 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020] 03D75 - Abstract and axiomatic computability and recursion theory [MSC 2020] |
| Soggetto non controllato |
Algorithms
Computability Theory Computer Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics. |
| Record Nr. | UNICAMPANIA-VAN00269109 |
|
Sanchis, Luis E.
|
||
| New York, : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||