diff --git a/tp/tp5.md b/tp/tp5.md index 18e6ef910013d4cd69501d6a2d5a5849f397d37a..3f0b9884ed17aaf774892bde7560cfda5c43ba05 100644 --- a/tp/tp5.md +++ b/tp/tp5.md @@ -5,7 +5,7 @@ On considère les fonctions suivantes prédéfinies en OCaml: - **`List.map: ('a -> 'b) -> 'a list -> 'b list`** Cette fonction transforme une liste en utilisant la fonction passée en paramètre pour transformer les éléments un par un. Ainsi `List.map f [x1; x2; x3; ... ]` renverra une liste égale à `[f x1; f x2; f x3; ... ]`. -- **`List.filter: ('a -> bool) -> 'a list -> 'a list`** Cette fonction transforme une liste en utilisant la fonction passée en paramètre conserver uniquement certains éléments. Ainsi `List.map f [x1; x2; x3; ... ]` renverra une liste contenant exatctement les `xi` pour lesquels `f xi` vaut `true`. +- **`List.filter: ('a -> bool) -> 'a list -> 'a list`** Cette fonction transforme une liste en utilisant la fonction passée en paramètre conserver uniquement certains éléments. Ainsi `List.filter f [x1; x2; x3; ... ]` renverra une liste contenant exatctement les `xi` pour lesquels `f xi` vaut `true`. - **`List.for_all: ('a -> bool) -> 'a list -> bool`** Cette fonction indique si une fonction renvoie vrai pour tous les éléments d'une liste. Ainsi `List.for_all f [x1; x2; x3; ... ]` renvoie `true` si pour tous les `xi`, on a `f xi` vaut `true`. ## 1.1. Utilisation des fonctions sur les listes diff --git a/tp/tp6.md b/tp/tp6.md index 4cab6c1a12a5aa17427d79d2c134f25e0b2a0551..8f75fd34c8e34a66c9e520f04c3056bc00cd4743 100644 --- a/tp/tp6.md +++ b/tp/tp6.md @@ -6,7 +6,7 @@ Lire un corrigé et (re)faire l'exercice seul (sans regarder une correction) son ## 1. Manipulations de listes -Coder l'exercice 1 du [TD5](../td/lifpf-td5-enonce.pdf), en faisant en priorité ce qui n'a pas pu être fait en sénace de TD. +Coder l'exercice 1 du [TD5](../td/lifpf-td5-enonce.pdf), en faisant en priorité ce qui n'a pas pu être fait en séance de TD. ## 2. Parcours et transformation d'arbres de recherche