A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Jean-Yves GIRARD |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.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 The blind spot / Jean-Yves GIRARD (Cop. 2011)
Titre : The blind spot : lectures on logic Type de document : texte imprimé Auteurs : Jean-Yves GIRARD, Auteur Editeur : Zürich [Suisse] : European Mathematical Society Année de publication : Cop. 2011 Importance : XIII-537 p. ISBN/ISSN/EAN : 978-3-03719-088-3 Langues : Anglais Mots-clés : logique mathématique théorème d'incomplétude théorie de la preuve Note de contenu : index, bibliogr. The blind spot : lectures on logic [texte imprimé] / Jean-Yves GIRARD, Auteur . - Zürich (Suisse) : European Mathematical Society, Cop. 2011 . - XIII-537 p.
ISBN : 978-3-03719-088-3
Langues : Anglais
Mots-clés : logique mathématique théorème d'incomplétude théorie de la preuve Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22209 GIR/02/10472 Livre Recherche Salle Disponible