A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
4 résultat(s) recherche sur le mot-clé 'fonction calculable' ![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)
Calculabilité / Benoît MONIN (DL 2022)
Titre : Calculabilité : aléatoire, mathématiques à rebours et hypercalculabilité Type de document : texte imprimé Auteurs : Benoît MONIN, Auteur ; Ludovic PATEY, Auteur Editeur : Paris : Calvage & Mounet Année de publication : DL 2022 Collection : Tableau noir Importance : XXI-828 p. ISBN/ISSN/EAN : 978-2-916352-96-1 Note générale : La couv. porte en plus : "Degrés Turing, théorie algorithmique de l'aléatoire, mathématiques à rebours, hypercalculabilité"
Langues : Français Mots-clés : degré Turing calculabilité théorie de l'aléatoire fonction calculable Note de contenu : index, bibliogr. Calculabilité : aléatoire, mathématiques à rebours et hypercalculabilité [texte imprimé] / Benoît MONIN, Auteur ; Ludovic PATEY, Auteur . - Paris : Calvage & Mounet, DL 2022 . - XXI-828 p.. - (Tableau noir) .
ISBN : 978-2-916352-96-1
La couv. porte en plus : "Degrés Turing, théorie algorithmique de l'aléatoire, mathématiques à rebours, hypercalculabilité"
Langues : Français
Mots-clés : degré Turing calculabilité théorie de l'aléatoire fonction calculable Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 23495 MON/02/13290 Livre Recherche Salle Disponible Leçons sur les fonctions calculables / Vladimir Andreevich OUSPENSKI (1966)
Titre : Leçons sur les fonctions calculables Type de document : texte imprimé Auteurs : Vladimir Andreevich OUSPENSKI, Auteur ; André CHAUVIN, Traducteur Editeur : Paris : Hermann Année de publication : 1966 Collection : Actualités scientifiques et industrielles, ISSN 0365-6861 num. 1317 Importance : 412 p. Langues : Français Langues originales : Russe Catégories : 03D20 Mots-clés : fonction récursive fonction calculable Leçons sur les fonctions calculables [texte imprimé] / Vladimir Andreevich OUSPENSKI, Auteur ; André CHAUVIN, Traducteur . - Paris : Hermann, 1966 . - 412 p.. - (Actualités scientifiques et industrielles, ISSN 0365-6861; 1317) .
Langues : Français Langues originales : Russe
Catégories : 03D20 Mots-clés : fonction récursive fonction calculable Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 205 OUS/02/2844 Livre Recherche Salle Disponible i1575 OUS/02/i1575 Livre Recherche Salle Disponible 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