L'informatique est une discipline désormais enseignée dans les classes préparatoires à travers une option informatique en Sup MPSI et en Spé MP. Ce manuel couvre le programme de première année en quatre grands thèmes : Interaction et récursivité . Diviser pour régner . Logique des propositions . Listes . En préliminaire, on trouvera également deux autres chapitres : une introduction générale à l'algorithmique et une description du langage Caml, l'un des deux langages retenus pour l'enseignement en classes préparatoires. Il a été choisi pour sa puissance, son élégance et sa lisibilité, mais aussi pour sa simplicité et sa bonne adaptation aux thèmes étudiés. Tout au long de l'ouvrage, la plus grande rigueur est accordée aux raisonnements : les descriptions mathématiques des objets sont reliées aux structures de données du langage de programmation. Les algorithmes sont validés et sont illustrés par de nombreux programmes en Caml. Option informatique s'adresse essentiellement aux étudiants des classes préparatoires scientifiques qui suivent l'enseignement optionnel ; il rendra aussi de grands services à tous ceux qui entreprennent l'étude de l'informatique fondamentale, que ce soit en DEUG, en licence ou pour préparer l'agrégation de mathématiques. Par ailleurs il conviendra aux enseignants de mathématiques et d'informatique.