Informatique MP2I / MPI Le nouveau programme d'informatique de la classe préparatoire MPI a pour ambition de former « des ingénieures et ingénieurs, enseignantes et enseignants, chercheuses et chercheurs, capables de gouverner leur vie professionnelle et citoyenne nourrie par les pratiques de la démarche scientifique, en pleine connaissance et maîtrise des techniques et des enjeux de l'informatique ».Avec cet objectif en tête, le présent 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.