Manuels

Algorithmique

  • Algorithms, Sanjoy Dasgupta, Christos Papadimitriou et Umesh Vzirani. En anglais, mais avec une présentation des notions très intuitive et de nombreux développements extrêmement intéressants.
  • Algorithmique, Thomas Cormen, Charles Leiserson, Ronald Rivest et Clifford Stein. La bible dans le domaine, un peu épais, mais contenant tout ce qu’il faut savoir et bien plus sur les structures de données et les algorithmes.

OCaml

  • Apprendre à programmer avec OCaml, Sylvain Conchon et Jean-Christophe Filliâtre. Un excellent livre pour l’option informatique dont je m’inspire beaucoup pour les cours et TP.