mrsolarius

La prairie champetere

L3 MIAGE GRENOBLE - aide à la révision

Il est recomander d'utiliser stackblitz pour faire se sujet

1. Créez un fichier nommé fleurs.data.ts contenant le code suivant :

export type FleurType = 'jacinthe' | 'renoncule' | 'myosotis';

mrsolarius

graph TD
    Répository-->Controler;
    Controler-->Répository;
    Controler-->Modèle;
    Modèle-->Controler;
    Controler-->Vue;
    Vue-->Controler;
    Modèle-->Vue;

mrsolarius

% 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
%

mrsolarius

% 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]).

mrsolarius

% 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=[] 

mrsolarius

% 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)

mrsolarius

% 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

mrsolarius

% 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)?

mrsolarius

% 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

mrsolarius

% 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]