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 aux formats PostScript et LaTeX (pour recompiler ce dernier il faut parfois des figures PostScript ; me les demander si besoin). Chaque sujet est accompagné de son corrigé aux formats ASCII et PostScript (ce dernier étant formatté à partir du source ASCII en utilisant a2ps).

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

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

Jean-Christophe.Filliatre@ens-lyon.fr , Jeu 27 Mar 1997 8:40:26 (formatté avec htmlpp).