Option Informatique en MPSI / MP

Je mets sur cette page des documents que j’ai réalisés pendant les années où j’ai assuré l’enseignement de l’option informatique en MPSI (langage Caml) au lycée Saint-Louis.

Si vous téléchargez plusieurs fois le même fichier, le compteur n’est incrémenté qu’une fois.

Le chapitre 1 (63 pages) présente la syntaxe et le style de Caml.
Le chapitre 2 (58 pages) décrit et étudie des algorithmes classiques.
Le chapitre 3 (10 pages) aborde la complexité des algorithmes.
Le chapitre 4 (10 pages) aborde les preuves et l’induction.
Le chapitre 5 (21 pages) est consacré aux structures de piles et de files.
Le chapitre 6 (12 pages) étudie l’évaluation des expressions.
Le chapitre 7 (20 pages) est consacré à la logique.
Le chapitre 8 (10 pages) décrit une modélisation des circuits logiques.
On finit par une liste de 135 exercices.

Cliquez ici pour le programme de l’option informatique.

Cours Caml et exercices corrigés