A partir de cette page vous pouvez :
author
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Richard Lassaigne |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesLogique et complexité / Richard Lassaigne (impr. 1996)
Titre : Logique et complexité Type de document : texte imprime Auteurs : Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur Editeur : Paris : Hermès Année de publication : impr. 1996 Collection : Traité des nouvelles technologies Importance : (VIII-322 p.) Présentation : ill., fig. Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-496-4 Note générale : Bibliogr. p. [309]-317. Index Langues : Français Mots-clés : Décidabilité (logique mathématique) Logique du premier ordre Complexité de calcul (informatique) Logique mathématique Résumé :
Cet ouvrage présente certains résultats importants de la théorie de la complexité : son objet est la classification des problèmes suivant l'importance des ressources nécessaires à leur résolution. L'origine de cette théorie apparaît dans l'étude des problèmes difficiles à résoudre sur un ordinateur. Ce domaine, considérablement développé au cours des vingt dernières années, concentre actuellement une large part de la recherche en informatique.Permalink : ./index.php?lvl=notice_display&id=14178 Logique et complexité [texte imprime] / Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur . - Paris : Hermès, impr. 1996 . - (VIII-322 p.) : ill., fig. ; 24 cm. - (Traité des nouvelles technologies) .
ISBN : 978-2-86601-496-4
Bibliogr. p. [309]-317. Index
Langues : Français
Mots-clés : Décidabilité (logique mathématique) Logique du premier ordre Complexité de calcul (informatique) Logique mathématique Résumé :
Cet ouvrage présente certains résultats importants de la théorie de la complexité : son objet est la classification des problèmes suivant l'importance des ressources nécessaires à leur résolution. L'origine de cette théorie apparaît dans l'étude des problèmes difficiles à résoudre sur un ordinateur. Ce domaine, considérablement développé au cours des vingt dernières années, concentre actuellement une large part de la recherche en informatique.Permalink : ./index.php?lvl=notice_display&id=14178 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité PR51/1 PR51 Livre Magasin d'Ouvrages / INF Programmation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
