TP d'Informatique en Caml en classes préparatoires

Les sujets qui suivent sont des TP d'Informatique donnés en classe de Mathématiques Spéciales, option Informatique (La durée de chaque TP était de 2 heures, et le langage utilisé Caml Light 0.71). Chaque sujet est fourni au format PostScript. Chaque sujet est accompagné de son corrigé au format PostScript (ce dernier étant formatté à partir du source ASCII en utilisant a2ps). Pour les sources, LaTeX ou Caml, me contacter.

Vous pouvez redistribuer ces sujets, à titre gratuit uniquement, et à condition d'en préciser l'origine.

Récupérer la totalité des sujets et leurs corrigés (fichiers PostScript, 410 k)

Plus grande complétion (PostScript / corrigé PostScript)
Arbres binaires de recherche (PostScript / corrigé PostScript)
Arithmétique et cryptographie (PostScript / corrigé PostScript)
Résolution propositionnelle (PostScript / corrigé PostScript)
Partitions d'entiers (PostScript / corrigé PostScript)
Rectangle d'aire maximale dans une grille de mots croisés (PostScript / corrigé PostScript)
Une meilleure solution à ce problème (PostScript)
Quelques algorithmes classiques sur les graphes (PostScript / corrigé PostScript)
Dessin de circuits élémentaires (PostScript / corrigé PostScript)
Algorithmes pour les jeux : stratégie min-max (PostScript / corrigé PostScript)
Application: Jeu de la reine contre les pions (ASCII / PostScript)
Tables de hachage (hash tables) (PostScript / corrigé PostScript)
Tautologies propositionnelles (méthode des IF-expressions) (PostScript / corrigé PostScript)
Compression d'images (représentation par des arbres) (PostScript / corrigé PostScript)

J'ai également rédigé des notes de cours de Master M1 d'Initiation à la programmation fonctionnelle (avec Objective Caml).

Jean-Christophe.Filliatre[at]lri.fr (formatté avec yamlpp).