2 résultat(s) recherche sur le mot-clé 'recursive function theory'

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

Linear orderings / Rosenstein, Joseph G.

Public ISBD Titre : Linear orderings Type de document : texte imprimé Auteurs : Rosenstein, Joseph G. Editeur : Academic Press, Inc. Année de publication : 1982 Collection : PURE AND APPLIED MATHEMATICS num. 98 Importance : xvii - 487 p. ISBN/ISSN/EAN : 978-0-12-597680-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06AXX Ordered sets:06A05 Total order Mots-clés : recursive function theory  model theory  logical aspects of linear orderings  combinatorial aspects of linear orderings Index. décimale : 06C Monographie Linear orderings [texte imprimé] / Rosenstein, Joseph G. . - [S.l.] : Academic Press, Inc., 1982 . - xvii - 487 p.. - (PURE AND APPLIED MATHEMATICS; 98) . ISBN : 978-0-12-597680-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06AXX Ordered sets:06A05 Total order Mots-clés : recursive function theory  model theory  logical aspects of linear orderings  combinatorial aspects of linear orderings Index. décimale : 06C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9387	06C34	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible