Vincent Barra

Cet ouvrage aborde en profondeur et de manière très illustrée l'ensemble des points du programme de MP2I et de MPI et propose ainsi :  une revue large des principaux types d'algorithmes et de leurs paradigmes. Les principes méthodologiques de ces algorithmes sont décrits, leurs implémentations en C et OCaml, les deux langages au programme, proposées, et des exemples applicatifs développés ; des notions de programmation, à la fois théoriques et pratiques, avec le développement des algorithmes en C et OCaml ;  la théorie des langages formels et leur manipulation par des automates finis ; une introduction aux bases de données et une description applicative en langage SQL ; des éléments de logique et de calcul propositionnel ; une introduction à la gestion des ressources mémoire et des problèmes de synchronisation et de concurrence dans une machine.
Pour chacune de ces parties, les notions théoriques sont introduites, les différents algorithmes et méthodes développés et de nombreux exemples viennent illustrer chaque concept. Des exercices corrigés permettent de mettre en pratique les différents éléments abordés.