[PDF] [PDF] Corrigé de lexamen de programmation fonctionnelle et logique

[PDF] Corrigé Septembre

Éléments de correction : À partir des propositions données au candidat, seules deux dates sont possibles : 1917 → entrée des EU dans la Première Guerre 

[PDF] Corrigé de lexamen de programmation fonctionnelle et logique

Corrigé de l'examen de programmation fonctionnelle et logique Lundi 10 septembre 2001, 14H00-17H00 Remarques et commentaires : – Commencez par lire 

[PDF] Corrigé ANALYSE - Licence de mathématiques Lyon 1 - Université

Université Claude Bernard - Lyon 1 26 septembre 2016 Corrigé 1 La fonction sous l'intégrale est continue sur ]0, ∞[ donc elle est intégrable sur tout 

[PDF] Université Claude Bernard - Lyon 1 L1 - Analyse 1 Corrigé du

Université Claude Bernard - Lyon 1 L1 - Analyse 1 Corrigé du contrôle du 26 septembre 2013 Question 1 — [2 pt] Comme sin(x) = 0 si et seulement si x est un  

[PDF] Annales officielles SUJETS • CORRIGÉS - PGE PGO

Limoges, Lyon, Marseille, Metz, Montpellier, Nouvelle-Calédonie, Paris, Pau, Poitiers Le cannabis favoriserait schizophrénie et dépression (septembre 2003 )

[PDF] Annales officielles SUJETS • CORRIGÉS - PGE PGO

Dijon, Grenoble, Le Havre, Lille, Londres, Lyon, Marseille, Metz, Montpellier, Baz'Art (Le Monde du 18 septembre), seule véritable création de la manifestation  

[PDF] Corrigé exercice 7 document commerciaux - 13 - LORGANISATION

29 jui 2019 · 69001 LYON Tél : 04 78 57 55 62 – Fax : 04 78 57 55 63 Team Sport 25 rue de gerland 69005 LYON Lyon, Le 15 septembre 2020

[PDF] Lyon, au coeur du système métropolitain rhônalpin - Insee

N° 205 - septembre 2013 Ce numéro de La Lettre-Analyses est téléchargeable à partir du site Internet www insee fr/rhone-alpes, à la rubrique « Publications »

[PDF] BAC PRO Hygiène Propreté Stérilisation - INHNI

[PDF] BAC PRO Hygiène Propreté Stérilisation - INHNI

[PDF] BAC PRO Hygiène Propreté Stérilisation - INHNI

[PDF] BAC PRO Hygiène Propreté Stérilisation - INHNI

[PDF] BAC PRO Hygiène Propreté Stérilisation - INHNI

[PDF] BAC PRO Hygiène Propreté Stérilisation - INHNI

[PDF] je gagne en - CCI La Réunion

[PDF] fiche d 'évaluation et de notation LV1 - Educationgouv - Ministère de

[PDF] Baccalauréat Professionnel - Eduscol

[PDF] l 'électricité et ses environnements connectés - Onisep

[PDF] Bac Professionnel plastiques et composites - Eduscol - Ministère de

[PDF] PRÉVENTION SANTÉ ENVIRONNEMENT CORRIGÉ Session 2016

[PDF] Baccalauréat professionnel #8220 Services aux personnes et - ChloroFil

[PDF] Référentiels de formation SAPAT - Cneap

[PDF] corrige - Economie et gestion

Lundi10septembre2001,14H00-17H00

Remarquesetcommentaires:

Rappels

-#List.iter;; -:('a->unit)->'alist->unit= -#List.map;; -:('a->'b)->'alist->'blist= -#List.fold_left;; -:('a->'b->'a)->'a->'blist->'a=

List.fold

-#List.fold_right;; -:('a->'b->'b)->'alist->'b->'b=

List.fold

Quelquesfonctionsdebases

-Concat´enationdedeuxlistes: #[1;2]@[3;4];; -:intlist=[1;2;3;4] -Testd'´egalit´e: #letfab=(a=b);; valf:'a->'a->bool= -Conversiond'unr´eelenentier: #int_of_float;; -:float->int=-etlogique: #true&false;; -:bool=false -oulogique: #trueorfalse;; -:bool=true

Exercice1:typaged'expressionsOcaml

Donnezletypedesexpressionssuivantes.

1.#letrecfxyz=ifx>2.3thenyelsez;;

#f;; -:float->'a->'a->'a=

2.#letrecfxyz=matchxwith

t::r->yt(fryz) |_->z;; 1 #f;; -:'alist->('a->'b->'b)->'b->'b=

3.#exceptionProbl`

emeoffloat;; #letrecabcd= try matchbwith t::r->if(ctd)thenarcd elseraise(Probl` emet) |[]->d withProbl` emef->int_of_floatf;; #a;; mˆemedessert.

1.Constructiondesmenus.

voirl'exempled'utilisationci-dessous!). i. #letrecexplose=function |t::r->[t]@(exploser);; valexplose:'alist->'alist= ii. #letexplosel=

List.map(functionx->[x])l;;

valexplose:'alist->'alistlist=

Exempled'utilisation:

#explose[1;2;4;5;6];; -:intlistlist=[[1];[2];[4];[5];[6]] xentˆetedechacunedeslistesdell. #letrec´ etend_listesx=function |t::r->(x::t)::(´ etend_listesxr);; val #let´ etend_listesxl=

List.map(functiony->x::y)l;;

val

Exempled'utilisation:

etend_listes3[[1;2];[4];[5;6]];; -:intlistlist=[[3;1;2];[3;4];[3;5;6]] 2

´Ecrivezunetellefonction.

i. #letrecrallonge_listesab=matchawith |t::r->(´ etend_listestb)@(rallonge_listesrb);; ii. #letrecrallonge_listesab= etend_listesxb)@y) a

Exempled'utilisation:

#rallonge_listes[1;2][[3];[4;5]];; (d) #letcombine_trois_listesabc= #letsemainel= l(explosel))));; valsemaine:'alist->'alistlist= contraire. #exceptionRedondants;; exceptionRedondants #letnonredondantsmn= match(m,n)with ([a;b;c],[d;e;f])->ifa=dorb=eord=f thenraiseRedondants elsetrue |_->failwith"Mauvaisargumentspour nonredondants";;

Exempled'utilisation:

#nonredondants ["Goug eresauxdeuxc´ eleris";"Filetsdebondelle` alaneuchˆ atelloise"; "Rozenn al'orangesaucementhol´ ee"] ["Potage otedeboeufrˆ otie` ala 3 bouqueti` ere";"Demi-fraise` alamaltaise"];; -:bool=true #nonredondants ["Souffl edecervelle` "Bordurederiz` alaMontmorency"] ["Souffl edecervelle` alachanoinesse";"Fricandeaudeveau` al'oseille"; "CroquetsdeBar-sur-Aube"];;

Exception:Redondants.

(question3). exc,d´eclencheuneexceptionencas i. #letrecsansredondances_excm=function []->true ii. #letsansredondances_excml=

List.fold_right

l true;;

Exempled'utilisation:

#sansredondances_exc ["Goug eres";"Filetsdebondelle";"Rozenn"] [["Potage";"C otedeboeuf";"Demi-fraise"]; ["Souffl e";"Dindonneau";"Bordurederiz"]];; -:bool=true #sansredondances_exc ["Goug eres";"Filetsdebondelle";"Rozenn"] [["Goug eres";"Cˆ otedeboeuf";"Demi-fraise"]; ["Souffl e";"Dindonneau";"Bordurederiz"]];;

Exception:Redondants.

bool,renvoieunevaleurbool´eenne i. #letrecsansredondances_boolm=function []->true &(sansredondances_boolmr);; ii. #letsansredondances_boolml=

List.fold_right

(functionx->functiony-> l true;; 4

Exempled'utilisation:

#sansredondances_bool ["Goug eres";"Filetsdebondelle";"Rozenn"] [["Potage";"C otedeboeuf";"Demi-fraise"]; ["Souffl e";"Dindonneau";"Bordurederiz"]];; -:bool=true #sansredondances_bool ["Goug eres";"Filetsdebondelle";"Rozenn"] [["Goug eres";"Cˆ otedeboeuf";"Demi-fraise"]; ["Souffl e";"Dindonneau";"Bordurederiz"]];; -:bool=false bool,unefonction`a semainen'estpasredondant. #letrecmenusansredondances=function []->true redondants. (a) #letrecsemainesnonredondantes=function |t::r->if(menusansredondancest) thent::(semainesnonredondantesr) else(semainesnonredondantesr);; fun> (b) #letsemainesnonredondantesl=

List.fold_right(functionx->functiony->

if(menusansredondancesx)thenx::yelsey) l fun> redondants. #lettouslesmenusnonredondantsabc= valtouslesmenusnonredondants: 1. appartient(X,[X| appartient(X,[ |R]):-appartient(X,R). 5 appartient(X,[X|]):-!. appartient(X,[ |R]):-appartient(X,R). lalisteZ. menussurlasemaine(X,Y,Z,[A,B,C,D,E]):- (a)

´Ecrivezlepr´edicatnonredondants.

(b) redondants([A, ,],[D,,]). redondants([ ,B,],[,E,]). redondants([ ,,C],[,,F]). redondants([A, ,],[D,,]):-!. redondants([ ,B,],[,E,]):-!. redondants([ ,,C],[,,F]). (d) nonredondants(A,B).

6.Nonredondanced'unmenusurlasemaine.

(a) menuetliste(A,[]). 6 listenonredondantes([]). menusurlasemainenonredondant(A,B,C,M):- menusurlasemainenonredondant(A,B,C,M):- 7quotesdbs_dbs18.pdfusesText_24