SESSION 2013 MPIN007! INFORMATIQUE. Durée : 3 heures!

Dimension: px
Commencer à balayer dès la page:

Download "SESSION 2013 MPIN007! INFORMATIQUE. Durée : 3 heures!"

Transcription

1 SESSION 2013 MPIN007 EPREUVE SPECIFIQUE - FILIERE MP " INFORMATIQUE Durée : 3 heures " N.B. : Le cndidt ttcher l plus grnde importnce à l clrté, à l précision et à l concision de l rédction. Si un cndidt est mené à repérer ce qui peut lui sembler être une erreur d énoncé, il le signler sur s copie et devr poursuivre s composition en expliqunt les risons des inititives qu il été mené à prendre. " " Les clcultrices sont interdites PREAMBULE : les trois prties qui composent ce sujet sont indépendntes et peuvent être tritées pr les cndidts dns un ordre quelconque. Pour les cndidts ynt utilisé le lngge CML dns le cdre des enseignements d informtique, l prtie III (Algorithmique et progrmmtion en CML) se situe en pge 6. Pour les cndidts ynt utilisé le lngge PASCAL dns le cdre des enseignements d informtique, l prtie III (Algorithmique et progrmmtion en PASCAL) se situe en pge 13. 1/21

2 Prtie I : logique et clcul des propositions Lors d une sénce d un jeu informtique dérivé de l mythologie grecque, vous êtes ccompgné pr un couple de Sphinx. Ces crétures posent des énigmes logiques pour vous ider à progresser dns le jeu. Les énigmes suivent une règle que les Sphinx respectent scrupuleusement. Lorsque les Sphinx énoncent cette règle, ils disent toujours l vérité. Le premier Sphinx qui vous ccompgne énoncé l règle suivnte : «Dns les énigmes, je peux soit dire l vérité, soit mentir. Mis, pour une énigme donnée, l première et l dernière de mes ffirmtions seront de l même nture (soit vérité, soit mensonge) ; et toutes les utres ffirmtions seront de l nture opposée à ces deux là (mensonge, respectivement vérité, si les premières et dernières sont des vérités, respectivement des mensonges)». Le second Sphinx énoncé l règle suivnte : «Je suivris l même règle que mon compgnon». Question I.1 Considérons que l un des Sphinx fit une suite de n déclrtions A i dns une même énigme, proposer une formule du clcul des propositions qui représente l règle qu il respecte. Vous vous retrouvez fce à trois escliers, l un à guche, l utre à droite et le dernier u milieu entre les deux utres. Le premier Sphinx P énonce les ffirmtions suivntes : l esclier de guche est sûr, l esclier du milieu est sûr ou celui de droite n est ps sûr. Le second Sphinx S énonce les ffirmtions suivntes : ni l esclier de guche, ni celui du milieu ne sont sûrs, si les escliers de guche ou de droite sont sûrs, lors l esclier du milieu est sûr. Nous noterons G, M et D les vribles propositionnelles ssociées u fit que les escliers de guche, du milieu et de droite sont sûrs. Nous noterons P 1 et P 2, respectivement S 1 et S 2, les formules propositionnelles ssociées ux déclrtions du premier Sphinx, respectivement du second Sphinx. Question I.2 Représenter les déclrtions des deux Sphinx sous l forme de formules du clcul des propositions P 1, P 2, S 1 et S 2 dépendnt des vribles G, M et D. Question I.3 Appliquer l règle respectée pr les Sphinx que vous vez proposée pour l question I.1. Nous noterons P, respectivement S, l formule du clcul des propositions dépendnt des vribles P 1 et P 2, respectivement S 1 et S 2, qui correspond u respect de l règle pr le premier Sphinx, respectivement le second Sphinx, dns cette énigme. Nous noterons R l formule du clcul des propositions dépendnt des vribles P et S qui décrit le respect globl des règles pr les deux Sphinx dns cette énigme. Question I.4 En utilisnt le clcul des propositions (résolution vec les tbles de vérité), déterminer quel est (ou quels sont) le (ou les) esclier(s) qui est (ou sont) sûr(s)? Vous indiquerez explicitement les résultts intermédiires correspondnt ux formules P 1, P 2, P, S 1, S 2 et S. Vous vous retrouvez plus trd fce à trois portes de couleurs rouge, verte et bleu. Seul le premier Sphinx s exprime et énonce les ffirmtions suivntes : l porte rouge n est ps sûre ou l porte verte est sûre, si les portes rouge et verte sont sûres lors l porte bleue n est ps sûre, 2/21

3 l porte verte n est ps sûre mis l porte bleue est sûre. Nous noterons P 3, P 4 et P 5 les formules propositionnelles ssociées ux déclrtions du premier Sphinx. Nous noterons R, V et B les vribles propositionnelles ssociées u fit que les portes rouge, verte et bleue sont sûres. Question I.5 Représenter les déclrtions du Sphinx sous l forme de formules du clcul des propositions P 3, P 4 et P 5 dépendnt des vribles R, V et B. Question I.6 Appliquer l règle respectée pr le premier Sphinx que vous vez proposée pour l question I.1. Nous noterons P, l formule du clcul des propositions dépendnt des vribles P 3, P 4 et P 5 qui correspond u respect de l règle pr le premier Sphinx dns cette énigme. Question I.7 En utilisnt le clcul des propositions (résolution vec les formules de De Morgn), déterminer quelle est (ou quelles sont) l (ou les) porte(s) qui est (ou sont) sûre(s). Prtie II : utomtes et lngges Le but de cet exercice est l étude des propriétés des opértions de dérivtion à guche m 1.A et à droite A.m 1 d un utomte fini A selon un mot m. 1 Automte fini complet déterministe Pour simplifier les preuves, nous nous limiterons u cs des utomtes finis complets déterministes. Les résultts étudiés s étendent u cdre des utomtes finis quelconques. 1.1 Représenttion d un utomte fini complet déterministe Déf. II.1 (Automte fini complet déterministe) Soit l lphbet X (un ensemble de symboles), soit Λ le symbole représentnt le mot vide (Λ X), soit X l ensemble contennt Λ et les mots composés de séquences de symboles de X (donc Λ X ) ; un utomte fini complet déterministe sur X est un quintuplet A =(Q,X,i,T,δ) composé : d un ensemble fini d étts : Q ; d un étt initil : i Q ; d un ensemble d étts terminux : T Q ; d une fonction totle de trnsition confondue vec son grphe : δ Q X Q. Pour une trnsition δ(o, e) =d donnée, nous ppelons o l origine de l trnsition, e l étiquette de l trnsition et d l destintion de l trnsition. 1.2 Représenttion grphique d un utomte Les utomtes peuvent être représentés pr un schém suivnt les conventions : les vleurs de l fonction totle de trnsition δ sont représentées pr un grphe orienté dont les nœuds sont les étts et les rêtes sont les trnsitions ; un étt initil est entouré d un cercle i ; un étt terminl est entouré d un double cercle t ; 3/21

4 un étt qui est à l fois initil et terminl est entouré d un triple cercle it ; une rête étiquetée pr le symbole e X v de l étt o à l étt d si et seulement si δ(o, e) =d. Exemple II.1 L utomte E =(Q,X,i,T,δ) vec : Q = {A,B,C,D,E} X = {, b} i = A T = {D} δ(a, ) =B δ(b, ) =C δ(c, ) =E δ(d, ) =C δ(e,)=e δ(a, b) =C δ(b, b) =B δ(c, b) =D δ(d, b) =E δ(e,b)=e est représenté pr le grphe suivnt : A b b B C E b b D,b 1.3 Lngge reconnu pr un utomte fini déterministe Soit δ l extension de δ à Q X Q définie pr : q Q, δ (q, Λ) = q e X, m X, o Q, d Q, δ (o, e.m) =d q Q, (δ(o, e) =q) (δ (q, m) =d). Soit X un lphbet, un lngge sur X est un sous-ensemble de X. Le lngge sur X reconnu pr un utomte fini déterministe est : L(A) ={m X d T, δ (i, m) =d}. Notons que certins étts et trnsitions ne sont ps utiles dns l description d un lngge cr ils ne permettent ps d ller de l étt initil à un étt terminl. Exemple II.2 Le sous-utomte de E (exemple II.1) composé des étts et trnsitions utiles est représenté pr le grphe suivnt : A b b B C b D 4/21

5 Question II.1 Donner, sns l justifier, une expression régulière ou ensembliste représentnt le lngge sur X = {, b} reconnu pr l utomte E de l exemple II.1. 2 Opértions de dérivtion 2.1 Définitions Soient les opértions internes sur les utomtes finis complets déterministes définies pr : Déf. II.2 (Dérivées selon un mot) Soient A =(Q,X,i,T,δ) un utomte fini complet déterministe et m X, les utomtes m 1.A (dérivtion à guche selon m) et A.m 1 (dérivtion à droite selon m) sont définis pr : m 1.A =(Q,X,δ (i, m),t,δ) A.m 1 =(Q,X,i,{q Q t T,t = δ (q, m)},δ). Question II.2 En considérnt l exemple II.1, construire les utomtes.b 1.E, b 1.E, E. 1 et E..b 1 (seuls les étts et les trnsitions utiles, c est-à-dire ccessibles depuis les étts initiux, devront être construits). Question II.3 Crctériser les lngges reconnus pr.b 1.E, b 1.E, E. 1 et E..b 1, pr une expression régulière ou ensembliste. 2.2 Propriétés Question II.4 Montrer que : si A est un utomte fini complet déterministe et si m X est un mot, lors m 1.A et A.m 1 sont des utomtes finis complets déterministes. Question II.5 Montrer que : m X, n X, o Q, q Q, d Q, q = δ (o, m) d = δ (q, n) d δ (o, m.n). Question II.6 Soit A un utomte fini complet déterministe, montrer que : { m X, n X,n L(m 1.A) m.n L(A) m X, n X,m L(A.n 1 ) m.n L(A). 5/21

6 Prtie III : lgorithmique et progrmmtion en CML Cette prtie doit être tritée pr les étudints qui ont utilisé le lngge CML dns le cdre des enseignements d informtique. Les fonctions écrites devront être récursives ou fire ppel à des fonctions uxiliires récursives. Elles ne devront ps utiliser d instructions itértives (c est-à-dire for, while,...) ni de références. 1 Exercice : le tri rpide L objectif de cet exercice est d étudier une implnttion prticulière d un lgorithme de tri d une séquence d entiers et d en proposer une évolution pour méliorer ses performnces dns le pire cs. Déf. III.1 Une séquence s de tille n de vleurs v i vec 1 i n est notée v n,...,v 1. S tille n est notée s. Une même vleur v peut figurer plusieurs fois dns s, nous noterons crd(v, s) le crdinl de v dns s, c est-à-dire le nombre de fois que v figure dns s vec : crd(v, v n,...,v 1 )=crd{i N 1 i n, v = v i }. Le type entiers représente une séquence d entiers. Le type triplet représente un triplet contennt une première séquence d entiers située à guche du triplet, puis un entier situé u milieu du triplet et enfin une seconde séquence d entiers située à droite du triplet. Les définitions de ces types sont : type entiers == int list;; type triplet == entiers * int * entiers;; Soit le progrmme en lngge CML : let rec eclter e l = mtch l with [] -> ([], e, []) t::q -> let (g, v, d) = (eclter e q) in if (t <= v) then (t::g, v, d) else (g, v, t::d);; let rec trier l = mtch l with [] -> [] t::q -> let (g, v, d) = (eclter t q) in ((trier d)));; Soit l constnte exemple définie et initilisée pr : let exemple = [ 3; 1; 4; 2];; 6/21

7 Question III.1 Détiller les étpes du clcul de (trier exemple) en précisnt pour chque ppel ux fonctions eclter et trier, l vleur du prmètre et du résultt. Déf. III.2 (Symbole de Kronecker) Soient deux vleurs v 1 et v 2, le symbole de Kronecker δ est une fonction δ(v 1,v 2 ) égle à l vleur 1 si v 1 et v 2 sont égles et à l vleur 0 sinon. Question III.2 Soient les entiers e et v, soient les séquences d entiers p = p n,...,p 1 de tille n, g = g r,...,g 1 de tille r et d = d s,...,d 1 de tille s, telles que (g,v,d) = (eclter e p), montrer que : () i, 1 i n, δ(p i,e)+crd(p i,p)=crd(p i,g)+δ(p i,v)+crd(p i,d) (b) 0 s n (c) 0 r n (d) n = s + r (e) i, 1 i r, g i v (f) i, 1 i s, v < d i Question III.3 Soit l séquence p = p m,...,p 1 de tille m, soit l séquence r = r n,...,r 1 telle que r = (trier p), montrer que : () m = n (b) i, 1 i m, crd(p i,r)=crd(p i,p) (c) i, 1 i < n, r i r i+1 Question III.4 Montrer que le clcul des fonctions eclter et trier se termine quelles que soient les vleurs de leurs prmètres respectnt le type des fonctions. Question III.5 Donner des exemples de vleurs du prmètre s de l fonction trier qui correspondent ux meilleur et pire cs en nombre d ppels récursifs effectués. Montrer que l complexité dns les meilleur et pire cs de l fonction trier en fonction du nombre de vleurs dns les séquences données en prmètre sont respectivement de O( s ln( s )) et O( s 2 ). Cette estimtion ne prend en compte que le nombre d ppels récursifs effectués. L complexité dns le pire cs de l fonction trier peut être rmenée à celle du meilleur cs pr une modifiction simple de l fonction eclter. Question III.6 Ecrire une nouvelle version de l fonction eclter telle que l complexité dns le pire cs de l fonction trier soit égle à s complexité dns le meilleur cs. Question III.7 Prouver que cette nouvelle version de l fonction eclter stisfit les propriétés énoncées dns l question III.2. 2 Problème : représenttion de dictionnire vec des rbres Ptrici L utilistion de dictionnires joue un rôle prépondérnt dns l nlyse utomtique d informtions en lngge nturel. Il est donc essentiel de pouvoir exploiter ceux-ci efficcement dns des progrmmes, c est-à-dire de pouvoir tester rpidement si un mot fit prtie d un dictionnire, tout en minimisnt l occuption en mémoire de l représenttion informtique du dictionnire. L objectif de ce problème est l étude des rbres Ptrici (Prcticl Algorithm To Retrieve Informtion Coded In Alphnumeric ce qui signifie lgorithme prtique pour retrouver des informtions codées pr des crctères lphnumériques) introduit pr D. Morisson et G. Gwehenberger pour réduire l tille des rbres lexicogrphiques qui permettent un test d pprtennce rpide. 7/21

8 2.1 Préliminires : mots et séquence de mots Un dictionnire contient une séquence de mots composés de crctères. Déf. III.3 (Mot) Un mot m est une séquence de tille n de crctères c i vec 1 i n. Il est noté c n,...,c 1. S tille n est notée m. Un mot est représenté pr le type mot dont l définition est : type mot == chr list;; Nous supposons prédéfinie l fonction length : mot -> int telle que l ppel (length m) sur un mot m renvoie l vleur entière m. Son clcul se termine quelle que soit l vleur de son prmètre. Exemple III.1 L expression suivnte : [ f ; ; c ; e ] est lors ssociée u mot fce. Déf. III.4 (Séquence de mots) Une séquence s de tille n de mots m i vec 1 i n est notée m n,...,m 1. S tille n est notée s. Une séquence de mots est représentée pr le type mots dont l définition est : type mots == mot list;; Nous supposons prédéfinie l fonction length : mots -> int telle que l ppel (length s) sur l séquence s renvoie l vleur entière s. Son clcul se termine quelle que soit l vleur de son prmètre. Exemple III.2 L expression suivnte : [ [ ; s ] ; [ f ; ; c ; e ] ; [ l ; ] ] est lors ssociée à l séquence de mots s, fce, l Distinction de deux mots L structure des rbres Ptrici impose de distinguer et clsser les mots pr leur premier crctère. Question III.8 Ecrire en CML une fonction distinguer de type mot -> mot -> bool telle que l ppel (distinguer m1 m2) sur deux mots m1 et m2 renvoie l vleur true si m1 et m2 ne sont ps vides et si le premier crctère de m1 est strictement plus petit que le premier crctère de m2 et l vleur flse sinon. 8/21

9 2.1.2 Ajout d un préfixe dns une séquence de mots L extrction de l ensemble des mots représentés pr un rbre Ptrici repose sur l jout d un préfixe à l ensemble des mots représentés pr les sous-rbres de chque noeud. Question III.9 Ecrire en CML une fonction prefixer de type mot -> mots -> mots telle que l ppel (prefixer m s) sur un mot m et une séquence de mots s renvoie une séquence de mots contennt les mêmes mots que s préfixés pr le mot m. L lgorithme utilisé ne devr prcourir qu une seule fois l séquence s. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives. Question III.10 Clculer une estimtion de l complexité de l fonction prefixer en fonction du nombre d éléments de l séquence de mots s. Cette estimtion ne prendr en compte que le nombre d ppels récursifs effectués. 2.2 Arbres lexicogrphiques et Arbres Ptrici Les rbres lexicogrphiques sont des rbres n-ires utilisés pour représenter des dictionnires et, plus générlement, des ensembles de mots. Les liens entre deux noeuds consécutifs dns l rbre, c est-àdire entre un noeud père et un noeud fils, sont étiquetés pr un crctère. L séquence des crctères qui étiquettent les liens le long d un chemin de l rcine de l rbre jusqu à un noeud forme donc un mot. Un noeud peut être terminl si le mot qui conduit de l rcine à ce noeud est un mot du dictionnire, ou non-terminl si ce mot n est qu un préfixe d un mot du dictionnire. Exemple III.3 (Arbre lexicogrphique) Voici un exemple d rbre lexicogrphique représentnt le dictionnire contennt les mots : s, f, fble, fcile et l. Les noeuds terminux, respectivement non terminux, sont de couleur noire, respectivement blnche : s b l f e c l i e l e Dns les rbres Ptrici, les liens entre noeuds sont étiquetés pr des mots u lieu de crctères. Les chemins entre deux noeuds ne contennt ucun brnchement sont lors remplcés pr un lien unique étiqueté pr le mot composé des crctères étiquetnt le chemin complet dns l rbre lexicogrphique contennt églement ce mot. 9/21

10 Exemple III.4 (Arbre Ptrici) Voici un exemple d rbre Ptrici représentnt le même dictionnire que l exemple III.3. Les noeuds terminux, respectivement non terminux, sont de couleur noire, respectivement blnche : s ble f c l e ile Déf. III.5 (Arbre Ptrici) Un rbre Ptrici est composé de noeuds qui peuvent être terminux ou non-terminux. L ensemble des noeuds de l rbre Ptrici est noté N (), l ensemble des noeuds terminux est noté T (). L rcine de l rbre Ptrici est un noeud. Chque noeud n N() est composé d une séquence éventuellement vide de p fils f i N() notée F(n) = f p,...,f 1 vec p N et d une séquence éventuellement vide de p étiquettes ssociées m i notée E(n) = m p,...,m 1 qui sont des mots. Un rbre Ptrici est vlide si et seulement si : un noeud n qui ne possède ps de fils est terminl ; le noeud situé à l rcine de l rbre est non terminl suf s il ne possède ucun fils ; les étiquettes de chque noeud doivent être distinctes et ordonnées de mnière croissnte selon l reltion définie dns l question III.8. Question III.11 Exprimer le fit qu un rbre Ptrici est vlide sous l forme d une propriété V AP (). Nous noterons < l reltion définie dns l question III.8. Un rbre Ptrici est représenté pr le type ptrici et le type uxiliire fils. Le type fils représente l séquence des fils et étiquettes ssociées d un noeud, c est-à-dire une liste de pires contennt un élément de type mot et un élément de type ptrici. Les définitions en CML de ces types sont : type ptrici = Noeud of bool * fils nd fils == (mot * ptrici) list;; Dns l ppel Noeud(fin, fils), les prmètres fin et fils sont respectivement un drpeu booléen qui indique si le noeud est terminl, ou non terminl et l liste des fils et étiquettes ssociées de ce noeud de l rbre. Chque élément de cette liste est une pire contennt d une prt le mot qui étiquette le lien entre le noeud et son fils, et d utre prt le fils. 10/21

11 Exemple III.5 L expression suivnte : let mot_s = [ ; s ] in let mot_f = [ f ; ] in let mot_ble = [ b ; l ; e ] in let mot_c = [ c ] in let mot_e = [ e ] in let mot_ile = [ i ; l ; e ] in let mot_l = [ l ; ] in Noeud(flse, [ ( mot_s, Noeud(true, [])) ; ( mot_f, Noeud(true, [ ( mot_ble, Noeud(true, [])) ; ( mot_c, Noeud(flse, [ ( mot_e, Noeud(true, [])) ; ( mot_ile, Noeud(true, [])) ])) ])) ; ( mot_l, Noeud(true, [])) ]) est lors ssociée à l rbre Ptrici représenté grphiquement dns l exemple III.4 (pge 10) Crétion d un rbre Ptrici Question III.12 Ecrire en CML une fonction creer de type mot -> ptrici telle que l ppel (creer m) sur un mot m renvoie un rbre Ptrici vlide contennt uniquement le mot m Clcul du nombre de mots contenus dns un rbre Ptrici Question III.13 Ecrire en CML une fonction compter de type ptrici -> int telle que l ppel (compter ) sur un rbre Ptrici vlide renvoie le nombre de mots contenus dns l rbre. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives. 11/21

12 2.2.3 Extrction des mots contenus dns un rbre Ptrici Question III.14 Ecrire en CML une fonction extrire de type ptrici -> mots telle que l ppel (extrire ) sur un rbre Ptrici vlide renvoie une séquence de mots contennt les mêmes mots que l rbre. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives Vlidtion d un rbre Ptrici Question III.15 Ecrire en CML une fonction vlider de type ptrici -> bool telle que l ppel (vlider ) sur un rbre Ptrici renvoie l vleur true si l rbre Ptrici est vlide, c est-à-dire si V AP () et l vleur flse sinon. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives Test d pprtennce d un mot à un rbre Ptrici Question III.16 Ecrire en CML une fonction ccepter de type mot -> ptrici -> bool telle que l ppel (ccepter m ) sur un mot m et un rbre Ptrici vlide renvoie l vleur true si l rbre contient le mot m et l vleur flse sinon. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives Ajout d un mot dns un rbre Ptrici Question III.17 Détiller les étpes de l jout des mots fcteur, lmpe et lme dns l rbre Ptrici de l exemple III.4 en précisnt toutes les étpes et les rbres intermédiires. Question III.18 Ecrire en CML une fonction jouter de type mot -> ptrici -> ptrici telle que l ppel (jouter m ) sur un mot m et un rbre Ptrici vlide renvoie un rbre Ptrici vlide contennt le mot m et les mêmes mots que l rbre. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives Fusion de deux rbres Ptrici Question III.19 Ecrire en CML une fonction fusionner de type ptrici -> ptrici -> ptrici telle que l ppel (fusionner 1 2) sur deux rbres Ptrici vlides 1 et 2 renvoie un rbre Ptrici vlide contennt exctement les mots contenus dns les rbres 1 et 2. L lgorithme utilisé ne devr prcourir qu une seule fois les rbres 1 et 2. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives. 12/21

13 Prtie III : lgorithmique et progrmmtion en PASCAL Cette prtie doit être tritée pr les étudints qui ont utilisé le lngge PASCAL dns le cdre des enseignements d informtique. Les fonctions écrites devront être récursives ou fire ppel à des fonctions uxiliires récursives. Elles ne devront ps utiliser d instructions itértives (c est-à-dire for, while, repet,...). 1 Exercice : le tri rpide L objectif de cet exercice est d étudier une implnttion prticulière d un lgorithme de tri d une séquence d entiers et d en proposer une évolution pour méliorer ses performnces dns le pire cs. Déf. III.1 Une séquence s de tille n de vleurs v i vec 1 i n est notée v n,...,v 1. S tille n est notée s. Une même vleur v peut figurer plusieurs fois dns s, nous noterons crd(v, s) le crdinl de v dns s, c est-à-dire le nombre de fois que v figure dns s vec : crd(v, v n,...,v 1 )=crd{i N 1 i n, v = v i }. Le type ENTIERS représente une séquence d entiers. Nous supposons prédéfinies les constntes et les fonctions suivntes dont le clcul se termine quelles que soient les vleurs de leurs prmètres. Elles pourront éventuellement être utilisées dns les réponses ux questions : Vide est une constnte de vleur NIL qui représente une séquence vide d entiers ; FUNCTION E_Inserer(e:INTEGER;s:ENTIERS):ENTIERS; renvoie une séquence d entiers composée d un premier entier e et du reste de l séquence contenu dns s ; FUNCTION E_Tete(s:ENTIERS):INTEGER; renvoie le premier entier de l séquence s. Cette séquence ne doit ps être vide ; FUNCTION E_Queue(s:ENTIERS):ENTIERS; renvoie le reste de l séquence s privée de son premier entier. Cette séquence ne doit ps être vide ; FUNCTION E_Juxtposer(s1,s2:ENTIERS):ENTIERS; renvoie une séquence composée des éléments de l séquence s1 dns le même ordre que dns s1 puis des éléments de l séquence s2 dns le même ordre que dns s2. Le type TRIPLET représente un triplet contennt une première séquence d entiers située à guche du triplet puis un entier situé u milieu du triplet et enfin une seconde séquence d entiers située à droite du triplet. Nous supposons prédéfinies les constntes et les fonctions suivntes dont le clcul se termine quelles que soient les vleurs de leurs prmètres. Elles pourront éventuellement être utilisées dns les réponses ux questions : FUNCTION T_Creer(g:ENTIERS;v:INTEGER;d:ENTIERS):TRIPLET; renvoie un triplet contennt l séquence d entiers g, puis l vleur entière v et enfin l séquence d entiers d ; FUNCTION T_Guche(t:TRIPLET):ENTIERS; renvoie l séquence d entiers située à guche du triplet t ; FUNCTION T_Vleur(t:TRIPLET):INTEGER; renvoie l vleur entière située u milieu du triplet t ; 13/21

14 FUNCTION T_Droite(t:TRIPLET):ENTIERS; renvoie l séquence d entiers située à droite du triplet t. Soit le progrmme en lngge PASCAL : FUNCTION eclter(e:integer; s:entiers):triplet; VAR t, v : INTEGER; g, d : ENTIERS; BEGIN IF (s = Vide) THEN eclter := T_Creer( Vide, e, Vide) ELSE BEGIN t := E_Tete( s); q := E_Queue( s); r := eclter( e, q); g := T_Guche( r); d := T_Droite( r); v := Vleur( r); IF (t <= v) THEN eclter := T_Creer( E_Inserer( t, g), v, d) ELSE eclter := T_Creer( g, v, E_Inserer( t, d)) END END; FUNCTION trier(s:entiers):entiers; VAR q, g, rg, d, rd : ENTIERS; t, v : INTEGER; r : TRIPLET; BEGIN IF (s = Vide) THEN trier := Vide ELSE BEGIN t := E_Tete( s); q := E_Queue( s); r := eclter( t, q); g := T_Guche( r); v := T_Vleur( r); d := T_Droite( r); rg := trier( g); rd := trier( d); trier := E_Juxtposer( rg, E_Inserer( v, rd)) END END; Soit l constnte exemple définie et initilisée pr : CONST exemple : ENTIERS = E_Inserer( 3, E_Inserer( 1, E_Inserer( 4, E_Inserer(2, Vide)))); Question III.1 Détiller les étpes du clcul de trier(exemple) en précisnt pour chque ppel ux fonctions eclter et trier, l vleur du prmètre et du résultt. 14/21

15 Déf. III.2 (Symbole de Kronecker) Soient deux vleurs v 1 et v 2, le symbole de Kronecker δ est une fonction δ(v 1,v 2 ) égle à l vleur 1 si v 1 et v 2 sont égles et à l vleur 0 sinon. Question III.2 Soient les entiers e et v, l séquence d entiers p = p n,...,p 1 de tille n, soient les séquences d entiers g = g r,...,g 1 de tille r et d = d s,...,d 1 de tille s, soit le triplet t, tel que t = eclter(e,p), g = T_Guche(t), v = T_Vleur(t) et d = T_Droite(t), montrer que : () i, 1 i n, δ(p i,e)+crd(p i,p)=crd(p i,g)+δ(p i,v)+crd(p i,d) (b) 0 s n (c) 0 r n (d) n = s + r (e) i, 1 i r, g i v (f) i, 1 i s, v < d i Question III.3 Soit l séquence p = p m,...,p 1 de tille m, soit l séquence r = r n,...,r 1 telle que r = trier(p), montrer que : () m = n (b) i, 1 i m, crd(p i,r)=crd(p i,p) (c) i, 1 i < n, r i r i+1 Question III.4 Montrer que le clcul des fonctions eclter et trier se termine quelles que soient les vleurs de leurs prmètres respectnt le type des fonctions. Question III.5 Donner des exemples de vleurs du prmètre s de l fonction trier qui correspondent ux meilleur et pire cs en nombre d ppels récursifs effectués. Montrer que l complexité dns les meilleur et pire cs de l fonction trier en fonction du nombre de vleurs dns les séquences données en prmètre sont respectivement de O( s ln( s )) et O( s 2 ). Cette estimtion ne prend en compte que le nombre d ppels récursifs effectués. L complexité dns le pire cs de l fonction trier peut être rmenée à celle du meilleur cs pr une modifiction simple de l fonction eclter. Question III.6 Ecrire une nouvelle version de l fonction eclter telle que l complexité dns le pire cs de l fonction trier soit égle à s complexité dns le meilleur cs. Question III.7 Prouver que cette nouvelle version de l fonction eclter stisfit les propriétés énoncées dns l question III.2. 2 Problème : représenttion de dictionnire vec des rbres Ptrici L utilistion de dictionnires joue un rôle prépondérnt dns l nlyse utomtique d informtions en lngge nturel. Il est donc essentiel de pouvoir exploiter ceux-ci efficcement dns des progrmmes, c est-à-dire de pouvoir tester rpidement si un mot fit prtie d un dictionnire, tout en minimisnt l occuption en mémoire de l représenttion informtique du dictionnire. L objectif de ce problème est l étude des rbres Ptrici (Prcticl Algorithm To Retrieve Informtion Coded In Alphnumeric ce qui signifie lgorithme prtique pour retrouver des informtions codées pr des crctères lphnumériques) introduit pr D. Morisson et G. Gwehenberger pour réduire l tille des rbres lexicogrphiques qui permettent un test d pprtennce rpide. 15/21

16 2.1 Préliminires : mots et séquence de mots Un dictionnire contient une séquence de mots composés de crctères. Déf. III.3 (Mot) Un mot m est une séquence de tille n de crctères c i vec 1 i n. Il est noté c n,...,c 1. S tille n est notée m. Un mot est représenté pr le type MOT. Nous supposons prédéfinies les constntes et les fonctions suivntes dont le clcul se termine quelles que soient les vleurs de leurs prmètres. Elles pourront éventuellement être utilisées dns les réponses ux questions : Vide est une constnte de vleur NIL qui représente un mot vide ; FUNCTION M_Inserer(c:CHARACTER;m:MOT):MOT; renvoie un mot composé d un premier crctère c suivi des crctères du mot m dns le même ordre que dns m ; FUNCTION M_Tete(m:MOT):CHARACTER; renvoie le premier crctère du mot m. Ce mot ne doit ps être vide ; FUNCTION M_Queue(m:MOT):MOT; renvoie le suffixe du mot m privé de son premier crctère. Ce mot ne doit ps être vide ; FUNCTION M_Juxtposer(m1,m2:MOT):MOT; renvoie un mot composé des crctères du mot m1 dns le même ordre que dns m1 puis des crctères du mot m2 dns le même ordre que dns m2 ; FUNCTION M_Tille(m:MOT):INTEGER; renvoie l vleur entière m. Exemple III.1 L expression suivnte : M_Inserer( f, M_Inserer(, M_Inserer( c, M_Inserer( e, Vide)))) est lors ssociée u mot fce. Déf. III.4 (Séquence de mots) Une séquence s de tille n de mots m i vec 1 i n est notée m n,...,m 1. S tille n est notée s. Une séquence de mots est représentée pr le type MOTS. Nous supposons prédéfinies les constntes et les fonctions suivntes dont le clcul se termine quelles que soient les vleurs de leurs prmètres. Elles pourront éventuellement être utilisées dns les réponses ux questions : Vide est une constnte de vleur NIL qui représente une séquence de mots vide ; FUNCTION S_Inserer(m:MOT;s:MOTS):MOTS; renvoie une séquence composée d un premier mot m suivi des mots de l séquence de mots s dns le même ordre que dns s ; FUNCTION S_Tete(s:MOTS):MOT; renvoie le premier mot de l séquence de mots s. Cette séquence ne doit ps être vide ; FUNCTION S_Queue(s:MOTS):MOTS; renvoie le reste de l séquence de mots s privée de son premier mot. Cette séquence ne doit ps être vide ; FUNCTION S_Juxtposer(s1,s2:MOTS):MOTS; renvoie une séquence de mots composée des mots de l séquence de mots s1 dns le même ordre que dns s1 puis des mots de l séquence de mots s2 dns le même ordre que dns s2 ; FUNCTION S_Tille(s:MOTS):INTEGER; renvoie l vleur entière s. 16/21

17 Exemple III.2 L expression suivnte : S_Inserer( M_Inserer(, M_Inserer( s, Vide)), S_Inserer( M_Inserer( f, M_Inserer(, M_Inserer( c, M_Inserer( e, Vide)))), S_Inserer( M_Inserer( l, M_Inserer(, Vide))), Vide)) est lors ssociée à l séquence de mots s, fce, l Distinction de deux mots L structure des rbres Ptrici impose de distinguer et clsser les mots pr leur premier crctère. Question III.8 Ecrire en PASCAL une fonction distinguer(m1,m2:mot):boolean; telle que l ppel distinguer(m1,m2) sur deux mots m1 et m2 renvoie l vleur true si m1 et m2 ne sont ps vides et si le premier crctère de m1 est strictement plus petit que le premier crctère de m2 et l vleur flse sinon Ajout d un préfixe dns une séquence de mots L extrction de l ensemble des mots représentés pr un rbre Ptrici repose sur l jout d un préfixe à l ensemble des mots représentés pr les sous-rbres de chque noeud. Question III.9 Ecrire en PASCAL une fonction prefixer(m:mot;s:mots):mots; telle que l ppel prefixer(m,s) sur un mot m et une séquence de mots s renvoie une séquence de mots contennt les mêmes mots que s préfixés pr le mot m. L lgorithme utilisé ne devr prcourir qu une seule fois l séquence s. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives. Question III.10 Clculer une estimtion de l complexité de l fonction prefixer en fonction du nombre d éléments de l séquence de mots s. Cette estimtion ne prendr en compte que le nombre d ppels récursifs effectués. 2.2 Arbres lexicogrphiques et Arbres Ptrici Les rbres lexicogrphiques sont des rbres n-ires utilisés pour représenter des dictionnires et, plus générlement, des ensembles de mots. Les liens entre deux noeuds consécutifs dns l rbre, c est-àdire entre un noeud père et un noeud fils, sont étiquetés pr un crctère. L séquence des crctères qui étiquettent les liens le long d un chemin de l rcine de l rbre jusqu à un noeud forme donc un mot. Un noeud peut être terminl si le mot qui conduit de l rcine à ce noeud est un mot du dictionnire, ou non-terminl si ce mot n est qu un préfixe d un mot du dictionnire. 17/21

18 Exemple III.3 (Arbre lexicogrphique) Voici un exemple d rbre lexicogrphique représentnt le dictionnire contennt les mots : s, f, fble, fcile et l. Les noeuds terminux, respectivement non terminux, sont de couleur noire, respectivement blnche : s b l f e c l i e l e Dns les rbres Ptrici, les liens entre noeuds sont étiquetés pr des mots u lieu de crctères. Les chemins entre deux noeuds ne contennt ucun brnchement sont lors remplcés pr un lien unique étiqueté pr le mot composé des crctères étiquetnt le chemin complet dns l rbre lexicogrphique contennt églement ce mot. Exemple III.4 (Arbre Ptrici) Voici un exemple d rbre Ptrici représentnt le même dictionnire que l exemple III.3. Les noeuds terminux, respectivement non terminux, sont de couleur noire, respectivement blnche : s ble f c l e ile Déf. III.5 (Arbre Ptrici) Un rbre Ptrici est composé de noeuds qui peuvent être terminux ou non-terminux. L ensemble des noeuds de l rbre Ptrici est noté N (), l ensemble des noeuds terminux est noté T (). L rcine de l rbre Ptrici est un noeud. Chque noeud n N() est composé d une séquence éventuellement vide de p fils f i N() notée F(n) = f p,...,f 1 vec p N et d une séquence éventuellement vide de p étiquettes ssociées m i notée E(n) = m p,...,m 1 qui sont des mots. Un rbre Ptrici est vlide si et seulement si : un noeud n qui ne possède ps de fils est terminl ; le noeud situé à l rcine de l rbre est non terminl suf s il ne possède ucun fils ; les étiquettes de chque noeud doivent être distinctes et ordonnées de mnière croissnte selon l reltion définie dns l question III.8. Question III.11 Exprimer le fit qu un rbre Ptrici est vlide sous l forme d une propriété V AP (). Nous noterons < l reltion définie dns l question III.8. 18/21

19 Un rbre Ptrici est représenté pr le type de bse PATRICIA. L séquence des fils et étiquettes ssociées d un noeud est représentée pr le type de bse FILS. Une pire composée d un fils et de l étiquette ssociée est représentée pr le type de bse PAIRE. Nous supposons prédéfinies les constntes et les fonctions suivntes dont le clcul se termine quelles que soient les vleurs de leurs prmètres. Elles pourront éventuellement être utilisées dns les réponses ux questions : Vide est une constnte de vleur NIL qui représente une séquence vide ; FUNCTION P_Creer(mot:MOT;fils:PATRICIA):PAIRE; renvoie une pire contennt l étiquette mot et l rbre Ptrici fils ; FUNCTION P_Etiquette(p:PAIRE):MOT; renvoie l étiquette contenue dns l pire p ; FUNCTION P_Arbre(p:PAIRE):PATRICIA; renvoie l rbre contenu dns l pire p ; FUNCTION F_Inserer(p:PAIRE;s:FILS):FILS; renvoie une séquence de fils composée d un premier fils p et du reste de l séquence contenu dns s ; FUNCTION F_Tete(s:FILS):PAIRE; renvoie le premier fils de l séquence s. Cette séquence ne doit ps être vide ; FUNCTION F_Queue(s:FILS):FILS; renvoie le reste de l séquence s privée du premier fils. Cette séquence ne doit ps être vide ; FUNCTION F_Juxtposer(s1,s2:FILS):FILS; renvoie une séquence composée des éléments de l séquence s1 dns le même ordre que dns s1 puis des éléments de l séquence s2 dns le même ordre que dns s2 ; FUNCTION Noeud(fin:BOOLEAN;fils:FILS):PATRICIA; est une fonction qui renvoie un rbre Ptrici dont le noeud situé à l rcine est terminl si fin prend l vleur FALSE et non terminl sinon et dont les fils et leurs étiquettes ssociées sont contenus dns l séquence fils ; FUNCTION EstTerminl(:PATRICIA):BOOLEAN; est une fonction qui renvoie l vleur TRUE si le noeud situé à l rcine de l rbre est terminl et l vleur FALSE sinon ; FUNCTION Fils(:PATRICIA):FILS; est une fonction qui renvoie l séquence des fils et étiquettes ssociées de l rcine de l rbre Ptrici. 19/21

20 Exemple III.5 Le progrmme suivnt : VAR exemple : PATRICIA; CONST mot_s : MOT = M_Inserer(, M_Inserer( s, Vide)); mot_f : MOT = M_Inserer( f, M_Inserer(, Vide)); mot_ble : MOT = M_Inserer( b, M_Inserer( l, M_Inserer( e, Vide))); mot_c : MOT = M_Inserer( c, Vide); mot_e : MOT = M_Inserer( e, Vide); mot_ile : MOT = M_Inserer( i, M_Inserer( l, M_Inserer( e, Vide))); mot_l : MOT = M_Inserer( l, M_Inserer(, Vide)); BEGIN exemple := Noeud(flse, F_Inserer( P_Creer( mot_s, Noeud(true, Vide)) F_Inserer( P_Creer( mot_f, Noeud(true, F_Inserer( P_Creer( mot_ble, Noeud(true, Vide)) F_Inserer( P_Creer( mot_c, Noeud(flse, F_Inserer( P_Creer( mot_e, Noeud(true, Vide)), F_Inserer( P_Creer( mot_ile, Noeud(true, Vide)), Vide)))), Vide)))), F_Inserer( R_Creer( mot_l, Noeud(true, Vide)), Vide)))) END ffecte à l vrible exemple l rbre Ptrici représenté grphiquement dns l exemple III.4 (pge 18) Crétion d un rbre Ptrici Question III.12 Ecrire en PASCAL une fonction creer(m:mot):patricia; telle que l ppel creer(m) sur un mot m renvoie un rbre Ptrici vlide contennt uniquement le mot m Clcul du nombre de mots contenus dns un rbre Ptrici Question III.13 Ecrire en PASCAL une fonction compter(:patricia):integer; telle que l ppel compter() sur un rbre Ptrici vlide renvoie le nombre de mots contenus dns l rbre. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives. 20/21

21 2.2.3 Extrction des mots contenus dns un rbre Ptrici Question III.14 Ecrire en PASCAL une fonction extrire(:patricia):mots; telle que l ppel extrire() sur un rbre Ptrici vlide renvoie une séquence de mots contennt les mêmes mots que l rbre. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives Vlidtion d un rbre Ptrici Question III.15 Ecrire en PASCAL une fonction vlider(:patricia):boolean; telle que l ppel vlider() sur un rbre Ptrici renvoie l vleur TRUE si l rbre Ptrici est vlide, c est-à-dire si V AP () et l vleur FALSE sinon. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives Test d pprtennce d un mot à un rbre Ptrici Question III.16 Ecrire en PASCAL une fonction ccepter(m:mot;:patricia):boolean; telle que l ppel ccepter(m,) sur un mot m et un rbre Ptrici vlide renvoie l vleur TRUE si l rbre contient le mot m et l vleur FALSE sinon. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives Ajout d un mot dns un rbre Ptrici Question III.17 Détiller les étpes de l jout des mots fcteur, lmpe et lme dns l rbre Ptrici de l exemple III.4 en précisnt toutes les étpes et les rbres intermédiires. Question III.18 Ecrire en PASCAL une fonction jouter(m:mot;:patricia):patricia; telle que l ppel jouter(m,) sur un mot m et un rbre Ptrici vlide renvoie un rbre Ptrici vlide contennt le mot m et les mêmes mots que l rbre. L lgorithme utilisé ne devr prcourir qu une seule fois l rbre. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives Fusion de deux rbres Ptrici Question III.19 Ecrire en PASCAL une fonction fusionner(1,2:patricia):patricia; telle que l ppel fusionner(1,2) sur deux rbres Ptrici vlides 1 et 2 renvoie un rbre Ptrici vlide contennt exctement les mots contenus dns les rbres 1 et 2. L lgorithme utilisé ne devr prcourir qu une seule fois les rbres 1 et 2. Cette fonction devr être récursive ou fire ppel à des fonctions uxiliires récursives. Fin de l énoncé 21/21

22

23

24 IMPRIMERIE NATIONALE D près documents fournis

Ecole Normale Supérieure de Cachan 61 avenue du président Wilson 94230 CACHAN. Concours d admission en 3 ème année Informatique.

Ecole Normale Supérieure de Cachan 61 avenue du président Wilson 94230 CACHAN. Concours d admission en 3 ème année Informatique. C39211 Ecole Normle Supérieure de Cchn 61 venue du président Wilson 94230 CACHAN Concours d dmission en 3 ème nnée Informtique Session 2009 INFORMATIQUE 1 Durée : 5 heures «Aucun document n est utorisé»

Plus en détail

Partie I : Automates et langages

Partie I : Automates et langages 2 Les calculatrices sont interdites. N.B. : Le candidat attachera la plus grande importance à la clarté, à la précision et à la concision de la rédaction. Si un candidat est amené à repérer ce qui peut

Plus en détail

Chapitre 2 Les automates finis

Chapitre 2 Les automates finis Chpitre 2 Les utomtes finis 28 2.1 Introduction Automtes finis : première modélistion de l notion de procédure effective.(ont ussi d utres pplictions). Dérivtion de l notion d utomte fini de celle de progrmme

Plus en détail

Chapitre 2 Le problème de l unicité des solutions

Chapitre 2 Le problème de l unicité des solutions Université Joseph Fourier UE MAT 127 Mthémtiques nnée 2009-2010 Chpitre 2 Le prolème de l unicité des solutions 1 Le prolème et quelques réponses : 1.1 Un exemple Montrer que l éqution différentielle :

Plus en détail

CH.1 Automates finis

CH.1 Automates finis CH.1 Automtes finis 1.1 Les utomtes finis déterministes 1.2 Les utomtes finis non déterministes 1. Les utomtes vec -trnsitions 1.4 Les expressions régulières 1.5 L'équivlence des modèles Automtes ch1 1

Plus en détail

2.1 L'automate minimal

2.1 L'automate minimal CH.2 Minimistion 2.1 L'utomte miniml 2.2 L'lgorithme de minimistion Automtes ch2 1 2.1 L'utomte miniml Le lngge L définit sur Σ* l reltion d'équivlence R L : x R L y ssi ( z, xz L yz L). L'AFD M définit

Plus en détail

Automates à états fnis Damien Nouvel

Automates à états fnis Damien Nouvel Automtes Automtes à étts fnis Automtes à étts fnis Pln Représenttion des utomtes (FSA) Défnition formelle (DFA) Équivlence DFA / NFA / ε-nfa Licence Informtique L1 Automtes 2 / 30 Automtes à étts fnis

Plus en détail

LANGAGES - GRAMMAIRES - AUTOMATES

LANGAGES - GRAMMAIRES - AUTOMATES LANGAGES - GRAMMAIRES - AUTOMATES Mrie-Pule Muller Version du 14 juillet 2005 Ce cours présente et met en oeuvre quelques méthodes mthémtiques pour l informtique théorique. Ces notions de bse pourront

Plus en détail

Algorithmes sur les mots (séquences)

Algorithmes sur les mots (séquences) Introduction Algorithmes sur les mots (séquences) Algorithmes sur les mots (textes, séquences, chines de crctères) Nomreuses pplictions : ses de données iliogrphiques ioinformtique (séquences de iomolécules)

Plus en détail

2.1 Comment implanter en C un reconnaisseur de mots? Aut2 q 0 q 1

2.1 Comment implanter en C un reconnaisseur de mots? Aut2 q 0 q 1 Lngges Automtes Non-déterminisme Grmmires Attiuées et Génértives Expressions régulières Correction Prtielle de Progrmmes Ceci n'est ps un cours de Lngge C++ 2.1 Comment implnter en C un reconnisseur de

Plus en détail

3 LES OUTILS DE DESCRIPTION D UNE FONCTION LOGIQUE

3 LES OUTILS DE DESCRIPTION D UNE FONCTION LOGIQUE 1GEN ciences et Techniques Industrielles Pge 1 sur 7 Automtique et Informtiques Appliquées Génie Énergétique Première 1 - LA VARIABLE BINAIRE L électrotechnique, l électronique et l mécnique étudient et

Plus en détail

Automates temporisés. Amal El Fallah Seghrouchni Amal.Elfallah@lip6.fr

Automates temporisés. Amal El Fallah Seghrouchni Amal.Elfallah@lip6.fr Automtes temporisés Aml El Fllh Seghrouchni Aml.Elfllh@lip6.fr Pln Introduction Définition d un utomte temporisé Composition d utomtes temporisés Automtes hybrides Conclusion Le problème à résoudre monde

Plus en détail

Option informatique :

Option informatique : Option formtique : l deuxième nnée Lurent Chéno été 1996 Lycée Louis-le-Grnd, Pris Tle des mtières I Arres 13 1 Arres ires 15 1.1 Défitions et nottions... 15 1.1.1 Défition formelle d un rre ire... 15

Plus en détail

Automates d arbres avec visibilité : rapport de stage de licence (L3)

Automates d arbres avec visibilité : rapport de stage de licence (L3) Automtes d rbres vec visibilité : rpport de stge de licence (L3) Nicols Perrin ENS de Lyon Mître de stge : Hubert Comon-Lundh - LSV, ENS Cchn Autre encdrnt : Florent Jcquemrd - LSV, ENS Cchn Résumé Mon

Plus en détail

Tout ce qu il faut savoir en math

Tout ce qu il faut savoir en math Tout ce qu il fut svoir en mth 1 Pourcentge Prendre un pourcentge t % d un quntité : t Clculer le pourcentge d une quntité pr rpport à une quntité b : Le coefficient multiplicteur CM pour une ugmenttion

Plus en détail

Créer des jeux avec GLUP

Créer des jeux avec GLUP Créer des jeux vec GLUP GLUP (générteur ludopédgogique) est un service en ligne du CRDP de l cdémie de Versilles. Il permet de trnsformer des exercices à se de texte en mini-jeux téléchrgeles. Les jeux

Plus en détail

Option Informatique Arbres binaires équilibrés

Option Informatique Arbres binaires équilibrés Option Informatique Arbres binaires équilibrés Sujet novembre 2 Partie II : Algorithmique et programmation en CaML Cette partie doit être traitée par les étudiants qui ont utilisé le langage CaML dans

Plus en détail

Document créé le 28 novembre 2013 Lien vers la dernière mise à jour de ce document Lien vers les exercices de ce chapitre

Document créé le 28 novembre 2013 Lien vers la dernière mise à jour de ce document Lien vers les exercices de ce chapitre Document créé le 28 novembre 2013 Lien vers l dernière mise à jour de ce document Lien vers les exercices de ce chpitre Chpitre 20 Intégrtion Sommire 20.1 Continuité uniforme.................................

Plus en détail

Logiciel Anti-Spyware Enterprise Module

Logiciel Anti-Spyware Enterprise Module Logiciel Anti-Spywre Enterprise Module version 8.0 Guide Qu est-ce qu Anti-Spywre Enterprise Module? McAfee Anti-Spywre Enterprise Module est un module d extension qui permet d étendre les cpcités de détection

Plus en détail

Cours d informatique théorique de M. Arfi. FMdKdD fmdkdd [à] free.fr

Cours d informatique théorique de M. Arfi. FMdKdD fmdkdd [à] free.fr Cours d informtique théorique de M. Arfi FMdKdD fmdkdd [à] free.fr Université du Hvre Année 2009 2010 Tle des mtières 1 Reltions et lois de composition internes 2 1.1 Reltions.....................................

Plus en détail

Théorème de Poincaré - Formule de Green-Riemann

Théorème de Poincaré - Formule de Green-Riemann Chpitre 11 Théorème de Poincré - Formule de Green-Riemnn Ce chpitre s inscrit dns l continuité du précédent. On vu à l proposition 1.16 que les formes différentielles sont bien plus grébles à mnipuler

Plus en détail

Automates et langages

Automates et langages Automtes et lngges L exmen corrigé RICM 9 jnvier 22 Grmmire Automte Expression On considère l grmmire régulière G =(Γ,Σ,S,Π) vec Γ = {S,P,R}, Σ={,} et Π={S P,P R,P S,R,R P }.. Construire un utomte A cceptnt

Plus en détail

Correction de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) (

Correction de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) ( Correction de l épreuve CCP PSI Mths PREMIÈRE PARTIE I- Soit t u voisinge de, t Alors ϕt t s = ϕt ρt s ρs Pr hypothèse, l fonction ϕt ϕt est lorsque t, il en est donc de même de ρt s ρt s ρs cr ρ s est

Plus en détail

gfaubert septembre 2010 1

gfaubert septembre 2010 1 Notes de cours Pour l e secondire Compiltion et/ou crétion Guyline Fuert Septemre 00 gfuert septemre 00 Géométrie------------------------------------------------------------------------------------------------------------------------

Plus en détail

Exercices corrigés 9325 = 2 4662 + 1 4662 = 2 2331 + 0 2331 = 2 1165 + 1

Exercices corrigés 9325 = 2 4662 + 1 4662 = 2 2331 + 0 2331 = 2 1165 + 1 Grenoble INP Pgor 1ère nnée Exercices corrigés Anlyse numérique NB : Les exercices corrigés ici sont les exercices proposés durnt les sénces de cours. Les corrections données sont des corrections plus

Plus en détail

ESTIMER LA PRÉCISION DES MESURES

ESTIMER LA PRÉCISION DES MESURES ESTIMER LA PRÉCISION DES MESURES I. Précision d'une mesure directe Une mesure directe est une mesure lue sur un ppreil de mesure. Le résultt d'une mesure directe n'est jmis connu de fçon prfitement excte.

Plus en détail

Relations binaires. Table des matières. Marc SAGE. 18 octobre 2007. 1 Amuse gueule 2. 2 Combinatoire dans les quotients 2. 3 Problème d extréma 3

Relations binaires. Table des matières. Marc SAGE. 18 octobre 2007. 1 Amuse gueule 2. 2 Combinatoire dans les quotients 2. 3 Problème d extréma 3 Reltions binires Mrc SAGE 8 octobre 007 Tble des mtières Amuse gueule Combintoire dns les quotients 3 Problème d extrém 3 4 Un théorème de point xe 3 5 Sur l conjugisons dns R 3 6 Sur les corps totlement

Plus en détail

Systèmes de transitions Automates à états finis

Systèmes de transitions Automates à états finis M2P GLRE Génie Logiciel, logiciels Réprtis et Embrqués Systèmes de trnsitions Automtes à étts finis Z. Mmmeri 1. Comportement de système L description de comportement d un système désigne l expression

Plus en détail

STI2D Logique binaire SIN. L' Algèbre de BOOLE

STI2D Logique binaire SIN. L' Algèbre de BOOLE L' Algère de BOOLE L'lgère de Boole est l prtie des mthémtiques, de l logique et de l'électronique qui s'intéresse ux opértions et ux fonctions sur les vriles logiques. Le nom provient de George Boole.

Plus en détail

CAP PRO E SCHEMA : LE MOTEUR

CAP PRO E SCHEMA : LE MOTEUR CAP PRO E SCHEMA : E MOTEUR folio folio folio folio folio folio folio 7 folio 8 folio 9 plque signlétique d un moteur puissnce sorée pr un moteur plque à ornes d un moteur triphsé e couplge étoile e couplge

Plus en détail

edatenq est une application qui permet aux entreprises de compléter et d'envoyer leurs déclarations statistiques par internet.

edatenq est une application qui permet aux entreprises de compléter et d'envoyer leurs déclarations statistiques par internet. Sttistique mensuelle tourisme et hôtellerie Introduction edatenq est une ppliction qui permet ux entreprises de compléter et d'envoyer leurs déclrtions sttistiques pr internet. Il s'git d'une ppliction

Plus en détail

Concours 2015 Épreuve d Informatique Filière : MP Durée de l épreuve : 3 heures. L utilisation d une calculatrice est autorisée.

Concours 2015 Épreuve d Informatique Filière : MP Durée de l épreuve : 3 heures. L utilisation d une calculatrice est autorisée. A 2015 INFO. MP École des Ponts ParisTech, SUPAERO (ISAE), ENSTA ParisTech, Télécom ParisTech, Mines ParisTech, Mines de Saint-étienne, Mines Nancy, Télécom Bretagne, ENSAE ParisTech (filière MP), École

Plus en détail

Automates hyper-minimaux

Automates hyper-minimaux Université derouen UFR des sciences et techniques Projet nnuel de mster 1 Encdrnts : Pscl Cron et Ludovic Mignot Automtes hyper-minimux Jen-Bptiste PRIEZ Rouen, le 20 mi 2011 Résumé Deux lngges sont f-équivlents

Plus en détail

Synthèse de cours (Terminale S) Calcul intégral

Synthèse de cours (Terminale S) Calcul intégral Synthèse de cours (Terminle S) Clcul intégrl Intégrle d une onction continue positive sur un intervlle [;] Dns cette première prtie, on considère une onction continue positive sur un intervlle [ ; ] (

Plus en détail

Automates finis. porte

Automates finis. porte utomtes finis Il s git d un modèle très souple, qui s dpte à des domines très différents en informtique. D une fçon générle, il sert à représenter les divers étts d un système (mécnique, électronique ou

Plus en détail

Systèmes logiques combinatoires

Systèmes logiques combinatoires «'enseignement devrit être insi : celui qui le reçoit le recueille comme un don inestimle mis jmis comme une contrinte pénile.» Alert Einstein Systèmes logiques comintoires Définitions. es vriles inires

Plus en détail

Théorie des automates et langages formels

Théorie des automates et langages formels Fculté des sciences Déprtement de mthémtiques Théorie des utomtes et lngges formels 1 4 7, d c d 2 c c d 5 c d c d, 8 c d 3 6 9,c,d,c,d,,c,d Année cdémique 2009 2010 Michel Rigo Tle des mtières Chpitre

Plus en détail

Savoir-faire expérimentaux.

Savoir-faire expérimentaux. LYCEE LOUIS DE CORMONTAIGNE. 12 Plce Cormontigne BP 70624. 57010 METZ Cedex 1 Tél.: 03 87 31 85 31 Fx : 03 87 31 85 36 Sciences Appliquées. Svoir-fire expérimentux.. Référentiel.. :. S5 Sciences. Appliquées......

Plus en détail

ANALYSE NUMERIQUE NON-LINEAIRE

ANALYSE NUMERIQUE NON-LINEAIRE Université de Metz Licence de Mthémtiques - 3ème nnée 1er semestre ANALYSE NUMERIQUE NON-LINEAIRE pr Rlph Chill Lbortoire de Mthémtiques et Applictions de Metz Année 010/11 1 Tble des mtières Chpitre

Plus en détail

SYSTEMES LOGIQUES LOGIQUE COMBINATOIRE

SYSTEMES LOGIQUES LOGIQUE COMBINATOIRE Ch.I Commnde des systèmes logiques ogique comintoire - p1 SYSTEMES OGIQUES OGIQUE COMBINATOIRE I Commnde des systèmes logiques 1. Structure des systèmes utomtisés Reprenons l structure étlie dns le cours

Plus en détail

Cours de «concepts avancés de compilation» Travaux pratiques. Auteur : F. Védrine

Cours de «concepts avancés de compilation» Travaux pratiques. Auteur : F. Védrine Cours de «onepts vnés de ompiltion» Trvux prtiques Auteur : F. Védrine Les utomtes et les expressions régulières Les utomtes sont onstitués d étts et de trnsitions. Un étt définit l vnée dns l reonnissne

Plus en détail

Séquence 7. Intégration. Sommaire

Séquence 7. Intégration. Sommaire Séquence 7 Intégrtion Sommire. Prérequis. Aire et intégrle d une fonction continue et positive sur [ ; ]. Primitives 4. Primitives et intégrles d une fonction continue 5. Synthèse de l séquence Dns ce

Plus en détail

Chapitre 9: Primitives et intégrales

Chapitre 9: Primitives et intégrales PRIMITIVES ET INTEGRALES 7 Chpitre 9: Primitives et intégrles Prérequis: Limites, dérivées Requis pour: Emen de mturité 9. «À quoi ç sert?» Un peu d histoire Isc Newton (64-77) Les clculs d ire de figures

Plus en détail

Chapitre 11 : L inductance

Chapitre 11 : L inductance Chpitre : inductnce Exercices E. On donne A πr 4π 4 metn N 8 spires/m. () Selon l exemple., µ n A 4π 7 (8) 4π 4 (,5) 5 µh (b) À prtir de l éqution.4, on trouve ξ ξ 4 3 5 6 6,3 A/s E. On donne A πr,5π 4

Plus en détail

Menu outils de navigation mennavi.htm

Menu outils de navigation mennavi.htm Pge de lncement index.htm Voici l représenttion schémtique de l structure du site Wllonie, toutes les crtes en mins... Pge d ccueil win.htm nevs générl menwin.htm À propos de l structure des données :

Plus en détail

Théorème de Lax Milgram Application au problème de Dirichlet pour l équation de Sturm Liouville

Théorème de Lax Milgram Application au problème de Dirichlet pour l équation de Sturm Liouville Théorème de Lx Milgrm Appliction u problème de Dirichlet pour l éqution de Sturm Liouville Résumé du cours de MEDP Mîtrise de mthémtiques 2000 2001 2001nov18 (medp-lx-milgrm.tex) Dns ce chpitre, on se

Plus en détail

Notes de révision : Automates et langages

Notes de révision : Automates et langages Préprtion à l grégtion de mthémtiques 2011 2012 Notes de révision : Automtes et lngges Benjmin MONMEGE et Sylvin SCHMITZ LSV, ENS Cchn & CNRS Version du 24 octore 2011 (r66m) CC Cretive Commons y-nc-s

Plus en détail

S il ne peut être déterminé en raison d'excavations et de remblais antérieurs, la référence est le terrain naturel environnant.

S il ne peut être déterminé en raison d'excavations et de remblais antérieurs, la référence est le terrain naturel environnant. Annexe A MESSAGE TYPE 8. COMMENTAIRES DES DEFINITIONS DE L ANNEXE NOTIONS ET METHODES DE MESURE 1. TERRAIN DE RÉFÉRENCE 1.1 Terrin de référence Le terrin de référence équivut u terrin nturel. S il ne peut

Plus en détail

Algorithmique et Programmation. Automates finis. Chap. I/9

Algorithmique et Programmation. Automates finis. Chap. I/9 Algorithmique et Progrmmtion. Automtes finis. Chp. I/9 Jen-Eric Pin To cite this version: Jen-Eric Pin. Algorithmique et Progrmmtion. Automtes finis. Chp. I/9. J. Akok et I. Comyn-Wttiu. Encyclopédie de

Plus en détail

Table des matières Dénombrer et sommer Événements et Probabilités

Table des matières Dénombrer et sommer Événements et Probabilités Tble des mtières 1 Dénombrer et sommer 5 1.1 Rppels ensemblistes............................. 5 1.1.1 Opértions ensemblistes....................... 5 1.1.2 Bijections............................... 7 1.2

Plus en détail

Module 2 : Déterminant d une matrice

Module 2 : Déterminant d une matrice L Mth Stt Module les déterminnts M Module : Déterminnt d une mtrice Unité : Déterminnt d une mtrice x Soit une mtrice lignes et colonnes (,) c b d Pr définition, son déterminnt est le nombre réel noté

Plus en détail

/HVV\VWqPHVFRPELQDWRLUHV

/HVV\VWqPHVFRPELQDWRLUHV /HVV\VWqPHVFRPELQDWRLUHV I. Définition On ppelle système combintoire tout système numérique dont les sorties sont exclusivement définies à prtir des vribles d entrée (Figure ). = f(x, x 2,,, x n ) x x

Plus en détail

Votre Image au travers de vos éditions Clients

Votre Image au travers de vos éditions Clients Votre Imge u trvers de vos éditions Clients Nos prtenires: LOGITAS SA est un tiers de confince, prtenire des éditeurs de logiciels et des utilisteurs pour l conception, le contrôle et l conservtion de

Plus en détail

LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER

LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE Unité d enseignement LCMA 4U ANALYSE 3 Frnçoise GEANDIER Université Henri Poincré Nncy I Déprtement de Mthémtiques . Tble des mtières I Séries numériques. Séries

Plus en détail

Induction sur les arbres

Induction sur les arbres Induction sur les arbres Planning Motivations Comment définir les arbres? Équations récursives sur les arbres Complexité de fonctions sur les arbres Recherche dans un arbre binaire de recherche Recherche

Plus en détail

P hotographies aériennes. Photographies aériennes actuelles. La BD ORTHO de l IGN. Les photographies «satellitales»

P hotographies aériennes. Photographies aériennes actuelles. La BD ORTHO de l IGN. Les photographies «satellitales» P hotogrphies ériennes Pr rpport ux crtes, les photogrphies ériennes pportent deux vntges mjeurs : leur mise à jour est eucoup plus fréquente ; leur possiilité d nlyse est ien supérieure : on distingue

Plus en détail

Des extraits de cette norme seront présentés pour la compréhension de la démarche.

Des extraits de cette norme seront présentés pour la compréhension de la démarche. Estimtion de l incertitude de l mesure : Appliction à l incertitude sur le clcul de l concentrtion d EDTA lors de l détermintion de l dureté d une eu nturelle Pour cette démrche, nous nous ppuierons sur

Plus en détail

Dossier de demande de subvention

Dossier de demande de subvention Assocition Demnde de subvention n 12156*01 Loi du 1 er juillet 1901 reltive u contrt d ssocition Dossier de demnde de subvention Vous trouverez dns ce dossier tout ce dont vous vez besoin pour étblir votre

Plus en détail

I Arbres binaires. Lycée Faidherbe 2014-2015. 1 Rappels 2 1.1 Définition... 2 1.2 Dénombrements... 2 1.3 Parcours... 3

I Arbres binaires. Lycée Faidherbe 2014-2015. 1 Rappels 2 1.1 Définition... 2 1.2 Dénombrements... 2 1.3 Parcours... 3 I Arbres binaires 2014-2015 Table des matières 1 Rappels 2 1.1 Définition................................................ 2 1.2 Dénombrements............................................ 2 1.3 Parcours.................................................

Plus en détail

Guide des bonnes pratiques

Guide des bonnes pratiques Livret 3 MINISTÈRE DE LA RÉFORME DE L'ÉTAT, DE LA DÉCENTRALISATION ET DE LA FONCTION PUBLIQUE 3 Guide des bonnes prtiques OUTILS DE LA GRH Guide des bonnes prtiques Tble des mtières 1. Introduction p.

Plus en détail

REGLEMENT DU CLASSEMENT NATIONAL

REGLEMENT DU CLASSEMENT NATIONAL REGLEMET DU CLASSEMET ATIOAL / Les règles indiquées ici sont celles utilisées pour clculer les ttributions de points de l sison -. I. PRICIPES DE BASE Le clssement ntionl de l F.F.B. est le seul uquel

Plus en détail

2006-2007 PARTIE I (VERSION 1.0) (VERSION 4.0)

2006-2007 PARTIE I (VERSION 1.0) (VERSION 4.0) INITIATION A SCILAB M1-M2 MODELISATION EN BIOLOGIE DES POPULATIONS ET DES ECOSYSTEMES MODELISATION DU FONCTIONNEMENT DES ECOSYSTEMES 2006-2007 PARTIE I (VERSION 1.0) (VERSION 4.0) Soudni Kmel (Mître de

Plus en détail

Installation et utilisation du périphérique ImageShare

Installation et utilisation du périphérique ImageShare Instlltion et utilistion du Copyright 2000-2002: Polycom, Inc. Polycom, Inc., 4750 Willow Rod, Plesnton, CA 94588 www.polycom.com Polycom et le logo de Polycom sont des mrques déposées de Polycom, Inc.

Plus en détail

PROCEDURE DE SOUSCRIPTION SPIRICA ALPHA SOLIS. Pour souscrire un contrat d assurance vie SPIRICA Alpha Solis, suivez le mode d'emploi ci dessous :

PROCEDURE DE SOUSCRIPTION SPIRICA ALPHA SOLIS. Pour souscrire un contrat d assurance vie SPIRICA Alpha Solis, suivez le mode d'emploi ci dessous : PROCEDURE DE SOUSCRIPTION SPIRICA ALPHA SOLIS Pour souscrire un contrt d ssurnce vie SPIRICA Alph Solis, suivez le mode d'emploi ci dessous : Le dossier de souscription Complétez et signez le bulletin

Plus en détail

Résumé du cours d analyse de maths spé MP

Résumé du cours d analyse de maths spé MP 1 TOPOLOGE Résumé du cours d nlyse de mths spé MP 1 Topologie 1) Normes, normes équivlentes Une norme sur l espce vectoriel E est une ppliction N de E dns R vérifint : x E, N(x). x E, (N(x) = x = ) (xiome

Plus en détail

Guide d'utilisation Easy Interactive Tools Ver. 2

Guide d'utilisation Easy Interactive Tools Ver. 2 Guide d'utilistion Esy Interctive Tools Ver. 2 Guide d'utilistion Esy Interctive Tools Ver.2 Présenttion de Esy Interctive Tools 3 Crctéristiques Fonction de dessin Vous pouvez utiliser Esy Interctive

Plus en détail

MATHEMATIQUES GENERALES partim A

MATHEMATIQUES GENERALES partim A Fculté des Sciences MATHEMATIQUES GENERALES prtim A Première nnée de bchelier en Biologie, Chimie, Géogrphie, Géologie, Physique et Informtique, Philosophie Année cdémique 04-05 Frnçoise BASTIN Introduction

Plus en détail

Travaux dirigés n o 6

Travaux dirigés n o 6 Travaux dirigés n o 6 Lycée Kléber MPSI, Option Info 2014/2015 Exercice 1 (Indexation d un arbre binaire) Ecrire une fonction Caml indexation : ( f, n) arbre_binaire -> (string,string) arbre_binaire qui

Plus en détail

Guide d utilisation EasyMP Multi PC Projection

Guide d utilisation EasyMP Multi PC Projection Guide d utilistion EsyMP Multi PC Projection Tble des mtières 2 À propos d EsyMP Multi PC Projection Types de réunions proposés pr EsyMP Multi PC Projection... 5 Réunions à plusieurs imges... 5 Réunions

Plus en détail

Programmes des classes préparatoires aux Grandes Ecoles

Programmes des classes préparatoires aux Grandes Ecoles Progrmmes des clsses préprtoires ux Grndes Ecoles Filière : scientifique Voie : Mthémtiques et physique (MP) Discipline : Mthémtiques Seconde nnée Clsse préprtoire MP Progrmme de mthémtiques Tble des mtières

Plus en détail

semestre 3 des Licences MISM annnée universitaire 2004-2005

semestre 3 des Licences MISM annnée universitaire 2004-2005 MATHÉMATIQUES 3 semestre 3 des Licences MISM nnnée universitire 24-25 Driss BOULARAS 2 Tble des mtières Rppels 5. Ensembles et opértions sur les ensembles.................. 5.. Prties d un ensemble.........................

Plus en détail

Projet de Programmation Fonctionnelle

Projet de Programmation Fonctionnelle Projet de Programmation Fonctionnelle L objectif de ce projet est de concevoir, en Objective Caml, un évaluateur pour le langage mini-ml (un sous ensemble du langage Objective Caml). Votre programme devra

Plus en détail

WEBDOC DEMANDE D ASSURANCE SOCIALE EN CAS DE FAILLITE OU DE CESSATION FORCÉE

WEBDOC DEMANDE D ASSURANCE SOCIALE EN CAS DE FAILLITE OU DE CESSATION FORCÉE WEBDOC DEMANDE D ASSURANCE SOCIALE EN CAS DE FAILLITE OU DE CESSATION FORCÉE FORMULAIRE À RENVOYER PAR RECOMMANDÉ À : ACERTA CAS, BP 24000, 1000 Bruxelles (Centre de Monnie) Cse destinée à Acert Dte de

Plus en détail

Chapitre VI Contraintes holonomiques

Chapitre VI Contraintes holonomiques 55 Chpitre VI Contrintes holonomiques Les contrintes isopérimétriques vues u chpitre précéent ne sont qu un eemple prticulier e contrintes sur les fonctions y e notre espce e fonctions missibles. Dns ce

Plus en détail

Pour développer votre entreprise LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!

Pour développer votre entreprise LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI! Pour développer votre entreprise Gestion Commercile Gérez le cycle complet des chts (demnde de prix, fcture fournisseur), des stocks (entrée, sortie mouvement, suivi) et des ventes (devis, fcture, règlement,

Plus en détail

Influence du milieu d étude sur l activité (suite) Inhibition et activation

Influence du milieu d étude sur l activité (suite) Inhibition et activation Influence du milieu d étude sur l ctivité (suite) Inhibition et ctivtion Influence de l tempérture Influence du ph 1 Influence de l tempérture Si on chuffe une préprtion enzymtique, l ctivité ugmente jusqu

Plus en détail

Chimie Avancement d une réaction chimique Chap.8

Chimie Avancement d une réaction chimique Chap.8 ère S Thème : Couleurs et imges TP n 6 Chimie Avncement d une réction chimique Chp.8 Notions et contenus Réction chimique réctif limitnt stœchiométrie notion d vncement Compétences eigiles Identifier le

Plus en détail

COURS D ANALYSE. Licence d Informatique, première. Laurent Michel

COURS D ANALYSE. Licence d Informatique, première. Laurent Michel COURS D ANALYSE Licence d Informtique, première nnée Lurent Michel Printemps 2010 2 Tble des mtières 1 Éléments de logique 5 1.1 Fbriquer des énoncés........................ 5 1.1.1 Enoncés élémentires.....................

Plus en détail

x n = x x n 1 Exercice 3 Le but de cet exercice est de modéliser les suites définies par récurrence de la façon suivante :

x n = x x n 1 Exercice 3 Le but de cet exercice est de modéliser les suites définies par récurrence de la façon suivante : Ocaml - Exercices Exercice Définir en Ocaml les fonctions suivantes:. f : x sin x + cos x. g : x x 3x+ x x 5 3. Fonction h calculant la moyenne géométrique de deux float positifs ( xy) Exercice Ecrire

Plus en détail

Arbres binaires et codage de Huffman

Arbres binaires et codage de Huffman MP Option Informatique Premier TP Caml Jeudi 8 octobre 2009 Arbres baires et codage de Huffman 1 Arbres baires Soit E un ensemble non vide. On défit la notion d arbre baire étiqueté (aux feuilles) par

Plus en détail

Direction des Études et Synthèses Économiques Département des Comptes Nationaux Division des Comptes Trimestriels

Direction des Études et Synthèses Économiques Département des Comptes Nationaux Division des Comptes Trimestriels Etb=MK2, Timbre=G430, TimbreDnsAdresse=Vri, Version=W2000/Chrte7, VersionTrvil=W2000/Chrte7 Direction des Études et Synthèses Économiques Déprtement des Comptes Ntionux Division des Comptes Trimestriels

Plus en détail

Les règles de Descartes et de Budan Fourier

Les règles de Descartes et de Budan Fourier Ojectifs de ce chpitre Mthémtiques ssistées pr ordinteur Chpitre 4 : Rcines des polynômes réels et complexes Michel Eisermnn Mt49, DLST LS4, Année 8-9 www-fourierujf-grenolefr/ eiserm/cours # mo Document

Plus en détail

Tableau d extension de mise en sécurité pour CMSI type B modulable Réf. : 322 001 Module deux lignes de mise en sécurité Réf.

Tableau d extension de mise en sécurité pour CMSI type B modulable Réf. : 322 001 Module deux lignes de mise en sécurité Réf. Tleu d extension de mise en sécurité pour CMSI type B modulle Réf. : 00 Module deux lignes de mise en sécurité Réf. : 00 DE MISE EN MISE EN 5 7 8 8 PROGRAM. SYSTEME Fus. F, 5H50V MANUEL DE MISE EN ŒUVRE

Plus en détail

L'algèbre de BOOLE ou algèbre logique est l'algèbre définie pour des variables ne pouvant prendre que deux états.

L'algèbre de BOOLE ou algèbre logique est l'algèbre définie pour des variables ne pouvant prendre que deux états. ciences Industrielles ystèmes comintoires Ppnicol Roert Lycée Jcques Amyot I - YTEME COMBINATOIRE A. Algère de Boole. Vriles logiques: Un signl réel est une grndeur physique en générl continue, on ssocie

Plus en détail

Microéconomie de l Incertitude M1 Banque et Marchés Financiers

Microéconomie de l Incertitude M1 Banque et Marchés Financiers Microéconomie de l Incertitude M1 Bnque et Mrchés Finnciers Emmnuel DUGUET Notes de Cours, V1 2 1 Concepts de bse 5 1.1 Les loteries................................ 6 1.2 Le critère d espérnce mthémtique..................

Plus en détail

Devoir de physique-chimie n 4bis (2H)

Devoir de physique-chimie n 4bis (2H) TS jn 2014 Devoir de physique-chimie n 4bis (2H) Nom:...... LES EXERIES SNT INDEPENDANTS ALULATRIE AUTRISEE PHYSIQUE : ETILE BINAIRE /20 1. Le télescope 8 Les 3 prties sont indépendntes. Document 1 : L

Plus en détail

Introduction à la modélisation et à la vérication p. 1/8

Introduction à la modélisation et à la vérication p. 1/8 Introduction à l modélistion et à l vériction Appliction ux systèmes temporisés Ptrici Bouyer LSV CNRS & ENS de Cchn Introduction à l modélistion et à l vériction p. 1/8 Modélistion & Vériction Introduction

Plus en détail

3.8. 1 Estimation de l aire d une région curviligne. Exemple 1 Estimer l aire de la région sous une hyperbole. Solution

3.8. 1 Estimation de l aire d une région curviligne. Exemple 1 Estimer l aire de la région sous une hyperbole. Solution .8 Aperçu de l intégrle.8 APERÇU DE L INTÉGRALE Estimtion de l ire d une région curviligne Erreur d pproimtion Aire ecte d une région curviligne 4 Intégrle définie 5 Intégrle définie négtive 6 Propriétés

Plus en détail

mémento de mathématiques pour les ECE1

mémento de mathématiques pour les ECE1 mémento de mthémtiques pour les ECE1 Abdellh Becht Résumé L objectif de ce mémento est de permettre ux élèves de première nnée des clsses préprtoires ux Ecoles de Commerces, option économique, d voir un

Plus en détail

Techniques d analyse de circuits

Techniques d analyse de circuits Chpitre 3 Tehniques d nlyse de iruits Ce hpitre présente différentes méthodes d nlyse de iruits. Ces méthodes permettent de simplifier l nlyse de iruits ontennt plusieurs éléments. Bien qu on peut résoudre

Plus en détail

Numara Asset Management Platform

Numara Asset Management Platform Numr Asset Mngement Pltform L Puissnce Tout-en-un L plteforme de gestion de prc informtique Numr Asset Mngement Pltform (NAMP) permet ux services informtiques d ccroître les niveux de service, d méliorer

Plus en détail

TD : Arbres Binaires de Recherche (A.B.R.)

TD : Arbres Binaires de Recherche (A.B.R.) TD : Arres Binires de eherhe (A.B..) Olivier ynud rynud@isim.fr http ://www.isim.fr/rynud ésumé Dns e Td nous proposons trois exeries. Le premier est onsré à l implémenttion du T.D.A. Ensemles dynmiques

Plus en détail

Partie 4 : La monnaie et l'inflation

Partie 4 : La monnaie et l'inflation Prtie 4 : L monnie et l'infltion Enseignnt A. Direr Licence 2, 1er semestre 2008-9 Université Pierre Mendès Frnce Cours de mcroéconomie suite 4.1 Introduction Nous vons vu dns l prtie introductive que

Plus en détail

Toyota Assurances Toujours la meilleure solution

Toyota Assurances Toujours la meilleure solution Toyot Assurnces Toujours l meilleure solution De quelle ssurnce vez-vous besoin? Vous roulez déjà en Toyot ou vous ttendez s livrison. Votre voiture est neuve ou d occsion. Vous vlez les kilomètres ou

Plus en détail

Réalisation de sites Internet PME & Grandes entreprises Offre Premium. Etude du projet. Webdesign. Intégration HTML. Développement.

Réalisation de sites Internet PME & Grandes entreprises Offre Premium. Etude du projet. Webdesign. Intégration HTML. Développement. Rélistion de sites Internet PME & Grndes entreprises Offre Premium Etude du projet Réunions de trvil et étude personnlisée de votre projet Définition d une strtégie de pré-référencement Webdesign Définition

Plus en détail

Université Paris-Dauphine DUMI2E. UFR Mathématiques de la décision. Notes de cours. Analyse 2. Filippo SANTAMBROGIO

Université Paris-Dauphine DUMI2E. UFR Mathématiques de la décision. Notes de cours. Analyse 2. Filippo SANTAMBROGIO Université Pris-Duphine DUMI2E UFR Mthémtiques de l décision Notes de cours Anlyse 2 Filippo SANTAMBROGIO Année 2008 2 Tble des mtières 1 Optimistion de fonctions continues et dérivbles 5 1.1 Continuité........................................

Plus en détail

DEUG MIAS2 - MODULE INFORMATIQUE (MIA10B) EXAMEN (SEPTEMBRE 1999)

DEUG MIAS2 - MODULE INFORMATIQUE (MIA10B) EXAMEN (SEPTEMBRE 1999) coller l étiquette ici DEUG MIAS2 - MODULE INFORMATIQUE (MIA10B) EXAMEN (SEPTEMBRE 1999) Durée : 2 heures Aucun document autorisé - Calculatrices interdites Les réponses doivent être brèves et justifiées

Plus en détail

L2 - Algorithmique et structures de données (Année 2010/2011) Examen (2 heures)

L2 - Algorithmique et structures de données (Année 2010/2011) Examen (2 heures) L2 - lgorithmique et structures de données (nnée 2010/2011) Delacourt, Phan Luong, Poupet xamen (2 heures) Les documents (cours, TD, TP) sont autorisés. Les quatre exercices sont indépendants. À la fin

Plus en détail

Statuts ASF Association Suisse Feldenkrais

Statuts ASF Association Suisse Feldenkrais Sttuts ASF Assocition Suisse Feldenkris Contenu Pge I. Nom, siège, ojectif et missions 1 Nom et siège 2 2 Ojectif 2 3 Missions 2 II. Memres 4 Modes d ffilition 3 5 Droits et oligtions des memres 3 6 Adhésion

Plus en détail

Thèse Présentée Pour obtenir le diplôme de doctorat en sciences En génie civil Option : structure

Thèse Présentée Pour obtenir le diplôme de doctorat en sciences En génie civil Option : structure République Algérienne Démocrtique et Populire Ministère de l enseignement supérieur et de l recherche scientifique Université Mentouri de Constntine Fculté des sciences et sciences de l ingénieur Déprtement

Plus en détail