La bibliothèque des bibliothèques
Détail d'une collection
Logique mathématiques informatique
|
Documents disponibles dans la collection (1)
Affiner la recherche Interroger des sources externes
| Titre : |
Mathématiques pour l'informatique |
| Type de document : |
texte imprimé |
| Auteurs : |
André Arnolld (1945-....), Auteur ; Irène Guessarian, Auteur |
| Editeur : |
Paris : Masson |
| Année de publication : |
1993 |
| Collection : |
Logique mathématiques informatique |
| Importance : |
345 p. |
| Présentation : |
graph., couv. ill. en coul. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-225-84011-1 |
| Prix : |
150 F |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Mots-clés : |
mathématiques informatique |
| Index. décimale : |
005.131 Logique symbolique (informatique) |
| Résumé : |
4ème de couverture :
Les auteurs ont rassemblé dans cet ouvrage les notions mathématiques dont la connaissance est indispensable pour les études en informatique en deuxième cycle universitaire (licence, maîtrise). Sont ainsi exposés et explicités : les principes d'induction et les définitions par récurrence ; les ensembles ordonnés et les algèbres de Boole ; une introduction à la logique avec une initiation au calcul propositionnel et au calcul des prédicats ; les suites récurrentes et les séries génératrices ; les comportements asymptotiques ; des éléments de la théorie des graphes ; les langages rationnels et les automates finis ; les probabilités discrètes , et les chaînes de Markov finies. ; De nombreux exercices corrigés permettent à l'étudiant d'assimiler effectivement ces notions et de s'entraîner éventuellement aux examens. |
Mathématiques pour l'informatique [texte imprimé] / André Arnolld (1945-....), Auteur ; Irène Guessarian, Auteur . - Paris : Masson, 1993 . - 345 p. : graph., couv. ill. en coul. ; 24 cm. - ( Logique mathématiques informatique) . ISBN : 978-2-225-84011-1 : 150 F Langues : Français ( fre) Langues originales : Français ( fre)
| Mots-clés : |
mathématiques informatique |
| Index. décimale : |
005.131 Logique symbolique (informatique) |
| Résumé : |
4ème de couverture :
Les auteurs ont rassemblé dans cet ouvrage les notions mathématiques dont la connaissance est indispensable pour les études en informatique en deuxième cycle universitaire (licence, maîtrise). Sont ainsi exposés et explicités : les principes d'induction et les définitions par récurrence ; les ensembles ordonnés et les algèbres de Boole ; une introduction à la logique avec une initiation au calcul propositionnel et au calcul des prédicats ; les suites récurrentes et les séries génératrices ; les comportements asymptotiques ; des éléments de la théorie des graphes ; les langages rationnels et les automates finis ; les probabilités discrètes , et les chaînes de Markov finies. ; De nombreux exercices corrigés permettent à l'étudiant d'assimiler effectivement ces notions et de s'entraîner éventuellement aux examens. |
|  |
Réservation
Réserver ce document
Exemplaires (1)
