2 résultat(s) recherche sur le mot-clé 'recursively enumerable sets'

The role of true finiteness in the admissible recursively enumerable degrees / Greenberg, Noam

Public ISBD Titre : The role of true finiteness in the admissible recursively enumerable degrees Type de document : texte imprimé Auteurs : Greenberg, Noam, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2006 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 854 Importance : vi, 99 p ISBN/ISSN/EAN : 978-0-8218-3885-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D25 Recursively (computably) enumerable sets and degrees 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D60 Computability and recursion theory on ordinals, admissible sets, etc. Mots-clés : recursion theory  recursively enumerable sets  finite Index. décimale : Mem The role of true finiteness in the admissible recursively enumerable degrees [texte imprimé] / Greenberg, Noam, Auteur . - Providence, R.I. : American Mathematical Society, 2006 . - vi, 99 p. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 854) . ISBN : 978-0-8218-3885-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D25 Recursively (computably) enumerable sets and degrees 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D60 Computability and recursion theory on ordinals, admissible sets, etc. Mots-clés : recursion theory  recursively enumerable sets  finite Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19097	Mem/854	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Computation and automata / Arto Salomaa

Public ISBD Titre : Computation and automata Type de document : texte imprimé Auteurs : Arto Salomaa (1934-....) Editeur : Cambridge : Cambridge University Press Année de publication : 1985 Collection : Encyclopedia of Mathematics and Its Applications num. 25 Importance : xiii, 284 p. Format : 24 cm. ISBN/ISSN/EAN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie Computation and automata [texte imprimé] / Arto Salomaa (1934-....) . - Cambridge : Cambridge University Press, 1985 . - xiii, 284 p. ; 24 cm.. - (Encyclopedia of Mathematics and Its Applications; 25) . ISBN : 978-0-521-30245-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : semi-Thue systems  computability theory  recursively enumerable sets  phrase structure grammars  rewriting systems  Post canonical systems  Markov algorithms  Turing machines  recursive function theory  degrees of undecidability  computational complexity  halting problem  Hilbert's tenth problem  cryptography Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18556	68C358	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible