Prêtable
| Titre : | Mathématiques discrètes et informatique |
| Auteurs : | Nguyen-Huy Xuong |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Masson Editeur, 1991 |
| Collection : | Logique Mathématiques Informatique (LMI) |
| ISBN/ISSN/EAN : | 978-2-225-82621-4 |
| Format : | XIII-412 p. / couv. en coul. ; ill. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 510.0285 (Mathématiques - Traitement des données, Applications informatiques ) |
| Catégories : | |
| Mots-clés: | Informatique ; Mathématiques discrètes |
| Résumé : |
L'informatique a pour vocation de traiter de l'information discrétisée en créant des outils spécifiques. Ce cours est consacré aux fondements de certains de ces outils formels. Il se situe donc aux confins de l'informatique et des mathématiques, la première suscitant les problématiques et les secondes les méthodes de traitement appropriées. L'ouvrage est organisé en trois parties. La première introduit les concepts de base (ensemble, relation, fonction) autour d'une notion centrale : l'induction. Les structures algébriques font ensuite l'objet d'une étude détaillée. La deuxième partie est consacrée à la notion de complexité de calcul. Après une approche formelle du concept d'algorithme, on aborde l'estimation pratique du temps d'exécution d'un programme, puis l'étude des classes de complexité. Enfin, la dernière partie traite d'un mode de modélisation particulièrement pertinente des situations concrètes : les graphes. L'exposé est illustré par de nombreux exemples et figures. Sauf exception, les énoncés sont chacun assortis d'une démonstration complète. En outre, chaque chapitre est suivi d'une série d'exercices, mis au point et appliqués lors de l'enseignement de ce cours, en deuxième cycle d'informatique et de mathématiques appliquées.
|
| Note de contenu : |
Sommaire :
Chapitre 1: Concepts de base Chapitre 2: Systèmes relationnels Chapitre 3: Structures algébriques Chapitre 4: Principes fondamentaux du dénombrement Chapitre 5: Méthode de récurrence Chapitre 6: Complexité de calcul Chapitre 7: Graphes Chapitre 8: Circuits dans les graphes Chapitre 9: Arbres et arborescencesmmaire |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| T8/2012 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
