A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'machine de Turing' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
La machine de Turing / Alan Mathison TURING (DL 1995)
Titre : La machine de Turing Type de document : texte imprimé Auteurs : Alan Mathison TURING, Auteur ; Jean-Yves GIRARD, Auteur ; Julien BASCH, Traducteur ; Patrice BLANCHARD, Traducteur Editeur : Paris : Éditions du Seuil Année de publication : DL 1995 Collection : Points Sous-collection : Sciences num. S131 Importance : 174 p. ISBN/ISSN/EAN : 978-2-02-036928-2 Langues : Français Langues originales : Anglais Mots-clés : fonction récursive fonction calculable machine de Turing théorie des automates problème de la décision théorie des nombres calculables Résumé : Traduction de deux articles d'Alan turing : "On computable numbers" et "Computing machinery and intelligence" ; articles précédés chacun d'une introduction de Jean-Yves Girard. La machine de Turing [texte imprimé] / Alan Mathison TURING, Auteur ; Jean-Yves GIRARD, Auteur ; Julien BASCH, Traducteur ; Patrice BLANCHARD, Traducteur . - [S.l. : s.n.], DL 1995 . - 174 p.. - (. Sciences; S131) .
ISBN : 978-2-02-036928-2
Langues : Français Langues originales : Anglais
Mots-clés : fonction récursive fonction calculable machine de Turing théorie des automates problème de la décision théorie des nombres calculables Résumé : Traduction de deux articles d'Alan turing : "On computable numbers" et "Computing machinery and intelligence" ; articles précédés chacun d'une introduction de Jean-Yves Girard. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22692 TUR/68/22692 Livre Recherche Salle Disponible Selecta mathematica II / Konrad JACOBS (1970)
Titre : Selecta mathematica II Type de document : texte imprimé Auteurs : Konrad JACOBS, Editeur scientifique Editeur : Berlin : Springer-Verlag Année de publication : 1970 Collection : Heidelberger taschenbücher, ISSN 0073-1684 num. 67 Importance : 185 p. Langues : Allemand Catégories : 03D10
68Q05Mots-clés : machine de Turing séquence aléatoire problème de décision jeu de dominos:énumérabilité fonction calculable Résumé : H.-D. Ebbinghaus : Turing-Maschinen und berechenbare Funktionen I.
F.-K. Mahn : Turing-Maschinen und berechenbare Funktionen II.
H.-D. Ebbinghaus : Turing-Maschinen und berechenbare Funktionen III.
H.-D. Ebbinghaus : Aufzählbarkeit.
H. Hermes : Entscheidungsproblem und Dominospiele.
K. Jacobs : Turing-Maschinen und zufällige 0–1-Folgen
Note de contenu : index, bibliogr. Selecta mathematica II [texte imprimé] / Konrad JACOBS, Editeur scientifique . - Berlin : Springer-Verlag, 1970 . - 185 p.. - (Heidelberger taschenbücher, ISSN 0073-1684; 67) .
Langues : Allemand
Catégories : 03D10
68Q05Mots-clés : machine de Turing séquence aléatoire problème de décision jeu de dominos:énumérabilité fonction calculable Résumé : H.-D. Ebbinghaus : Turing-Maschinen und berechenbare Funktionen I.
F.-K. Mahn : Turing-Maschinen und berechenbare Funktionen II.
H.-D. Ebbinghaus : Turing-Maschinen und berechenbare Funktionen III.
H.-D. Ebbinghaus : Aufzählbarkeit.
H. Hermes : Entscheidungsproblem und Dominospiele.
K. Jacobs : Turing-Maschinen und zufällige 0–1-Folgen
Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5547 SEL/00B10/3920-II Livre Recherche Salle Disponible Automata studies / C.E. Shannon (Cop. 1956)
Titre : Automata studies Type de document : texte imprimé Auteurs : C.E. Shannon, Editeur scientifique ; J. Mccarthy, Editeur scientifique Editeur : Princeton (N.J.) : Princeton University Press Année de publication : Cop. 1956 Collection : Annals of mathematics studies num. 34 Importance : VIII-285 p. Présentation : ill. Langues : Anglais Catégories : 03D05
68Dxx
68F10Mots-clés : théorie des machines commande automatique machine de Turing automate Automata studies [texte imprimé] / C.E. Shannon, Editeur scientifique ; J. Mccarthy, Editeur scientifique . - Princeton (N.J.) : Princeton University Press, Cop. 1956 . - VIII-285 p. : ill.. - (Annals of mathematics studies; 34) .
Langues : Anglais
Catégories : 03D05
68Dxx
68F10Mots-clés : théorie des machines commande automatique machine de Turing automate Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7771 SHA/95/CNRS-P 34 Livre Recherche Salle Disponible 11007 SHA/95/ST 34 Livre Recherche Salle Disponible Brain, machines and mathematics / Michael A. ARBIB (Cop. 1964)
Titre : Brain, machines and mathematics Type de document : texte imprimé Auteurs : Michael A. ARBIB, Auteur Editeur : New York : McGraw-Hill Book Company Année de publication : Cop. 1964 Importance : XIV-152 p. Présentation : ill. ISBN/ISSN/EAN : 07-002171-6 Langues : Anglais Mots-clés : machine de Turing cerveau cybernétique Note de contenu : index Brain, machines and mathematics [texte imprimé] / Michael A. ARBIB, Auteur . - New York : McGraw-Hill Book Company, Cop. 1964 . - XIV-152 p. : ill.
ISSN : 07-002171-6
Langues : Anglais
Mots-clés : machine de Turing cerveau cybernétique Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10823 ARB/68/4197 Livre Recherche Salle Disponible Introduction to automata / R. J. NELSON (Cop. 1968)
Titre : Introduction to automata Type de document : texte imprimé Auteurs : R. J. NELSON, Auteur Editeur : New York [U.S.A] : John Wiley & Sons Année de publication : Cop. 1968 Importance : XII-400 p. Présentation : ill. Langues : Anglais Mots-clés : automatisme système formel générateur machine de Turing Note de contenu : index, bibliogr. Introduction to automata [texte imprimé] / R. J. NELSON, Auteur . - New York (U.S.A) : John Wiley & Sons, Cop. 1968 . - XII-400 p. : ill.
Langues : Anglais
Mots-clés : automatisme système formel générateur machine de Turing Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10949 NEL/95/3749 Livre Recherche Salle Disponible