Ce manuel couvre la partie cours du programme de l’Option informatique de la classe de Math-Sup MPSI. Il traite d’abord les fondements mathématiques de l’Informatique (logique, récursivité, automates) puis l’algorithmique fondamentale (itération, structure de données récursives, méthodes de tris). Le langage de programmation choisi est CAML Light qui possède comme atouts non négligeables puissance et portabilité.
C’est de plus un logiciel gratuit facilement disponible. L’introduction à la programmation très progressive se fait à partir d’exemples tirés des mathématiques et ne se libère que progressivement des notations mathématiques.
La programmation est précédée de notions d’algorithmique.
Le cours lui-même est divisé en quatre grands thèmes : Intégration et récursivité, Diviser pour régner, Logique des propositions, Listes.
L’auteur a adopté une stratégie qui mise surtout sur la simplicité et l’approche par le concret. Chaque notion informatique est illustrée par des exemples mathématiques usuels.