| Titre : |
Outils mathématiques pour l'informaticien : mathématiques discrétes : cours et exercices corrigés |
| Type de document : |
texte imprimé |
| Auteurs : |
Marchand,Michel, Auteur |
| Mention d'édition : |
2 éd |
| Editeur : |
Bruxelles : De Boeck |
| Année de publication : |
2005 |
| Collection : |
Licence Maîtrise Doctorat |
| Importance : |
440 p. |
| Présentation : |
ill. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-8041-4963-5 |
| Note générale : |
Bibliogr. p. [429]-430. Index |
| Langues : |
Français (fre) |
| Mots-clés : |
Informatique -- Mathématiques Algorithmes Codage -- Problèmes et exercices
Langages formels -- Problèmes et exercices
Ensembles, Théorie des |
| Index. décimale : |
519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. |
| Résumé : |
En quoi les maths peuvent-elles aider les étudiants en informatique ? Ce livre s'adresse à tout étudiant en premier cycle qui s'initie à (informatique et constitue une référence précieuse pour un cours de méthodologie de la programmation. Il aborde les notions mathématiques de base dans le souci constant de mettre en évidence leur utilité dans les différents secteurs de l'informatique, Les cinq premiers chapitres parcourent les notions générales de calcul propositionnel et des prédicats, de combinatoire, de récurrence et de récursivité, d'arithmétique des entiers, de calcul ensembliste et relationnel, de structure ordonnée, d'algèbre de Boole. Les cinq autres chapitres sont consacrés à des sujets plus directement tournés vers des applications informatiques . étude des graphes, techniques de codage et de décodage exploitant des structures algébriques, approche de la théorie des langages formels et des automates à nombre fini d'états. Clair et. progressif, (exposé est émaillé de nombreux exemples et de graphiques. De nombreux algorithmes, présentés dans le langage lava, illustrent les manipulations des concepts rencontrés. Plus de 400 corrigés permettent au lecteur de parfaire sa compréhension et sa maîtrise des notions étudiées, et contribuent à faire de cet ouvrage un merveilleux support de formation. |
| Note de contenu : |
* Logique.
* Fondements.
* Relations.
* Fonctions.
* Structures ordonnées.
* Graphes.
* Structures algébriques.
* Codage-décodage.
* Langages formels.
* Automates finis. |
Outils mathématiques pour l'informaticien : mathématiques discrétes : cours et exercices corrigés [texte imprimé] / Marchand,Michel, Auteur . - 2 éd . - Bruxelles : De Boeck, 2005 . - 440 p. : ill. ; 24 cm. - ( Licence Maîtrise Doctorat) . ISBN : 978-2-8041-4963-5 Bibliogr. p. [429]-430. Index Langues : Français ( fre)
| Mots-clés : |
Informatique -- Mathématiques Algorithmes Codage -- Problèmes et exercices
Langages formels -- Problèmes et exercices
Ensembles, Théorie des |
| Index. décimale : |
519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. |
| Résumé : |
En quoi les maths peuvent-elles aider les étudiants en informatique ? Ce livre s'adresse à tout étudiant en premier cycle qui s'initie à (informatique et constitue une référence précieuse pour un cours de méthodologie de la programmation. Il aborde les notions mathématiques de base dans le souci constant de mettre en évidence leur utilité dans les différents secteurs de l'informatique, Les cinq premiers chapitres parcourent les notions générales de calcul propositionnel et des prédicats, de combinatoire, de récurrence et de récursivité, d'arithmétique des entiers, de calcul ensembliste et relationnel, de structure ordonnée, d'algèbre de Boole. Les cinq autres chapitres sont consacrés à des sujets plus directement tournés vers des applications informatiques . étude des graphes, techniques de codage et de décodage exploitant des structures algébriques, approche de la théorie des langages formels et des automates à nombre fini d'états. Clair et. progressif, (exposé est émaillé de nombreux exemples et de graphiques. De nombreux algorithmes, présentés dans le langage lava, illustrent les manipulations des concepts rencontrés. Plus de 400 corrigés permettent au lecteur de parfaire sa compréhension et sa maîtrise des notions étudiées, et contribuent à faire de cet ouvrage un merveilleux support de formation. |
| Note de contenu : |
* Logique.
* Fondements.
* Relations.
* Fonctions.
* Structures ordonnées.
* Graphes.
* Structures algébriques.
* Codage-décodage.
* Langages formels.
* Automates finis. |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
