| Titre : | Mathématiques pour l'informatique : avec exercices corrigés |
| Auteurs : | André Arnold, Auteur ; Irène Guessarian, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | 3e éd. |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 2001 |
| Collection : | Enseignement de l'informatique |
| ISBN/ISSN/EAN : | 978-2-225-82919-2 |
| Format : | 240 p. / 24 x 16 cm |
| Note générale : | Index |
| Langues: | Français |
| Index. décimale : | 510 (Mathématiques Ouvrages généraux, Théorie, Machines à calculer, Calcul) |
| Catégories : | |
| Mots-clés: | mathématiques ; l'informatique ; exercices ; Ensembles ordonnés |
| Résumé : |
La troisième édition de cet ouvrage est augmentée notamment des notions de base nécessaires à l'apprentissage de la programmation logique et des bases de données déductives et propose des exemples et des exercices inédits tirés de ce domaine. Elle intègre également dans ses applications la méthode des preuves de programmes par assertions de Hoare et son utilisation dans la résolution d'un problème.
|
| Note de contenu : |
Ensembles ordonnés
Récursion et induction Algèbres de Boole Logique Algèbre combinatoire et applications Suites récurrentes Séries génératrices Comportements asymptotiques Graphes et arbres Langages rationnels et automates finis Probabilités discrètes Chaînes de Markov finies Applications et exemples. |
Exemplaires (4)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC012331 | EINF00472 | Livre | Fonds propre-bibliotheque centrale | Informatique | Consultation sur place Exclu du prêt |
| TEC012332 | EINF00473 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC012333 | EINF00474 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC006510 | INF01127 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
