Un cours d’informatique d’Olivier Bournez, Directeur du Laboratoire d'Informatique (Lix) de l'École Polytechnique. (262 pages pdf): http://www.enseignement.polytechnique.fr/informatique/INF412/uploads/Main/polyinf412-goodINF412.pdf