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