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.