4 résultat(s) recherche sur le mot-clé 'Turing machines'

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

Computational complexity / Christos H. Papadimitriou

Public ISBD Titre : Computational complexity Type de document : texte imprimé Auteurs : Christos H. Papadimitriou Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 1995 Importance : xv - 523 p. ISBN/ISSN/EAN : 978-0-201-53082-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation Mots-clés : np-complete problems  turing machines  complexity theory Index. décimale : 68C Monographie Computational complexity [texte imprimé] / Christos H. Papadimitriou . - Reading, MA : Addison-Wesley Publishing Company, Inc., 1995 . - xv - 523 p. ISBN : 978-0-201-53082-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation Mots-clés : np-complete problems  turing machines  complexity theory Index. décimale : 68C Monographie

Exemplaires

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

Brains, machines and mathematics / Arbib, Michael A.

Public ISBD Titre : Brains, machines and mathematics Type de document : texte imprimé Auteurs : Arbib, Michael A. Editeur : New york : McGray-Hill Book Compagny Année de publication : 1965 Importance : 152 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T05 Learning and adaptive systems 92-XX Biology and other natural sciences:92-01 Instructional exposition (textbooks, tutorial papers, etc.) 92-XX Biology and other natural sciences:92BXX Mathematical biology in general:92B05 General biology and biomathematics Mots-clés : effective computations  turing machines  learning networks  pattern recognition networks  finite automata  neural nets  foundations of mathematics  computable functions  languages, automata, networks Index. décimale : 68C Monographie Brains, machines and mathematics [texte imprimé] / Arbib, Michael A. . - New york : McGray-Hill Book Compagny, 1965 . - 152 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T05 Learning and adaptive systems 92-XX Biology and other natural sciences:92-01 Instructional exposition (textbooks, tutorial papers, etc.) 92-XX Biology and other natural sciences:92BXX Mathematical biology in general:92B05 General biology and biomathematics Mots-clés : effective computations  turing machines  learning networks  pattern recognition networks  finite automata  neural nets  foundations of mathematics  computable functions  languages, automata, networks Index. décimale : 68C Monographie

Exemplaires

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

Intelligence artificielle et informatique théorique / J. M. Alliot

Public ISBD Titre : Intelligence artificielle et informatique théorique Type de document : texte imprimé Auteurs : J. M. Alliot ; T. Schiex Editeur : Toulouse : Cepadues Editions Année de publication : 1993 Collection : collection intelligence artificielle Importance : 520 p. ISBN/ISSN/EAN : 978-2-85428-324-2 Langues : Français Mots-clés : genetic programming  genetic algorithms  neural networks  machine learning  searching  np-complexity  calculability  formal languages  turing machines  resolution principle  mathematical logic Index. décimale : IRIN Intelligence artificielle et informatique théorique [texte imprimé] / J. M. Alliot ; T. Schiex . - Toulouse : Cepadues Editions, 1993 . - 520 p.. - (collection intelligence artificielle) . ISBN : 978-2-85428-324-2 Langues : Français Mots-clés : genetic programming  genetic algorithms  neural networks  machine learning  searching  np-complexity  calculability  formal languages  turing machines  resolution principle  mathematical logic Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12950	IRIN/68C26	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible