الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

  trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Introduction à la calculabilité / Pierre Wolper

Public ISBD Titre : Introduction à la calculabilité : cours et exercices corrigés Type de document : texte imprimé Auteurs : Pierre Wolper, Auteur Mention d'édition : 3e éd. Editeur : Paris : Dunod Année de publication : DL 2006 Collection : Sciences sup, ISSN 1636-2217 Importance : 1 vol. (IX-224 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-049981-6 Prix : 29,90 EUR Note générale : La couv. porte en plus : "2e cycle, écoles d'ingénieur" Bibliogr. p. 217-218. Index Langues : Français (fre) Mots-clés : calculabilité, formalisation, la théorie de la calculabilité Index. décimale : 005.1 Résumé : La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets. Introduction à la calculabilité : cours et exercices corrigés [texte imprimé] / Pierre Wolper, Auteur  . -  3e éd. . - Paris : Dunod, DL 2006 . - 1 vol. (IX-224 p.) : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup, ISSN 1636-2217) . ISBN : 978-2-10-049981-6 : 29,90 EUR La couv. porte en plus : "2e cycle, écoles d'ingénieur" Bibliogr. p. 217-218. Index Langues : Français (fre) Mots-clés : calculabilité, formalisation, la théorie de la calculabilité Index. décimale : 005.1 Résumé : La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets.

Réservation

Réserver ce document

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CF2-000801	005-399.1	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
f2-001412	005-399.2	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible
f2-001413	005-399.3	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible

---

1 (1 - 1 / 1)