A partir de cette page vous pouvez :
author
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Autebert, Jean-Michel |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesCalculabilité et décidabilité une introduction / Autebert, Jean-Michel (DL 1992)
Titre : Calculabilité et décidabilité une introduction Type de document : texte imprime Auteurs : Autebert, Jean-Michel Editeur : Paris : Masson Année de publication : DL 1992 Collection : Manuels informatiques, ISSN 0249-6992 Importance : 118 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-82632-0 Note générale :
Bibliogr. p. 115. IndexLangues : Français Mots-clés : Complexité de calcul (informatique) Automates mathématiques, Théorie des Calcul formel Logique mathématique Fonctions calculables Décidabilité (logique mathématique) Index. décimale : 511.35 Résumé :
Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices. ©Electre 2021Permalink : ./index.php?lvl=notice_display&id=13549 Calculabilité et décidabilité une introduction [texte imprime] / Autebert, Jean-Michel . - Paris : Masson, DL 1992 . - 118 p. : ill. ; 24 cm.. - (Manuels informatiques, ISSN 0249-6992) .
ISBN : 978-2-225-82632-0
Bibliogr. p. 115. Index
Langues : Français
Mots-clés : Complexité de calcul (informatique) Automates mathématiques, Théorie des Calcul formel Logique mathématique Fonctions calculables Décidabilité (logique mathématique) Index. décimale : 511.35 Résumé :
Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices. ©Electre 2021Permalink : ./index.php?lvl=notice_display&id=13549 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP18/1 COMP18 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP18/2 COMP18 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP18/3 COMP18 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP18/4 COMP18 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
