Outils mathématiques pour l'informaticien

"En quoi les maths peuvent-elles aider les étudiants en informatique ?"

Ce livre s'adresse à tout étudiant du premier cycle qui s'initie à l'informatique et constitue une référence précieuse pour un cours de méthodologie de la programmation. Il aborde des notions mathématiques de base dans le souci constant de mettre en évidence leur utilité dans les différents secteurs de l'informatique.

Les cinq premiers chapitres parcourent les notions générales de calcul propositionnel et des prédicats, de combinatoire, de récurrence et de récursivité, d'arithmétique des entiers, de calcul ensembliste et relationnel, de structure ordonnée, d'algèbre de Boole,
etc.

Les cinq autres chapitres sont consacrés à des sujets plus directement tournés vers des applications informatiques : étude d