Option informatique

Programme officiel de l'option informatique (classes de MPSI-MP-MP*)

Renseignements sur le concours Informatique des Ecoles Normales Supérieures

Sujets Info et Maths-Info des ENS de 2002 a 2007

Transparents de révision du langage Caml (syntaxe, tris, piles LIFO et FIFO)

Implémentation Caml des listes chainées et doublement chainées

Implémentation Caml des listes chainées circulaires

Cours de l'option informatique en MPSI (version provisoire, sans figures)

Cours de l'option informatique en MP-MP* (version provisoire, sans figures)

Cours sur les automates (version provisoire)

Transparents sur les automates

Quelques programmes sur les automatesLangages non reconnaissables par automates finis (lemmes de pompage)

Transparents sur la logique

Exemples de problèmes logiques résolus avec Maple

Transparents sur les relations de récurrence intervenant en complexité

Cours sur les arbres (2007)

Cours sur les expressions algébriques (version provisoire)

Transparents sur les expressions algébriques