Il est recomander d'utiliser stackblitz pour faire se sujet
- Créez un fichier nommé
fleurs.data.tscontenant le code suivant :
export type FleurType = 'jacinthe' | 'renoncule' | 'myosotis';Il est recomander d'utiliser stackblitz pour faire se sujet
fleurs.data.ts contenant le code suivant :export type FleurType = 'jacinthe' | 'renoncule' | 'myosotis';graph TD
Répository-->Controler;
Controler-->Répository;
Controler-->Modèle;
Modèle-->Controler;
Controler-->Vue;
Vue-->Controler;
Modèle-->Vue;| % Specification : | |
| % existe/2 | |
| % existe(P,L) est vrai si est seulement si il existe | |
| % un element E appartenant à la liste L qui n'est pas un element de P(E) vrai | |
| % avec L une liste quelconque | |
| % Exemples : | |
| % > existe(fun(E)->E>0 end,[-3,0,-2]). | |
| % false | |
| % |
| % Réaliser la fonction de dépliment en unités | |
| % Spécification : | |
| % depl(L) est la liste obtenue en "déplissant en unités" de L, | |
| % liste d'entiers naturels supérieurs à 0 | |
| % Exemple : | |
| % > depl([2,0,1]). | |
| % [1,1,1] | |
| % | |
| % > depl([2,1]). |
| % Spec : | |
| % supprDbl(L) est la liste obtenue en supprimant les doublons de L | |
| % On ne garde que la derniere occurence d'un element dans L | |
| % Exemple : | |
| % > supprDbl([1,2,3,3,2,1]) | |
| % [1,2,3] | |
| % Réalisation | |
| % 1) L=[] |
| % Spec : mini/1 | |
| % mini(L) renvoie le minimum de L | |
| % | |
| % Exemple : | |
| % mini([1,2,3]) = 1 | |
| % mini([3,1,2]) = 1 | |
| % Analyse | |
| % sur L : 2 cas | |
| % 1) L = [] : le minimum non défini (Pas de clause pour le cas 1) |
| % Implementer : | |
| % Spec : inv/1. | |
| % inv(L) renvoie la liste inverse de L | |
| % | |
| % Exemple : | |
| % inv([1,2,3]) = [3,2,1] | |
| % Analyse | |
| % sur L : 2 cas | |
| % 1) L = [] : dans se cas renvoie d'une liste vide |
| % Spec : flat/1 | |
| % flat(L) vas concatener toutes les sous listes de L | |
| % On supose ici que L est une liste de listes | |
| % | |
| % Exemple : | |
| % flat([[1,2],[3,4],[5,6]]) = [1,2,3,4,5,6] | |
| % Analyse | |
| % | |
| % flat(L)? |
| % Spec : sequ/1 | |
| % sequ(X) est la liste des entiers de 1 à X | |
| % Si X>=1, [] sinon | |
| % | |
| % Exemple : | |
| % sequ(3) = [1,2,3] | |
| % sequ(0) = [] | |
| % Analyse sur X : 2 cas | |
| % 1) X = 0 : dans se cas renvoie d'une liste vide |
| % Spéc et implementation d'une fonction qui de suppresion d'un élément dans une liste. | |
| % | |
| % Deux interpretations possibles : | |
| % 1 : On supprime l'élément E dans la liste L | |
| % 2 : On supprime tous les éléments E dans la liste L | |
| % | |
| % Spéc : suppr1(X,L) = X\{L}, seulement la première occurence de X dans L | |
| % Exemple: | |
| % suppr1(2,[1,2,3,2]) = [1,3,2] |