TD et corrigés

Dans certains des corrigés, on utilise le module Unix pour pouvoir mesurer des temps d'exécution. Si vous avez la dernière version de OCaml (4.xx), cela ne devrait pas poser de problème. Si vous utilisez une version 3.xx, il faut charger le module via [code] #load "unix.cma" [/code] si l'on utilise le top-level, ou en compilant avec la ligne de commande [code] ocamlopt unix.cmxa fichier.ml [/code] (si l'on souhaite compiler en natif).

  • Le TD 2 (programmation fonctionnelle, définition de types) et son corrigé.
  • Le TD 3 (tableaux et références, travail sur les permutations) et son corrigé.
  • Le TD 4 (expressions post-fixes) et son corrigé.
  • Le TD 5 (tri insertion, tri rapide, tri fusion) et son corrigé. Le corrigé comprend une fonction de partitionnement légèrement différente de celle suggérée par l'énoncé pour le tri rapide et peut-être un peu plus aisée à comprendre.
  • Le TD 6 (expressions arithmétiques et arbres) et son corrigé. Le dernier exercice, que personne n'a eu le temps d'aborder, n'est pas corrigé ; nous reviendrons dessus quand nous ferons l'analyse syntaxique des propositions logiques.
  • Le TD 7 (recherche du plus grand sous-tableau équilibré) et son corrigé.
  • Le TD 8 (map, fold, iter et autres idiomes fonctionnels), et son corrigé.
  • Le TD 9 (syntaxe des formules propositionnelles) et son corrigé.

Laisser un commentaire