Le programme officiel de l'option informatique a été publié au Bulletin officiel de l'Éducation nationale le 29 avril 2004.
Un très bon cours d'algorithmique (en français), de Beauquier, Berstel et Chrétienne, a été généreusement mis en ligne par ses auteurs sous format pdf, leur ouvrage étant aujourd'hui épuisé.
Les solutions de quelques exercices (en anglais) du célèbre cours du MIT Introduction to Algorithms, de Cormen, Leiserson et Rivest, sont disponibles en ligne — l'ouvrage est disponible en français sous le titre Algorithmique, (ISBN-13: 978-2100545261), environ 57 €.
L'ouvrage des créateurs du langage Caml est disponible au format pdf : il s'intitule tout simplement Le langage Caml.
Tous les documents ci-dessous de ce site sont, sauf mention explicite du contraire, œuvre de Laurent Chéno ; ils sont mis à disposition selon les termes de la licence Creative Commons Paternité - Pas d'Utilisation Commerciale - Partage à l'Identique 3.0 non transcrit.
| Chapitre | version pour affichage | version 4 pages/page | version 2 pages/page |
| Les récurrences combinatoires au programme | ici | ici | ici |
| Automates, langages rationnels et expressions régulières | ici | ici | ici |
| Arbres | ici | ici | ici |
| Logique propositionnelle | ici | ici | ici |
| Rappels de Caml | ici | ici | ici |
Complément sur les séries génératrices (statistique sur les nœuds classés par nombre de fils)