Mathématiques pour l'informatique

Enregistré dans:
Détails bibliographiques
Auteur principal: Haddadi, Salim, 19..-
Support: Livre
Langue: Français
Publié: Paris : Ellipses, DL 2023.
Collection: Références sciences
Sujets:
Autres localisations: Voir dans le Sudoc
Résumé: Présentation des modèles et des méthodes mathématiques indispensables pour appréhender et analyser les problèmes informatiques : propositions logiques, ensembles, induction, coefficients du binôme, suites et séries, etc. Des exercices de difficulté variée sont proposés à la fin de chaque chapitre.
LEADER 02604nam a22003137a 4500
001 423597
008 231211t20232023xxe ||| |||| 00| 0 fre d
020 |a 9782340084247 (br.) :  |c [39 EUR] 
024 |a 9782340084247 
041 0 |a fre  |b fre 
082 |a 004.015 1  |z fre 
100 1 |a Haddadi, Salim,  |d 19..- 
245 1 0 |a Mathématiques pour l'informatique   |c Salim Haddadi. 
260 |a Paris :  |b Ellipses,  |c DL 2023. 
300 |a 1 volume (347 pages) :  |b illustrations, couverture illustrée en couleur ;  |c 24 cm. 
490 0 |a Références sciences 
500 |a Contient des exercices 
500 |a La couverture porte en plus "Licence, Master" 
504 |a Bibliographie p. [341]-342. Index 
520 |a Présentation des modèles et des méthodes mathématiques indispensables pour appréhender et analyser les problèmes informatiques : propositions logiques, ensembles, induction, coefficients du binôme, suites et séries, etc. Des exercices de difficulté variée sont proposés à la fin de chaque chapitre. 
520 |a Les modèles et méthodes mathématiques sont indispensables à l'informatique pour appréhender et analyser les problèmes auxquels elle se confronte. Cet ouvrage en présente un grand nombre. Il est destiné à un public universitaire de niveau avancé en licence et en master. Les domaines ciblés sont essentiellement : mathématiques-informatique, ingénierie, économie, management. Le livre comporte treize chapitres, à peu près d'égale importance. Les cinq premiers chapitres reviennent sur les notions élémentaires que sont les propositions logiques, les arguments et les preuves, les ensembles, les relations et les fonctions, avec quelques fois des extensions moins évidentes. Les huit derniers chapitres présentent des concepts plus évolués : l'induction, les coefficients du binôme et un grand nombre de résultats les concernant, les suites et les séries, les sommes, les relations de récurrence et leur résolution, les fonctions génératrices, la bissection récursive (connue aussi sous l'appellation "diviser et conquérir"), et les algorithmes. Plusieurs annexes sont destinées à aider à la compréhension de certains passages du livre, en proposant tantôt des rappels, tantôt de brèves introductions au sujet traité. Chaque chapitre finit par une série d'exercices de difficultés inégales. 
521 |a Licence. Master 
650 |a Informatique  |x Mathématiques 
650 |a Manuels d'enseignement supérieur 
650 |a Problèmes et exercices 
993 |a Livre 
994 |a PS 
995 |a 273761595 
997 |0 423597