Mathématiques pour l’informatique

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, Economie, 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.