| Titre : | Mathématiques discrètes appliquées à l'informatique |
| Auteurs : | Rod Hoggarty, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Pearson education France, 2005 |
| Collection : | Synthex, ISSN 1768-7616 |
| ISBN/ISSN/EAN : | 978-2-7440-7100-3 |
| Format : | 1 vol. (I-219 p.) / ill., couv. ill. en coul. / 27 cm |
| Note générale : | Glossaire. Index |
| Langues: | Français |
| Langues originales: | Anglais |
| Index. décimale : | 004.015 1 (Principes mathématiques de l'informatique) |
| Catégories : |
Ouvrages > Généralités (ouvrages généraux), information, informatique > Informatique |
| Mots-clés: | Informatique : Mathématiques : Manuels d'enseignement supérieur |
| Résumé : |
Les Méthodes formelles utilisées en informatique s'appuient essentiellement sur des concepts mathématiques, comme la théorie des ensembles, la logique, les mathématiques combinatoires ou encore la théorie des graphes (dont l'application à un réseau de communication permet d'introduire dés notions très complexes comme, par exemple, les répartitions de charge et de trafic sur Internet). En 9 chapitres, l'ouvrage fournit un rappel des notions indispensables en logique et en algorithmique : théorie des ensembles, relations, fonctions, combinatoire, théorie des graphes et algèbre de boole. Chaque notion est illustrée d'un exemple concret, appliqué à l'informatique ou à l'électronique. À la fin de chaque chapitre, des exercices aux corrigés détaillés permettent au lecteur de tester sa compréhension des notions abordées. Ce livre s'adresse aux étudiants de première année des filières informatiques. Il se révèlera également très utile aux professionnels désireux de rafraîchir leurs connaissances. |
| Note de contenu : |
Sommaire: Logique et preuve-Théorie des ensembles-Relations-Mathématiques combinatoires-Graphes-Graphes orientés-Algèbre de boole |
| Côte titre : | S4/21753-21756 |
Exemplaires (4)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S4/21753 | Livre | Bibliothèque centrale | Disponible |
| S4/21754 | Livre | Bibliothèque centrale | Disponible |
| S4/21755 | Livre | Bibliothèque centrale | Disponible |
| S4/21756 | Livre | Bibliothèque centrale | Disponible |
Accueil
